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/primes-dimacs-cnf/normalized-par16-1.opb
MD5SUM	34e3d66fc3f726d6e01980ef9f07d518
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1015
Optimality of the best value was proved	NO
Number of terms in the objective function	2030
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	2030
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	2030
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	7.43487
Number of variables	2030
Total number of constraints	4325
Number of constraints which are clauses	4325
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	1
Maximum length of a constraint	3
Trace number 34904

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-28 10:54:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24120 boxname=wulflinc2 idbench=194 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  34e3d66fc3f726d6e01980ef9f07d518  /oldhome/oroussel/tmp/wulflinc2/normalized-par16-1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-par16-1.opb
IDLAUNCH: 24120
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        714464 kB
Buffers:         36908 kB
Cached:         260656 kB
SwapCached:        820 kB
Active:          17644 kB
Inactive:       282076 kB
HighTotal:      131008 kB
HighFree:        60088 kB
LowTotal:       903652 kB
LowFree:        654376 kB
SwapTotal:     2097136 kB
SwapFree:      2095480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5340 kB
Slab:            14768 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:14:41 (client local time) WITH STATUS 0 IN 1202.58 SECONDS
stats: 24120 7 1202.58 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.92 0.95 0.88 1/54 8729
Raw data (stat): 8729 (runsolver) R 8728 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806023105 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.96 0.88 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 29256 0 0 0 934 64 0 0 25 0 1 0 806023105 89128960 18353 4294967295 134512640 135726644 3221224592 3221058496 134782570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21760 18353 300 300 0 21460 0
vsize: 87040
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.96 0.88 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 57470 0 0 0 1875 123 0 0 25 0 1 0 806023105 174714880 35614 4294967295 134512640 135726644 3221224592 3221103796 135278570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42655 35615 300 300 0 42355 0
vsize: 170620
[startup+29.9999 s]
Raw data (loadavg): 0.95 0.96 0.88 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 97669 0 0 0 2792 206 0 0 25 0 1 0 806023105 298680320 54138 4294967295 134512640 135726644 3221224592 3220637696 134782982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72920 54139 300 300 0 72620 0
vsize: 291680
[startup+39.9999 s]
Raw data (loadavg): 0.96 0.96 0.88 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 113099 0 0 0 3758 240 0 0 25 0 1 0 806023105 344670208 69348 4294967295 134512640 135726644 3221224592 3221217280 134767123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84148 69348 300 300 0 83848 0
vsize: 336592
[startup+50.0003 s]
Raw data (loadavg): 0.96 0.96 0.89 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 133327 0 0 0 4712 286 0 0 25 0 1 0 806023105 516476928 89325 4294967295 134512640 135726644 3221224592 3221021376 134771783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 126093 89327 300 300 0 125793 0
vsize: 504372
[startup+60 s]
Raw data (loadavg): 0.97 0.96 0.89 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 193574 0 0 0 5592 407 0 0 25 0 1 0 806023105 595034112 106485 4294967295 134512640 135726644 3221224592 3221040012 135297992 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145272 106485 300 300 0 144972 0
vsize: 581088
[startup+70.001 s]
Raw data (loadavg): 0.97 0.96 0.89 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 205008 0 0 0 6568 432 0 0 25 0 1 0 806023105 628588544 117714 4294967295 134512640 135726644 3221224592 3220748508 134604456 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153464 117714 300 300 0 153164 0
vsize: 613856
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.96 0.89 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 222479 0 0 0 7530 470 0 0 25 0 1 0 806023105 648187904 134960 4294967295 134512640 135726644 3221224592 3221159324 134604400 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158249 134960 300 300 0 157949 0
vsize: 632996
[startup+90.0014 s]
Raw data (loadavg): 0.98 0.96 0.89 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 239969 0 0 0 8491 509 0 0 25 0 1 0 806023105 723660800 152246 4294967295 134512640 135726644 3221224592 3220932416 134780450 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176675 152246 300 300 0 176375 0
vsize: 706700
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.89 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 257631 0 0 0 9452 547 0 0 25 0 1 0 806023105 748937216 169703 4294967295 134512640 135726644 3221224592 3221150080 134766569 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182846 169703 300 300 0 182546 0
vsize: 731384
[startup+110 s]
Raw data (loadavg): 0.98 0.97 0.89 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 271267 0 0 0 10418 582 0 0 25 0 1 0 806023105 775200768 179024 4294967295 134512640 135726644 3221224592 3221222896 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189258 179024 300 300 0 188958 0
vsize: 757032
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 280101 0 0 0 11399 599 0 0 25 0 1 0 806023105 804450304 185095 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196399 185095 300 300 0 196099 0
vsize: 785596
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 281147 0 0 0 12398 601 0 0 25 0 1 0 806023105 806961152 185624 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197012 185624 300 300 0 196712 0
vsize: 788048
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 281377 0 0 0 13397 601 0 0 25 0 1 0 806023105 807596032 185756 4294967295 134512640 135726644 3221224592 3221222912 134728948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197167 185756 300 300 0 196867 0
vsize: 788668
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 283169 0 0 0 14393 606 0 0 25 0 1 0 806023105 811925504 186515 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198224 186515 300 300 0 197924 0
vsize: 792896
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 283191 0 0 0 15393 606 0 0 25 0 1 0 806023105 811925504 186537 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198224 186537 300 300 0 197924 0
vsize: 792896
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 284114 0 0 0 16392 607 0 0 25 0 1 0 806023105 814022656 186945 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198736 186945 300 300 0 198436 0
vsize: 794944
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 284544 0 0 0 17391 608 0 0 25 0 1 0 806023105 815206400 187118 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199025 187118 300 300 0 198725 0
vsize: 796100
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 284987 0 0 0 18390 609 0 0 25 0 1 0 806023105 816394240 187367 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199315 187367 300 300 0 199015 0
vsize: 797260
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 285150 0 0 0 19390 609 0 0 25 0 1 0 806023105 816787456 187432 4294967295 134512640 135726644 3221224592 3221223088 134744369 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199411 187432 300 300 0 199111 0
vsize: 797644
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 285151 0 0 0 20391 609 0 0 25 0 1 0 806023105 816787456 187433 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199411 187433 300 300 0 199111 0
vsize: 797644
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 285190 0 0 0 21391 609 0 0 25 0 1 0 806023105 816918528 187439 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199443 187439 300 300 0 199143 0
vsize: 797772
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 285764 0 0 0 22390 610 0 0 25 0 1 0 806023105 818491392 187627 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199827 187627 300 300 0 199527 0
vsize: 799308
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 285765 0 0 0 23390 610 0 0 25 0 1 0 806023105 818491392 187628 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199827 187628 300 300 0 199527 0
vsize: 799308
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 286040 0 0 0 24389 611 0 0 25 0 1 0 806023105 818630656 187903 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199861 187903 300 300 0 199561 0
vsize: 799444
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 286044 0 0 0 25389 611 0 0 25 0 1 0 806023105 818630656 187907 4294967295 134512640 135726644 3221224592 3221222912 134728916 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199861 187907 300 300 0 199561 0
vsize: 799444
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 286045 0 0 0 26389 611 0 0 25 0 1 0 806023105 818630656 187908 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199861 187908 300 300 0 199561 0
vsize: 799444
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 286355 0 0 0 27389 612 0 0 25 0 1 0 806023105 819417088 188024 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200053 188024 300 300 0 199753 0
vsize: 800212
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 286357 0 0 0 28389 612 0 0 25 0 1 0 806023105 819417088 188026 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200053 188026 300 300 0 199753 0
vsize: 800212
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 286406 0 0 0 29389 612 0 0 25 0 1 0 806023105 819683328 188075 4294967295 134512640 135726644 3221224592 3221223280 134744977 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200118 188075 300 300 0 199818 0
vsize: 800472
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 286856 0 0 0 30388 613 0 0 25 0 1 0 806023105 820600832 188298 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200342 188298 300 300 0 200042 0
vsize: 801368
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8729
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 286859 0 0 0 31388 613 0 0 25 0 1 0 806023105 820600832 188301 4294967295 134512640 135726644 3221224592 3221223088 134744184 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200342 188301 300 300 0 200042 0
vsize: 801368
[startup+330.007 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 8775
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 286861 0 0 0 32388 613 0 0 25 0 1 0 806023105 820600832 188303 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200342 188303 300 300 0 200042 0
vsize: 801368
[startup+340.007 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 8782
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 286862 0 0 0 33389 613 0 0 25 0 1 0 806023105 820600832 188304 4294967295 134512640 135726644 3221224592 3221223088 134744320 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200342 188304 300 300 0 200042 0
vsize: 801368
[startup+350.007 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 8782
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287232 0 0 0 34388 613 0 0 25 0 1 0 806023105 821649408 188417 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200598 188417 300 300 0 200298 0
vsize: 802392
[startup+360.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8782
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287234 0 0 0 35389 613 0 0 25 0 1 0 806023105 821649408 188419 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200598 188419 300 300 0 200298 0
vsize: 802392
[startup+370.008 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8782
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287238 0 0 0 36389 613 0 0 25 0 1 0 806023105 821649408 188423 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200598 188423 300 300 0 200298 0
vsize: 802392
[startup+380.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8782
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287241 0 0 0 37389 613 0 0 25 0 1 0 806023105 821649408 188426 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200598 188426 300 300 0 200298 0
vsize: 802392
[startup+390.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8782
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287242 0 0 0 38389 613 0 0 25 0 1 0 806023105 821649408 188427 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200598 188427 300 300 0 200298 0
vsize: 802392
[startup+400.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287249 0 0 0 39389 614 0 0 25 0 1 0 806023105 821649408 188434 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200598 188434 300 300 0 200298 0
vsize: 802392
[startup+410.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287250 0 0 0 40389 614 0 0 25 0 1 0 806023105 821649408 188435 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200598 188435 300 300 0 200298 0
vsize: 802392
[startup+420.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287702 0 0 0 41389 614 0 0 25 0 1 0 806023105 822571008 188693 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200823 188693 300 300 0 200523 0
vsize: 803292
[startup+430.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287745 0 0 0 42389 615 0 0 25 0 1 0 806023105 822571008 188736 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200823 188736 300 300 0 200523 0
vsize: 803292
[startup+440.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287746 0 0 0 43389 615 0 0 25 0 1 0 806023105 822571008 188737 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200823 188737 300 300 0 200523 0
vsize: 803292
[startup+450.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287747 0 0 0 44389 615 0 0 25 0 1 0 806023105 822571008 188738 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200823 188738 300 300 0 200523 0
vsize: 803292
[startup+460.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 287747 0 0 0 45389 615 0 0 25 0 1 0 806023105 822571008 188738 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200823 188738 300 300 0 200523 0
vsize: 803292
[startup+470.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288197 0 0 0 46388 616 0 0 25 0 1 0 806023105 823619584 188931 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201079 188931 300 300 0 200779 0
vsize: 804316
[startup+480.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288198 0 0 0 47388 616 0 0 25 0 1 0 806023105 823619584 188932 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201079 188932 300 300 0 200779 0
vsize: 804316
[startup+490.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288199 0 0 0 48388 616 0 0 25 0 1 0 806023105 823619584 188933 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201079 188933 300 300 0 200779 0
vsize: 804316
[startup+500.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288515 0 0 0 49388 617 0 0 25 0 1 0 806023105 824799232 188959 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201367 188959 300 300 0 201067 0
vsize: 805468
[startup+510.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288517 0 0 0 50388 617 0 0 25 0 1 0 806023105 824799232 188961 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201367 188961 300 300 0 201067 0
vsize: 805468
[startup+520.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288518 0 0 0 51388 617 0 0 25 0 1 0 806023105 824799232 188962 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201367 188962 300 300 0 201067 0
vsize: 805468
[startup+530.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288519 0 0 0 52389 617 0 0 25 0 1 0 806023105 824799232 188963 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201367 188963 300 300 0 201067 0
vsize: 805468
[startup+540.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288520 0 0 0 53389 617 0 0 25 0 1 0 806023105 824799232 188964 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201367 188964 300 300 0 201067 0
vsize: 805468
[startup+550.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288611 0 0 0 54389 617 0 0 25 0 1 0 806023105 824799232 189055 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201367 189055 300 300 0 201067 0
vsize: 805468
[startup+560.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288698 0 0 0 55389 617 0 0 25 0 1 0 806023105 825061376 189077 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201431 189077 300 300 0 201131 0
vsize: 805724
[startup+570.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288946 0 0 0 56389 617 0 0 25 0 1 0 806023105 825749504 189196 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189196 300 300 0 201299 0
vsize: 806396
[startup+580.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288955 0 0 0 57389 617 0 0 25 0 1 0 806023105 825749504 189205 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189205 300 300 0 201299 0
vsize: 806396
[startup+590.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288956 0 0 0 58389 617 0 0 25 0 1 0 806023105 825749504 189206 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189206 300 300 0 201299 0
vsize: 806396
[startup+600.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288957 0 0 0 59389 617 0 0 25 0 1 0 806023105 825749504 189207 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189207 300 300 0 201299 0
vsize: 806396
[startup+610.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 288957 0 0 0 60389 617 0 0 25 0 1 0 806023105 825749504 189207 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189207 300 300 0 201299 0
vsize: 806396
[startup+620.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289037 0 0 0 61390 617 0 0 25 0 1 0 806023105 825749504 189287 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189287 300 300 0 201299 0
vsize: 806396
[startup+630.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289056 0 0 0 62390 617 0 0 25 0 1 0 806023105 825749504 189306 4294967295 134512640 135726644 3221224592 3221223088 134744277 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189306 300 300 0 201299 0
vsize: 806396
[startup+640.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289057 0 0 0 63390 617 0 0 25 0 1 0 806023105 825749504 189307 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189307 300 300 0 201299 0
vsize: 806396
[startup+650.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289058 0 0 0 64390 617 0 0 25 0 1 0 806023105 825749504 189308 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189308 300 300 0 201299 0
vsize: 806396
[startup+660.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289061 0 0 0 65390 617 0 0 25 0 1 0 806023105 825749504 189311 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189311 300 300 0 201299 0
vsize: 806396
[startup+670.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8784
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289062 0 0 0 66391 617 0 0 25 0 1 0 806023105 825749504 189312 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189312 300 300 0 201299 0
vsize: 806396
[startup+680.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289066 0 0 0 67391 617 0 0 25 0 1 0 806023105 825749504 189316 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189316 300 300 0 201299 0
vsize: 806396
[startup+690.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289067 0 0 0 68391 617 0 0 25 0 1 0 806023105 825749504 189317 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189317 300 300 0 201299 0
vsize: 806396
[startup+700.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289068 0 0 0 69391 617 0 0 25 0 1 0 806023105 825749504 189318 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189318 300 300 0 201299 0
vsize: 806396
[startup+710.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289069 0 0 0 70391 617 0 0 25 0 1 0 806023105 825749504 189319 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189319 300 300 0 201299 0
vsize: 806396
[startup+720.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289070 0 0 0 71391 617 0 0 25 0 1 0 806023105 825749504 189320 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189320 300 300 0 201299 0
vsize: 806396
[startup+730.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289084 0 0 0 72391 618 0 0 25 0 1 0 806023105 825749504 189334 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201599 189334 300 300 0 201299 0
vsize: 806396
[startup+740.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289100 0 0 0 73392 618 0 0 25 0 1 0 806023105 825888768 189350 4294967295 134512640 135726644 3221224592 3221223216 134744518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201633 189350 300 300 0 201333 0
vsize: 806532
[startup+750.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289101 0 0 0 74392 618 0 0 25 0 1 0 806023105 825888768 189351 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201633 189351 300 300 0 201333 0
vsize: 806532
[startup+760.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289474 0 0 0 75391 618 0 0 25 0 1 0 806023105 827072512 189467 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201922 189467 300 300 0 201622 0
vsize: 807688
[startup+770.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289475 0 0 0 76392 618 0 0 25 0 1 0 806023105 827072512 189468 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201922 189468 300 300 0 201622 0
vsize: 807688
[startup+780.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289539 0 0 0 77392 618 0 0 25 0 1 0 806023105 827203584 189499 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201954 189499 300 300 0 201654 0
vsize: 807816
[startup+790.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289649 0 0 0 78392 618 0 0 25 0 1 0 806023105 827465728 189544 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189544 300 300 0 201718 0
vsize: 808072
[startup+800.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289673 0 0 0 79392 618 0 0 25 0 1 0 806023105 827465728 189568 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189568 300 300 0 201718 0
vsize: 808072
[startup+810.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289675 0 0 0 80392 618 0 0 25 0 1 0 806023105 827465728 189570 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189570 300 300 0 201718 0
vsize: 808072
[startup+820.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289676 0 0 0 81392 618 0 0 25 0 1 0 806023105 827465728 189571 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189571 300 300 0 201718 0
vsize: 808072
[startup+830.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289677 0 0 0 82392 618 0 0 25 0 1 0 806023105 827465728 189572 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189572 300 300 0 201718 0
vsize: 808072
[startup+840.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289677 0 0 0 83393 618 0 0 25 0 1 0 806023105 827465728 189572 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189572 300 300 0 201718 0
vsize: 808072
[startup+850.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289678 0 0 0 84393 618 0 0 25 0 1 0 806023105 827465728 189573 4294967295 134512640 135726644 3221224592 3221223248 134731279 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189573 300 300 0 201718 0
vsize: 808072
[startup+860.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289679 0 0 0 85393 618 0 0 25 0 1 0 806023105 827465728 189574 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189574 300 300 0 201718 0
vsize: 808072
[startup+870.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289680 0 0 0 86393 618 0 0 25 0 1 0 806023105 827465728 189575 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189575 300 300 0 201718 0
vsize: 808072
[startup+880.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289681 0 0 0 87393 618 0 0 25 0 1 0 806023105 827465728 189576 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189576 300 300 0 201718 0
vsize: 808072
[startup+890.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289683 0 0 0 88394 618 0 0 25 0 1 0 806023105 827465728 189578 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189578 300 300 0 201718 0
vsize: 808072
[startup+900.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289684 0 0 0 89394 618 0 0 25 0 1 0 806023105 827465728 189579 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189579 300 300 0 201718 0
vsize: 808072
[startup+910.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289685 0 0 0 90394 618 0 0 25 0 1 0 806023105 827465728 189580 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189580 300 300 0 201718 0
vsize: 808072
[startup+920.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289686 0 0 0 91394 618 0 0 25 0 1 0 806023105 827465728 189581 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189581 300 300 0 201718 0
vsize: 808072
[startup+930.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289687 0 0 0 92394 618 0 0 25 0 1 0 806023105 827465728 189582 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189582 300 300 0 201718 0
vsize: 808072
[startup+940.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289688 0 0 0 93395 618 0 0 25 0 1 0 806023105 827465728 189583 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189583 300 300 0 201718 0
vsize: 808072
[startup+950.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289689 0 0 0 94395 618 0 0 25 0 1 0 806023105 827465728 189584 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189584 300 300 0 201718 0
vsize: 808072
[startup+960.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289691 0 0 0 95395 619 0 0 25 0 1 0 806023105 827465728 189586 4294967295 134512640 135726644 3221224592 3221223088 134744074 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189586 300 300 0 201718 0
vsize: 808072
[startup+970.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289692 0 0 0 96395 619 0 0 25 0 1 0 806023105 827465728 189587 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189587 300 300 0 201718 0
vsize: 808072
[startup+980.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289692 0 0 0 97395 619 0 0 25 0 1 0 806023105 827465728 189587 4294967295 134512640 135726644 3221224592 3221223248 134745068 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189587 300 300 0 201718 0
vsize: 808072
[startup+990.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289693 0 0 0 98395 619 0 0 25 0 1 0 806023105 827465728 189588 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189588 300 300 0 201718 0
vsize: 808072
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289694 0 0 0 99395 619 0 0 25 0 1 0 806023105 827465728 189589 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202018 189589 300 300 0 201718 0
vsize: 808072
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289858 0 0 0 100395 619 0 0 25 0 1 0 806023105 827990016 189624 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189624 300 300 0 201846 0
vsize: 808584
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289858 0 0 0 101396 619 0 0 25 0 1 0 806023105 827990016 189624 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189624 300 300 0 201846 0
vsize: 808584
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289859 0 0 0 102396 619 0 0 25 0 1 0 806023105 827990016 189625 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189625 300 300 0 201846 0
vsize: 808584
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289861 0 0 0 103396 619 0 0 25 0 1 0 806023105 827990016 189627 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189627 300 300 0 201846 0
vsize: 808584
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289862 0 0 0 104397 619 0 0 25 0 1 0 806023105 827990016 189628 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189628 300 300 0 201846 0
vsize: 808584
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289863 0 0 0 105397 619 0 0 25 0 1 0 806023105 827990016 189629 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189629 300 300 0 201846 0
vsize: 808584
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289863 0 0 0 106397 619 0 0 25 0 1 0 806023105 827990016 189629 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189629 300 300 0 201846 0
vsize: 808584
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289865 0 0 0 107397 619 0 0 25 0 1 0 806023105 827990016 189631 4294967295 134512640 135726644 3221224592 3221223088 134744051 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189631 300 300 0 201846 0
vsize: 808584
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289865 0 0 0 108397 619 0 0 25 0 1 0 806023105 827990016 189631 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189631 300 300 0 201846 0
vsize: 808584
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289866 0 0 0 109397 619 0 0 25 0 1 0 806023105 827990016 189632 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189632 300 300 0 201846 0
vsize: 808584
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289867 0 0 0 110397 619 0 0 25 0 1 0 806023105 827990016 189633 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189633 300 300 0 201846 0
vsize: 808584
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289886 0 0 0 111397 619 0 0 25 0 1 0 806023105 827990016 189652 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189652 300 300 0 201846 0
vsize: 808584
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289887 0 0 0 112398 619 0 0 25 0 1 0 806023105 827990016 189653 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189653 300 300 0 201846 0
vsize: 808584
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289888 0 0 0 113398 619 0 0 25 0 1 0 806023105 827990016 189654 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189654 300 300 0 201846 0
vsize: 808584
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289889 0 0 0 114398 619 0 0 25 0 1 0 806023105 827990016 189655 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189655 300 300 0 201846 0
vsize: 808584
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289890 0 0 0 115398 619 0 0 25 0 1 0 806023105 827990016 189656 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189656 300 300 0 201846 0
vsize: 808584
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 289928 0 0 0 116398 620 0 0 25 0 1 0 806023105 827990016 189694 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202146 189694 300 300 0 201846 0
vsize: 808584
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 290050 0 0 0 117398 620 0 0 25 0 1 0 806023105 828125184 189816 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202179 189816 300 300 0 201879 0
vsize: 808716
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 290051 0 0 0 118398 620 0 0 25 0 1 0 806023105 828125184 189817 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202179 189817 300 300 0 201879 0
vsize: 808716
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 290056 0 0 0 119398 620 0 0 25 0 1 0 806023105 828125184 189822 4294967295 134512640 135726644 3221224592 3221223104 135278783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202179 189822 300 300 0 201879 0
vsize: 808716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.41 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 8786
Raw data (stat): 8729 (pb2sat) R 8728 31399 31398 0 -1 0 290056 0 0 0 119398 620 0 0 25 0 1 0 806023105 828125184 189822 4294967295 134512640 135726644 3221224592 3221223104 135278783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202179 189822 300 300 0 201879 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.41
CPU time (s): 1202.58
CPU user time (s): 1195.98
CPU system time (s): 6.591
CPU usage (%): 100.014
Max. virtual memory (Kb): 808716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####