PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb
MD5SUM	bf9bbda6f586f0b888182a433f63f010
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	13107200
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	52829966
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.39179
Number of variables	9304
Total number of constraints	728
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	1000
Trace number 35702

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-28 13:35:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24934 boxname=wulflinc11 idbench=1406 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bf9bbda6f586f0b888182a433f63f010  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-danoint.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-danoint.opb
IDLAUNCH: 24934
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        959180 kB
Buffers:         13068 kB
Cached:          40884 kB
SwapCached:        788 kB
Active:          20660 kB
Inactive:        35372 kB
HighTotal:      131008 kB
HighFree:        86716 kB
LowTotal:       903652 kB
LowFree:        872464 kB
SwapTotal:     2097136 kB
SwapFree:      2095404 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13836 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:55:10 (client local time) WITH STATUS 0 IN 1202.36 SECONDS
stats: 24934 7 1202.36 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.91 0.98 0.94 2/54 4037
Raw data (stat): 4037 (runsolver) R 4036 25830 25829 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806978803 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.92 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 29780 0 0 0 925 74 0 0 25 0 1 0 806978803 115761152 18683 4294967295 134512640 135726644 3221224576 3221119104 134771783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28262 18683 300 300 0 27962 0
vsize: 113048
[startup+20.0011 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 58464 0 0 0 1856 143 0 0 25 0 1 0 806978803 228618240 36368 4294967295 134512640 135726644 3221224576 3221212904 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55815 36371 300 300 0 55515 0
vsize: 223260
[startup+30.002 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 97490 0 0 0 2770 229 0 0 25 0 1 0 806978803 304726016 53691 4294967295 134512640 135726644 3221224576 3220907008 134739703 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74396 53691 300 300 0 74096 0
vsize: 297584
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 115717 0 0 0 3727 272 0 0 25 0 1 0 806978803 312700928 71631 4294967295 134512640 135726644 3221224576 3221015096 134784089 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76343 71631 300 300 0 76043 0
vsize: 305372
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 178304 0 0 0 4601 398 0 0 25 0 1 0 806978803 536711168 90061 4294967295 134512640 135726644 3221224576 3221221012 134541622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131033 90061 300 300 0 130733 0
vsize: 524132
[startup+60.0024 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 192497 0 0 0 5564 435 0 0 25 0 1 0 806978803 570265600 104004 4294967295 134512640 135726644 3221224576 3221132360 135280405 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139225 104004 300 300 0 138925 0
vsize: 556900
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 210580 0 0 0 6523 476 0 0 25 0 1 0 806978803 596267008 121875 4294967295 134512640 135726644 3221224576 3221222888 134761833 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145573 121875 300 300 0 145273 0
vsize: 582292
[startup+80.0029 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 213424 0 0 0 7517 483 0 0 25 0 1 0 806978803 594538496 120823 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145151 120823 300 300 0 144851 0
vsize: 580604
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 217594 0 0 0 8508 491 0 0 25 0 1 0 806978803 607027200 123216 4294967295 134512640 135726644 3221224576 3221223200 134744667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148200 123216 300 300 0 147900 0
vsize: 592800
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 219830 0 0 0 9505 495 0 0 25 0 1 0 806978803 613285888 124517 4294967295 134512640 135726644 3221224576 3221223072 134744145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149728 124517 300 300 0 149428 0
vsize: 598912
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 223203 0 0 0 10498 502 0 0 25 0 1 0 806978803 622985216 126259 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152096 126259 300 300 0 151796 0
vsize: 608384
[startup+120.004 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 225410 0 0 0 11493 507 0 0 25 0 1 0 806978803 628846592 127347 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153527 127347 300 300 0 153227 0
vsize: 614108
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 227197 0 0 0 12490 510 0 0 25 0 1 0 806978803 633671680 128180 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154705 128180 300 300 0 154405 0
vsize: 618820
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 228360 0 0 0 13487 513 0 0 25 0 1 0 806978803 637005824 128667 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155519 128667 300 300 0 155219 0
vsize: 622076
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 231846 0 0 0 14482 518 0 0 25 0 1 0 806978803 646737920 130247 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157895 130247 300 300 0 157595 0
vsize: 631580
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 233365 0 0 0 15479 521 0 0 25 0 1 0 806978803 650682368 130895 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158858 130895 300 300 0 158558 0
vsize: 635432
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 234108 0 0 0 16478 523 0 0 25 0 1 0 806978803 653156352 131378 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159462 131378 300 300 0 159162 0
vsize: 637848
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 236726 0 0 0 17473 528 0 0 25 0 1 0 806978803 660725760 132598 4294967295 134512640 135726644 3221224576 3221223184 135280409 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161310 132598 300 300 0 161010 0
vsize: 645240
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 237905 0 0 0 18470 531 0 0 25 0 1 0 806978803 663883776 133193 4294967295 134512640 135726644 3221224576 3221222932 135287525 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162081 133193 300 300 0 161781 0
vsize: 648324
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 238317 0 0 0 19469 533 0 0 25 0 1 0 806978803 664936448 133410 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162338 133410 300 300 0 162038 0
vsize: 649352
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 238832 0 0 0 20468 534 0 0 25 0 1 0 806978803 665985024 133666 4294967295 134512640 135726644 3221224576 3221223072 134744051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162594 133666 300 300 0 162294 0
vsize: 650376
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 240284 0 0 0 21465 537 0 0 25 0 1 0 806978803 669933568 134408 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163558 134408 300 300 0 163258 0
vsize: 654232
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 242226 0 0 0 22462 540 0 0 25 0 1 0 806978803 675614720 135473 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164945 135473 300 300 0 164645 0
vsize: 659780
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 244742 0 0 0 23459 543 0 0 25 0 1 0 806978803 682889216 136769 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166721 136769 300 300 0 166421 0
vsize: 666884
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 246104 0 0 0 24456 546 0 0 25 0 1 0 806978803 685907968 137420 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167458 137420 300 300 0 167158 0
vsize: 669832
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 246912 0 0 0 25455 548 0 0 25 0 1 0 806978803 687747072 137807 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167907 137807 300 300 0 167607 0
vsize: 671628
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 246948 0 0 0 26455 548 0 0 25 0 1 0 806978803 687747072 137843 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167907 137843 300 300 0 167607 0
vsize: 671628
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 248124 0 0 0 27452 551 0 0 25 0 1 0 806978803 690376704 138436 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168549 138436 300 300 0 168249 0
vsize: 674196
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 249121 0 0 0 28450 553 0 0 25 0 1 0 806978803 692613120 138948 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169095 138948 300 300 0 168795 0
vsize: 676380
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 249343 0 0 0 29450 553 0 0 25 0 1 0 806978803 693141504 139072 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169224 139072 300 300 0 168924 0
vsize: 676896
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 249678 0 0 0 30450 554 0 0 25 0 1 0 806978803 693932032 139244 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169417 139244 300 300 0 169117 0
vsize: 677668
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 249712 0 0 0 31450 554 0 0 25 0 1 0 806978803 694067200 139278 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169450 139278 300 300 0 169150 0
vsize: 677800
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 250233 0 0 0 32449 555 0 0 25 0 1 0 806978803 695640064 139413 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169834 139413 300 300 0 169534 0
vsize: 679336
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 250766 0 0 0 33448 556 0 0 25 0 1 0 806978803 697212928 139559 4294967295 134512640 135726644 3221224576 3221223264 134744864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170218 139559 300 300 0 169918 0
vsize: 680872
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 252184 0 0 0 34445 559 0 0 25 0 1 0 806978803 700628992 140200 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171052 140200 300 300 0 170752 0
vsize: 684208
[startup+360.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 252323 0 0 0 35445 559 0 0 25 0 1 0 806978803 700628992 140339 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171052 140339 300 300 0 170752 0
vsize: 684208
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 253300 0 0 0 36443 561 0 0 25 0 1 0 806978803 703250432 140672 4294967295 134512640 135726644 3221224576 3221223200 134744667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171692 140672 300 300 0 171392 0
vsize: 686768
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 255000 0 0 0 37441 564 0 0 25 0 1 0 806978803 707710976 141308 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172781 141308 300 300 0 172481 0
vsize: 691124
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 255838 0 0 0 38439 567 0 0 25 0 1 0 806978803 709812224 141662 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173294 141662 300 300 0 172994 0
vsize: 693176
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 257616 0 0 0 39435 570 0 0 25 0 1 0 806978803 714010624 142442 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174319 142442 300 300 0 174019 0
vsize: 697276
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 257815 0 0 0 40435 571 0 0 25 0 1 0 806978803 714534912 142512 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174447 142512 300 300 0 174147 0
vsize: 697788
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 258963 0 0 0 41433 573 0 0 25 0 1 0 806978803 717680640 142888 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175215 142888 300 300 0 174915 0
vsize: 700860
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 259727 0 0 0 42432 574 0 0 25 0 1 0 806978803 719253504 143266 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175599 143266 300 300 0 175299 0
vsize: 702396
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 260469 0 0 0 43431 576 0 0 25 0 1 0 806978803 721350656 143495 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176111 143495 300 300 0 175811 0
vsize: 704444
[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 261869 0 0 0 44428 579 0 0 25 0 1 0 806978803 724496384 144125 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176879 144125 300 300 0 176579 0
vsize: 707516
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 262982 0 0 0 45426 581 0 0 25 0 1 0 806978803 727642112 144467 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177647 144467 300 300 0 177347 0
vsize: 710588
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 263598 0 0 0 46425 583 0 0 25 0 1 0 806978803 729088000 144758 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178000 144758 300 300 0 177700 0
vsize: 712000
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 264141 0 0 0 47424 583 0 0 25 0 1 0 806978803 730140672 145074 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178257 145074 300 300 0 177957 0
vsize: 713028
[startup+490.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 265379 0 0 0 48422 586 0 0 25 0 1 0 806978803 733433856 145631 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179061 145631 300 300 0 178761 0
vsize: 716244
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 266805 0 0 0 49419 589 0 0 25 0 1 0 806978803 737792000 146243 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180125 146243 300 300 0 179825 0
vsize: 720500
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 267261 0 0 0 50419 590 0 0 25 0 1 0 806978803 738840576 146442 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180381 146442 300 300 0 180081 0
vsize: 721524
[startup+520.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 267309 0 0 0 51419 590 0 0 25 0 1 0 806978803 738971648 146457 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180413 146457 300 300 0 180113 0
vsize: 721652
[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 268056 0 0 0 52417 591 0 0 25 0 1 0 806978803 740814848 146814 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180863 146814 300 300 0 180563 0
vsize: 723452
[startup+540.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 268081 0 0 0 53418 591 0 0 25 0 1 0 806978803 740814848 146839 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180863 146839 300 300 0 180563 0
vsize: 723452
[startup+550.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 268101 0 0 0 54418 591 0 0 25 0 1 0 806978803 740814848 146859 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180863 146859 300 300 0 180563 0
vsize: 723452
[startup+560.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 268779 0 0 0 55417 592 0 0 25 0 1 0 806978803 742387712 147151 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181247 147151 300 300 0 180947 0
vsize: 724988
[startup+570.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 268780 0 0 0 56417 592 0 0 25 0 1 0 806978803 742387712 147152 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181247 147152 300 300 0 180947 0
vsize: 724988
[startup+580.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 269207 0 0 0 57417 593 0 0 25 0 1 0 806978803 743436288 147322 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181503 147322 300 300 0 181203 0
vsize: 726012
[startup+590.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 269322 0 0 0 58416 594 0 0 25 0 1 0 806978803 743436288 147437 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181503 147437 300 300 0 181203 0
vsize: 726012
[startup+600.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 269926 0 0 0 59415 595 0 0 25 0 1 0 806978803 745533440 147527 4294967295 134512640 135726644 3221224576 3221223220 134744476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182015 147527 300 300 0 181715 0
vsize: 728060
[startup+610.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 270120 0 0 0 60415 595 0 0 25 0 1 0 806978803 746057728 147592 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182143 147592 300 300 0 181843 0
vsize: 728572
[startup+620.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 270521 0 0 0 61415 596 0 0 25 0 1 0 806978803 747106304 147736 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182399 147736 300 300 0 182099 0
vsize: 729596
[startup+630.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 270525 0 0 0 62415 596 0 0 25 0 1 0 806978803 747106304 147740 4294967295 134512640 135726644 3221224576 3221223072 134744369 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182399 147740 300 300 0 182099 0
vsize: 729596
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 271142 0 0 0 63413 598 0 0 25 0 1 0 806978803 748679168 147971 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182783 147971 300 300 0 182483 0
vsize: 731132
[startup+650.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 272159 0 0 0 64411 600 0 0 25 0 1 0 806978803 750776320 148474 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183295 148474 300 300 0 182995 0
vsize: 733180
[startup+660.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 272753 0 0 0 65410 602 0 0 25 0 1 0 806978803 752484352 148682 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183712 148682 300 300 0 183412 0
vsize: 734848
[startup+670.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 272990 0 0 0 66410 602 0 0 25 0 1 0 806978803 753012736 148821 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183841 148821 300 300 0 183541 0
vsize: 735364
[startup+680.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 273325 0 0 0 67409 603 0 0 25 0 1 0 806978803 754061312 148899 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184097 148899 300 300 0 183797 0
vsize: 736388
[startup+690.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 274056 0 0 0 68407 605 0 0 25 0 1 0 806978803 756158464 149117 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184609 149117 300 300 0 184309 0
vsize: 738436
[startup+700.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 274428 0 0 0 69407 605 0 0 25 0 1 0 806978803 757207040 149232 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184865 149232 300 300 0 184565 0
vsize: 739460
[startup+710.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 274831 0 0 0 70407 607 0 0 25 0 1 0 806978803 758255616 149378 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185121 149378 300 300 0 184821 0
vsize: 740484
[startup+720.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 275204 0 0 0 71406 608 0 0 25 0 1 0 806978803 759304192 149493 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185377 149493 300 300 0 185077 0
vsize: 741508
[startup+730.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 276103 0 0 0 72404 609 0 0 25 0 1 0 806978803 761806848 149874 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185988 149874 300 300 0 185688 0
vsize: 743952
[startup+740.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 276149 0 0 0 73404 610 0 0 25 0 1 0 806978803 761806848 149920 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185988 149920 300 300 0 185688 0
vsize: 743952
[startup+750.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 276493 0 0 0 74404 610 0 0 25 0 1 0 806978803 762593280 150070 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186180 150070 300 300 0 185880 0
vsize: 744720
[startup+760.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 276869 0 0 0 75403 611 0 0 25 0 1 0 806978803 763641856 150188 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186436 150188 300 300 0 186136 0
vsize: 745744
[startup+770.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 276870 0 0 0 76403 611 0 0 25 0 1 0 806978803 763641856 150189 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186436 150189 300 300 0 186136 0
vsize: 745744
[startup+780.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 277078 0 0 0 77403 611 0 0 25 0 1 0 806978803 764166144 150268 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186564 150268 300 300 0 186264 0
vsize: 746256
[startup+790.043 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 277281 0 0 0 78403 612 0 0 25 0 1 0 806978803 764690432 150342 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186692 150342 300 300 0 186392 0
vsize: 746768
[startup+800.044 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 277290 0 0 0 79403 612 0 0 25 0 1 0 806978803 764690432 150351 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186692 150351 300 300 0 186392 0
vsize: 746768
[startup+810.044 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 278014 0 0 0 80402 613 0 0 25 0 1 0 806978803 766787584 150561 4294967295 134512640 135726644 3221224576 3221222896 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187204 150561 300 300 0 186904 0
vsize: 748816
[startup+820.044 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 278059 0 0 0 81402 614 0 0 25 0 1 0 806978803 766787584 150606 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187204 150606 300 300 0 186904 0
vsize: 748816
[startup+830.044 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 278295 0 0 0 82402 614 0 0 25 0 1 0 806978803 767311872 150713 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187332 150713 300 300 0 187032 0
vsize: 749328
[startup+840.044 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 278598 0 0 0 83401 614 0 0 25 0 1 0 806978803 768360448 150759 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187588 150759 300 300 0 187288 0
vsize: 750352
[startup+850.045 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 278600 0 0 0 84402 614 0 0 25 0 1 0 806978803 768360448 150761 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187588 150761 300 300 0 187288 0
vsize: 750352
[startup+860.045 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 279431 0 0 0 85400 616 0 0 25 0 1 0 806978803 770457600 151077 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188100 151077 300 300 0 187800 0
vsize: 752400
[startup+870.045 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 279432 0 0 0 86400 616 0 0 25 0 1 0 806978803 770457600 151078 4294967295 134512640 135726644 3221224576 3221223164 134744135 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188100 151078 300 300 0 187800 0
vsize: 752400
[startup+880.046 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 279438 0 0 0 87400 616 0 0 25 0 1 0 806978803 770457600 151084 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188100 151084 300 300 0 187800 0
vsize: 752400
[startup+890.046 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 279647 0 0 0 88400 617 0 0 25 0 1 0 806978803 771252224 151228 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188294 151228 300 300 0 187994 0
vsize: 753176
[startup+900.047 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 279648 0 0 0 89400 617 0 0 25 0 1 0 806978803 771252224 151229 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188294 151229 300 300 0 187994 0
vsize: 753176
[startup+910.048 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 279648 0 0 0 90400 617 0 0 25 0 1 0 806978803 771252224 151229 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188294 151229 300 300 0 187994 0
vsize: 753176
[startup+920.048 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 279649 0 0 0 91400 617 0 0 25 0 1 0 806978803 771252224 151230 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188294 151230 300 300 0 187994 0
vsize: 753176
[startup+930.048 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 279650 0 0 0 92400 617 0 0 25 0 1 0 806978803 771252224 151231 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188294 151231 300 300 0 187994 0
vsize: 753176
[startup+940.048 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 281361 0 0 0 93397 621 0 0 25 0 1 0 806978803 775983104 151969 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189449 151969 300 300 0 189149 0
vsize: 757796
[startup+950.048 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 281633 0 0 0 94397 622 0 0 25 0 1 0 806978803 776638464 152079 4294967295 134512640 135726644 3221224576 3221223168 134744136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189609 152079 300 300 0 189309 0
vsize: 758436
[startup+960.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 281981 0 0 0 95396 622 0 0 25 0 1 0 806978803 777687040 152170 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189865 152170 300 300 0 189565 0
vsize: 759460
[startup+970.049 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 282718 0 0 0 96395 623 0 0 25 0 1 0 806978803 779784192 152393 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190377 152393 300 300 0 190077 0
vsize: 761508
[startup+980.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 282860 0 0 0 97395 624 0 0 25 0 1 0 806978803 780046336 152470 4294967295 134512640 135726644 3221224576 3221222896 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190441 152470 300 300 0 190141 0
vsize: 761764
[startup+990.051 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 282895 0 0 0 98395 624 0 0 25 0 1 0 806978803 780046336 152505 4294967295 134512640 135726644 3221224576 3221223232 134745082 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190441 152505 300 300 0 190141 0
vsize: 761764
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 282944 0 0 0 99395 624 0 0 25 0 1 0 806978803 780046336 152554 4294967295 134512640 135726644 3221224576 3221223232 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190441 152554 300 300 0 190141 0
vsize: 761764
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 283678 0 0 0 100393 626 0 0 25 0 1 0 806978803 781488128 152933 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190793 152933 300 300 0 190493 0
vsize: 763172
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 283825 0 0 0 101393 626 0 0 25 0 1 0 806978803 781488128 153080 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190793 153080 300 300 0 190493 0
vsize: 763172
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 283863 0 0 0 102393 627 0 0 25 0 1 0 806978803 781488128 153118 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190793 153118 300 300 0 190493 0
vsize: 763172
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 284339 0 0 0 103393 627 0 0 25 0 1 0 806978803 782405632 153367 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191017 153367 300 300 0 190717 0
vsize: 764068
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 285402 0 0 0 104390 630 0 0 25 0 1 0 806978803 784773120 153913 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191595 153913 300 300 0 191295 0
vsize: 766380
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 285405 0 0 0 105390 630 0 0 25 0 1 0 806978803 784773120 153916 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191595 153916 300 300 0 191295 0
vsize: 766380
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 285505 0 0 0 106390 631 0 0 25 0 1 0 806978803 784773120 154016 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191595 154016 300 300 0 191295 0
vsize: 766380
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 285658 0 0 0 107389 631 0 0 25 0 1 0 806978803 785297408 154040 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191723 154040 300 300 0 191423 0
vsize: 766892
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 285793 0 0 0 108389 632 0 0 25 0 1 0 806978803 785559552 154110 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191787 154110 300 300 0 191487 0
vsize: 767148
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 286062 0 0 0 109389 633 0 0 25 0 1 0 806978803 786083840 154250 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191915 154250 300 300 0 191615 0
vsize: 767660
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 286082 0 0 0 110389 633 0 0 25 0 1 0 806978803 786083840 154270 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191915 154270 300 300 0 191615 0
vsize: 767660
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 286133 0 0 0 111389 633 0 0 25 0 1 0 806978803 786083840 154321 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191915 154321 300 300 0 191615 0
vsize: 767660
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 286557 0 0 0 112388 634 0 0 25 0 1 0 806978803 787132416 154488 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192171 154488 300 300 0 191871 0
vsize: 768684
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 286558 0 0 0 113388 634 0 0 25 0 1 0 806978803 787132416 154489 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192171 154489 300 300 0 191871 0
vsize: 768684
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 286875 0 0 0 114387 635 0 0 25 0 1 0 806978803 788180992 154549 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192427 154549 300 300 0 192127 0
vsize: 769708
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 286919 0 0 0 115387 635 0 0 25 0 1 0 806978803 788180992 154593 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192427 154593 300 300 0 192127 0
vsize: 769708
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 286920 0 0 0 116387 635 0 0 25 0 1 0 806978803 788180992 154594 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192427 154594 300 300 0 192127 0
vsize: 769708
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 287246 0 0 0 117387 636 0 0 25 0 1 0 806978803 789229568 154663 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192683 154663 300 300 0 192383 0
vsize: 770732
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 287619 0 0 0 118386 637 0 0 25 0 1 0 806978803 790278144 154779 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192939 154779 300 300 0 192639 0
vsize: 771756
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 287664 0 0 0 119386 637 0 0 25 0 1 0 806978803 790548480 154824 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193005 154824 300 300 0 192705 0
vsize: 772020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.19 s]
Raw data (loadavg): 0.99 0.98 0.94 1/53 4037
Raw data (stat): 4037 (pb2sat) R 4036 25830 25829 0 -1 0 287664 0 0 0 119386 637 0 0 25 0 1 0 806978803 790548480 154824 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193005 154824 300 300 0 192705 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.18
CPU time (s): 1202.36
CPU user time (s): 1195.68
CPU system time (s): 6.68198
CPU usage (%): 100.015
Max. virtual memory (Kb): 772020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####