PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb
MD5SUM	32dd768e34cdc0e1cb04afadbe97060d
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.36179
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 35664

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-28 13:25:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24875 boxname=wulflinc5 idbench=1347 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  32dd768e34cdc0e1cb04afadbe97060d  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-danoint.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-danoint.opb
IDLAUNCH: 24875
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        713608 kB
Buffers:         34168 kB
Cached:         262812 kB
SwapCached:        588 kB
Active:          18404 kB
Inactive:       280636 kB
HighTotal:      131008 kB
HighFree:        23772 kB
LowTotal:       903652 kB
LowFree:        689836 kB
SwapTotal:     2097136 kB
SwapFree:      2095612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5132 kB
Slab:            16348 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:45:32 (client local time) WITH STATUS 0 IN 1202.31 SECONDS
stats: 24875 7 1202.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 293902/1624618	Time: 283.472/86400
Decision: 293902/1624618	Time: 488.229/86400
Decision: 293902/1624618	Time: 721.411/86400
Decision: 293902/1624618	Time: 926.097/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.83 0.92 0.90 2/54 20540
Raw data (stat): 20540 (runsolver) R 20539 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806924994 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.86 0.92 0.90 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 30054 0 0 0 926 72 0 0 25 0 1 0 806924994 116133888 18949 4294967295 134512640 135726644 3221224576 3221209504 134771696 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28353 18949 300 300 0 28053 0
vsize: 113412
[startup+20.0018 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 58407 0 0 0 1862 135 0 0 25 0 1 0 806924994 159223808 36072 4294967295 134512640 135726644 3221224576 3220864672 134554691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38873 36072 300 300 0 38573 0
vsize: 155492
[startup+30.0025 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 96459 0 0 0 2782 215 0 0 25 0 1 0 806924994 305532928 52433 4294967295 134512640 135726644 3221224576 3221017932 135287558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74593 52433 300 300 0 74293 0
vsize: 298372
[startup+40.0033 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 113637 0 0 0 3740 257 0 0 25 0 1 0 806924994 311074816 69332 4294967295 134512640 135726644 3221224576 3220911496 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75946 69332 300 300 0 75646 0
vsize: 303784
[startup+50.0039 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 176699 0 0 0 4612 384 0 0 25 0 1 0 806924994 537112576 88237 4294967295 134512640 135726644 3221224576 3220957536 134784517 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131131 88238 300 300 0 130831 0
vsize: 524524
[startup+60.0046 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 190944 0 0 0 5575 421 0 0 25 0 1 0 806924994 570667008 102228 4294967295 134512640 135726644 3221224576 3221201096 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139323 102229 300 300 0 139023 0
vsize: 557292
[startup+70.0055 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 210940 0 0 0 6529 467 0 0 25 0 1 0 806924994 596668416 121979 4294967295 134512640 135726644 3221224576 3221222892 134761854 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145671 121979 300 300 0 145371 0
vsize: 582684
[startup+80.0062 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 213880 0 0 0 7522 473 0 0 25 0 1 0 806924994 593969152 120934 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145012 120934 300 300 0 144712 0
vsize: 580048
[startup+90.0069 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 217396 0 0 0 8516 480 0 0 25 0 1 0 806924994 604827648 122959 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147663 122959 300 300 0 147363 0
vsize: 590652
[startup+100.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 220829 0 0 0 9509 486 0 0 25 0 1 0 806924994 614121472 124533 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149932 124533 300 300 0 149632 0
vsize: 599728
[startup+110.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 224161 0 0 0 10503 493 0 0 25 0 1 0 806924994 623239168 126323 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152158 126323 300 300 0 151858 0
vsize: 608632
[startup+120.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 227627 0 0 0 11497 500 0 0 25 0 1 0 806924994 633126912 128070 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154572 128070 300 300 0 154272 0
vsize: 618288
[startup+130.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 229430 0 0 0 12492 504 0 0 25 0 1 0 806924994 637997056 128837 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155761 128837 300 300 0 155461 0
vsize: 623044
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 230060 0 0 0 13491 505 0 0 25 0 1 0 806924994 639721472 129205 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156182 129205 300 300 0 155882 0
vsize: 624728
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 231666 0 0 0 14489 508 0 0 25 0 1 0 806924994 643592192 130032 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157127 130032 300 300 0 156827 0
vsize: 628508
[startup+160.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 232970 0 0 0 15487 510 0 0 25 0 1 0 806924994 646684672 130690 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157882 130690 300 300 0 157582 0
vsize: 631528
[startup+170.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 235557 0 0 0 16483 515 0 0 25 0 1 0 806924994 653914112 132093 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159647 132094 300 300 0 159347 0
vsize: 638588
[startup+180.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 237447 0 0 0 17480 518 0 0 25 0 1 0 806924994 658919424 132943 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160869 132943 300 300 0 160569 0
vsize: 643476
[startup+190.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 238314 0 0 0 18479 520 0 0 25 0 1 0 806924994 661151744 133294 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161414 133294 300 300 0 161114 0
vsize: 645656
[startup+200.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 239895 0 0 0 19477 523 0 0 25 0 1 0 806924994 665366528 133997 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162443 133997 300 300 0 162143 0
vsize: 649772
[startup+210.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 242751 0 0 0 20471 529 0 0 25 0 1 0 806924994 672882688 135360 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164278 135361 300 300 0 163978 0
vsize: 657112
[startup+220.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 244203 0 0 0 21469 531 0 0 25 0 1 0 806924994 676302848 136165 4294967295 134512640 135726644 3221224576 3221222896 134728916 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165113 136165 300 300 0 164813 0
vsize: 660452
[startup+230.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 245717 0 0 0 22466 534 0 0 25 0 1 0 806924994 679972864 136778 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166009 136778 300 300 0 165709 0
vsize: 664036
[startup+240.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 246869 0 0 0 23465 536 0 0 25 0 1 0 806924994 682598400 137315 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166650 137315 300 300 0 166350 0
vsize: 666600
[startup+250.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 248711 0 0 0 24461 539 0 0 25 0 1 0 806924994 687464448 138138 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167838 138138 300 300 0 167538 0
vsize: 671352
[startup+260.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 248763 0 0 0 25462 539 0 0 25 0 1 0 806924994 687464448 138190 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167838 138190 300 300 0 167538 0
vsize: 671352
[startup+270.046 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 249190 0 0 0 26463 539 0 0 25 0 1 0 806924994 688517120 138423 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168095 138423 300 300 0 167795 0
vsize: 672380
[startup+280.046 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 250880 0 0 0 27461 542 0 0 25 0 1 0 806924994 692715520 139147 4294967295 134512640 135726644 3221224576 3221223264 134744876 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169120 139147 300 300 0 168820 0
vsize: 676480
[startup+290.056 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 251793 0 0 0 28460 544 0 0 25 0 1 0 806924994 695214080 139512 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169730 139512 300 300 0 169430 0
vsize: 678920
[startup+300.056 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 253902 0 0 0 29456 548 0 0 25 0 1 0 806924994 700620800 140548 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171050 140548 300 300 0 170750 0
vsize: 684200
[startup+310.056 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 254938 0 0 0 30454 550 0 0 25 0 1 0 806924994 703512576 141003 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171756 141003 300 300 0 171456 0
vsize: 687024
[startup+320.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 256253 0 0 0 31452 552 0 0 25 0 1 0 806924994 706404352 141736 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172462 141736 300 300 0 172162 0
vsize: 689848
[startup+330.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 257016 0 0 0 32450 554 0 0 25 0 1 0 806924994 708640768 142078 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173008 142078 300 300 0 172708 0
vsize: 692032
[startup+340.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 260443 0 0 0 33444 561 0 0 25 0 1 0 806924994 719745024 143977 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175719 143977 300 300 0 175419 0
vsize: 702876
[startup+350.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 263617 0 0 0 34436 568 0 0 25 0 1 0 806924994 719745024 143977 4294967295 134512640 135726644 3221224576 3221223200 134779717 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175719 143977 300 300 0 175419 0
vsize: 702876
[startup+360.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 264737 0 0 0 35434 571 0 0 25 0 1 0 806924994 723173376 144579 4294967295 134512640 135726644 3221224576 3221223072 134744051 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176556 144579 300 300 0 176256 0
vsize: 706224
[startup+370.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 265555 0 0 0 36433 572 0 0 25 0 1 0 806924994 725274624 144945 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177069 144945 300 300 0 176769 0
vsize: 708276
[startup+380.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 266861 0 0 0 37431 574 0 0 25 0 1 0 806924994 728170496 145733 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177776 145733 300 300 0 177476 0
vsize: 711104
[startup+390.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 267483 0 0 0 38430 575 0 0 25 0 1 0 806924994 729747456 146032 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178161 146032 300 300 0 177861 0
vsize: 712644
[startup+400.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 268307 0 0 0 39430 576 0 0 25 0 1 0 806924994 731844608 146341 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178673 146341 300 300 0 178373 0
vsize: 714692
[startup+410.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 268409 0 0 0 40429 576 0 0 25 0 1 0 806924994 731844608 146443 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178673 146443 300 300 0 178373 0
vsize: 714692
[startup+420.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 268906 0 0 0 41429 577 0 0 25 0 1 0 806924994 732631040 146746 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178865 146746 300 300 0 178565 0
vsize: 715460
[startup+430.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 270997 0 0 0 42425 581 0 0 25 0 1 0 806924994 738693120 147801 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180345 147801 300 300 0 180045 0
vsize: 721380
[startup+440.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 274878 0 0 0 43418 588 0 0 25 0 1 0 806924994 749629440 149605 4294967295 134512640 135726644 3221224576 3221223200 134744661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183015 149605 300 300 0 182715 0
vsize: 732060
[startup+450.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 276710 0 0 0 44415 591 0 0 25 0 1 0 806924994 754237440 150463 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184140 150463 300 300 0 183840 0
vsize: 736560
[startup+460.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 278881 0 0 0 45412 595 0 0 25 0 1 0 806924994 760422400 151501 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185650 151501 300 300 0 185350 0
vsize: 742600
[startup+470.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 279727 0 0 0 46410 597 0 0 25 0 1 0 806924994 762523648 151895 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186163 151895 300 300 0 185863 0
vsize: 744652
[startup+480.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 282241 0 0 0 47406 601 0 0 25 0 1 0 806924994 768819200 152896 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187700 152896 300 300 0 187400 0
vsize: 750800
[startup+490.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 282896 0 0 0 48406 601 0 0 25 0 1 0 806924994 770396160 153195 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188085 153195 300 300 0 187785 0
vsize: 752340
[startup+500.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 283648 0 0 0 49405 603 0 0 25 0 1 0 806924994 772497408 153462 4294967295 134512640 135726644 3221224576 3221223200 134744570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188598 153462 300 300 0 188298 0
vsize: 754392
[startup+510.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 284402 0 0 0 50403 605 0 0 25 0 1 0 806924994 774594560 153700 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189110 153700 300 300 0 188810 0
vsize: 756440
[startup+520.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 285475 0 0 0 51402 606 0 0 25 0 1 0 806924994 777359360 154191 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189785 154191 300 300 0 189485 0
vsize: 759140
[startup+530.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 285995 0 0 0 52401 607 0 0 25 0 1 0 806924994 778678272 154451 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190107 154451 300 300 0 189807 0
vsize: 760428
[startup+540.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 286559 0 0 0 53400 608 0 0 25 0 1 0 806924994 779997184 154755 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190429 154755 300 300 0 190129 0
vsize: 761716
[startup+550.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 286910 0 0 0 54400 608 0 0 25 0 1 0 806924994 780783616 154912 4294967295 134512640 135726644 3221224576 3221223088 134742306 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190621 154912 300 300 0 190321 0
vsize: 762484
[startup+560.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 290868 0 0 0 55389 619 0 0 25 0 1 0 806924994 782753792 155242 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191102 155242 300 300 0 190802 0
vsize: 764408
[startup+570.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 291242 0 0 0 56388 621 0 0 25 0 1 0 806924994 783540224 155422 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191294 155422 300 300 0 190994 0
vsize: 765176
[startup+580.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 291597 0 0 0 57387 621 0 0 25 0 1 0 806924994 784064512 155648 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191422 155648 300 300 0 191122 0
vsize: 765688
[startup+590.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 292025 0 0 0 58386 622 0 0 25 0 1 0 806924994 785113088 155818 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191678 155818 300 300 0 191378 0
vsize: 766712
[startup+600.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 292725 0 0 0 59386 623 0 0 25 0 1 0 806924994 786685952 156132 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192062 156132 300 300 0 191762 0
vsize: 768248
[startup+610.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 292778 0 0 0 60386 623 0 0 25 0 1 0 806924994 786685952 156185 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192062 156185 300 300 0 191762 0
vsize: 768248
[startup+620.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 292813 0 0 0 61386 623 0 0 25 0 1 0 806924994 786685952 156220 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192062 156220 300 300 0 191762 0
vsize: 768248
[startup+630.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 292822 0 0 0 62386 623 0 0 25 0 1 0 806924994 786685952 156229 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192062 156229 300 300 0 191762 0
vsize: 768248
[startup+640.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 292855 0 0 0 63386 623 0 0 25 0 1 0 806924994 786685952 156262 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192062 156262 300 300 0 191762 0
vsize: 768248
[startup+650.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 293100 0 0 0 64385 624 0 0 25 0 1 0 806924994 787210240 156378 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192190 156378 300 300 0 191890 0
vsize: 768760
[startup+660.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 293545 0 0 0 65385 625 0 0 25 0 1 0 806924994 788258816 156565 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192446 156565 300 300 0 192146 0
vsize: 769784
[startup+670.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 293588 0 0 0 66385 625 0 0 25 0 1 0 806924994 788258816 156608 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192446 156608 300 300 0 192146 0
vsize: 769784
[startup+680.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 294174 0 0 0 67384 626 0 0 25 0 1 0 806924994 789573632 156902 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192767 156902 300 300 0 192467 0
vsize: 771068
[startup+690.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 294947 0 0 0 68382 628 0 0 25 0 1 0 806924994 791416832 157286 4294967295 134512640 135726644 3221224576 3221223072 134744043 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193217 157286 300 300 0 192917 0
vsize: 772868
[startup+700.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 295363 0 0 0 69381 629 0 0 25 0 1 0 806924994 792465408 157445 4294967295 134512640 135726644 3221224576 3221223072 134744043 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193473 157445 300 300 0 193173 0
vsize: 773892
[startup+710.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 295943 0 0 0 70380 630 0 0 25 0 1 0 806924994 794038272 157639 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193857 157639 300 300 0 193557 0
vsize: 775428
[startup+720.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 296107 0 0 0 71380 631 0 0 25 0 1 0 806924994 794562560 157674 4294967295 134512640 135726644 3221224576 3221223188 134744633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193985 157674 300 300 0 193685 0
vsize: 775940
[startup+730.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 297854 0 0 0 72377 634 0 0 25 0 1 0 806924994 798232576 158521 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 194881 158521 300 300 0 194581 0
vsize: 779524
[startup+740.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 299322 0 0 0 73373 638 0 0 25 0 1 0 806924994 802168832 159055 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195842 159055 300 300 0 195542 0
vsize: 783368
[startup+750.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 299371 0 0 0 74373 638 0 0 25 0 1 0 806924994 802168832 159104 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195842 159104 300 300 0 195542 0
vsize: 783368
[startup+760.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 299600 0 0 0 75373 638 0 0 25 0 1 0 806924994 802430976 159268 4294967295 134512640 135726644 3221224576 3221223164 134744135 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195906 159268 300 300 0 195606 0
vsize: 783624
[startup+770.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 299653 0 0 0 76373 638 0 0 25 0 1 0 806924994 802430976 159321 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195906 159321 300 300 0 195606 0
vsize: 783624
[startup+780.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 299658 0 0 0 77373 638 0 0 25 0 1 0 806924994 802430976 159326 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195906 159326 300 300 0 195606 0
vsize: 783624
[startup+790.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 303111 0 0 0 78365 646 0 0 25 0 1 0 806924994 802955264 159476 4294967295 134512640 135726644 3221224576 3221223232 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 196034 159476 300 300 0 195734 0
vsize: 784136
[startup+800.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 304205 0 0 0 79363 648 0 0 25 0 1 0 806924994 805584896 159987 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196676 159987 300 300 0 196376 0
vsize: 786704
[startup+810.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 304206 0 0 0 80363 648 0 0 25 0 1 0 806924994 805584896 159988 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196676 159988 300 300 0 196376 0
vsize: 786704
[startup+820.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 304208 0 0 0 81363 648 0 0 25 0 1 0 806924994 805584896 159990 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196676 159990 300 300 0 196376 0
vsize: 786704
[startup+830.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 304272 0 0 0 82363 649 0 0 25 0 1 0 806924994 805584896 160054 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196676 160054 300 300 0 196376 0
vsize: 786704
[startup+840.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 304276 0 0 0 83363 649 0 0 25 0 1 0 806924994 805584896 160058 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196676 160058 300 300 0 196376 0
vsize: 786704
[startup+850.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 304812 0 0 0 84363 650 0 0 25 0 1 0 806924994 806633472 160336 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196932 160336 300 300 0 196632 0
vsize: 787728
[startup+860.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 304833 0 0 0 85363 650 0 0 25 0 1 0 806924994 806633472 160357 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196932 160357 300 300 0 196632 0
vsize: 787728
[startup+870.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 304840 0 0 0 86363 650 0 0 25 0 1 0 806924994 806633472 160364 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196932 160364 300 300 0 196632 0
vsize: 787728
[startup+880.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 305264 0 0 0 87362 651 0 0 25 0 1 0 806924994 807682048 160531 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197188 160531 300 300 0 196888 0
vsize: 788752
[startup+890.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 305654 0 0 0 88362 651 0 0 25 0 1 0 806924994 808730624 160664 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197444 160664 300 300 0 197144 0
vsize: 789776
[startup+900.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 306331 0 0 0 89360 653 0 0 25 0 1 0 806924994 810565632 160890 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197892 160890 300 300 0 197592 0
vsize: 791568
[startup+910.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 306421 0 0 0 90360 653 0 0 25 0 1 0 806924994 810831872 160947 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197957 160947 300 300 0 197657 0
vsize: 791828
[startup+920.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 306423 0 0 0 91360 653 0 0 25 0 1 0 806924994 810831872 160949 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197957 160949 300 300 0 197657 0
vsize: 791828
[startup+930.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 306424 0 0 0 92360 653 0 0 25 0 1 0 806924994 810831872 160950 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197957 160950 300 300 0 197657 0
vsize: 791828
[startup+940.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 306747 0 0 0 93360 654 0 0 25 0 1 0 806924994 811880448 161016 4294967295 134512640 135726644 3221224576 3221223200 134744620 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198213 161016 300 300 0 197913 0
vsize: 792852
[startup+950.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 307350 0 0 0 94359 655 0 0 25 0 1 0 806924994 813588480 161230 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198630 161230 300 300 0 198330 0
vsize: 794520
[startup+960.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 307353 0 0 0 95359 655 0 0 25 0 1 0 806924994 813588480 161233 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198630 161233 300 300 0 198330 0
vsize: 794520
[startup+970.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 307601 0 0 0 96359 656 0 0 25 0 1 0 806924994 814112768 161352 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198758 161352 300 300 0 198458 0
vsize: 795032
[startup+980.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 307623 0 0 0 97358 656 0 0 25 0 1 0 806924994 814112768 161374 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198758 161374 300 300 0 198458 0
vsize: 795032
[startup+990.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 311446 0 0 0 98351 664 0 0 25 0 1 0 806924994 829210624 164683 4294967295 134512640 135726644 3221224576 3221222740 134765181 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202444 164683 300 300 0 202144 0
vsize: 809776
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 311951 0 0 0 99348 665 0 0 25 0 1 0 806924994 817786880 161885 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199655 161885 300 300 0 199355 0
vsize: 798620
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 312436 0 0 0 100347 667 0 0 25 0 1 0 806924994 818835456 162112 4294967295 134512640 135726644 3221224576 3221223164 134744135 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199911 162112 300 300 0 199611 0
vsize: 799644
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 312437 0 0 0 101346 667 0 0 25 0 1 0 806924994 818835456 162113 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199911 162113 300 300 0 199611 0
vsize: 799644
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 312438 0 0 0 102346 667 0 0 25 0 1 0 806924994 818835456 162114 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199911 162114 300 300 0 199611 0
vsize: 799644
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 312438 0 0 0 103347 667 0 0 25 0 1 0 806924994 818835456 162114 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199911 162114 300 300 0 199611 0
vsize: 799644
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 312714 0 0 0 104346 668 0 0 25 0 1 0 806924994 819359744 162261 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200039 162261 300 300 0 199739 0
vsize: 800156
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 313087 0 0 0 105346 669 0 0 25 0 1 0 806924994 820408320 162376 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200295 162376 300 300 0 199995 0
vsize: 801180
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 313309 0 0 0 106345 669 0 0 25 0 1 0 806924994 820932608 162469 4294967295 134512640 135726644 3221224576 3221223180 134744139 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200423 162469 300 300 0 200123 0
vsize: 801692
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 313383 0 0 0 107346 669 0 0 25 0 1 0 806924994 820932608 162543 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200423 162543 300 300 0 200123 0
vsize: 801692
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 313636 0 0 0 108346 669 0 0 25 0 1 0 806924994 821456896 162667 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200551 162667 300 300 0 200251 0
vsize: 802204
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 313650 0 0 0 109346 669 0 0 25 0 1 0 806924994 821456896 162681 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200551 162681 300 300 0 200251 0
vsize: 802204
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 313976 0 0 0 110345 670 0 0 25 0 1 0 806924994 822505472 162750 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200807 162750 300 300 0 200507 0
vsize: 803228
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 314047 0 0 0 111345 670 0 0 25 0 1 0 806924994 822505472 162821 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200807 162821 300 300 0 200507 0
vsize: 803228
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 314049 0 0 0 112346 670 0 0 25 0 1 0 806924994 822505472 162823 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200807 162823 300 300 0 200507 0
vsize: 803228
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 314090 0 0 0 113345 670 0 0 25 0 1 0 806924994 822505472 162864 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200807 162864 300 300 0 200507 0
vsize: 803228
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 314118 0 0 0 114346 670 0 0 25 0 1 0 806924994 822505472 162892 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200807 162892 300 300 0 200507 0
vsize: 803228
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 314442 0 0 0 115345 671 0 0 25 0 1 0 806924994 823554048 162959 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201063 162959 300 300 0 200763 0
vsize: 804252
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 314443 0 0 0 116345 671 0 0 25 0 1 0 806924994 823554048 162960 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201063 162960 300 300 0 200763 0
vsize: 804252
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 314444 0 0 0 117345 671 0 0 25 0 1 0 806924994 823554048 162961 4294967295 134512640 135726644 3221224576 3221223168 134760026 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201063 162961 300 300 0 200763 0
vsize: 804252
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 314445 0 0 0 118345 671 0 0 25 0 1 0 806924994 823554048 162962 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201063 162962 300 300 0 200763 0
vsize: 804252
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 314468 0 0 0 119346 671 0 0 25 0 1 0 806924994 823287808 162920 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200998 162920 300 300 0 200698 0
vsize: 803992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.2 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20540
Raw data (stat): 20540 (pb2sat) R 20539 7266 7265 0 -1 0 314468 0 0 0 119346 671 0 0 25 0 1 0 806924994 823287808 162920 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200998 162920 300 300 0 200698 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.2
CPU time (s): 1202.31
CPU user time (s): 1195.26
CPU system time (s): 7.04293
CPU usage (%): 100.009
Max. virtual memory (Kb): 809776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####