Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb |
MD5SUM | 7fcbcb2a8848112bb780308c9eb60989 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4241 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 3334110 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.05 |
Number of variables | 7195 |
Total number of constraints | 1321 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 450 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 555 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-16 07:41:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25655 boxname=wulflinc5 idbench=955 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 7fcbcb2a8848112bb780308c9eb60989 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-aflow30a.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-aflow30a.opb IDLAUNCH: 25655 /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: 716840 kB Buffers: 34148 kB Cached: 260952 kB SwapCached: 700 kB Active: 62744 kB Inactive: 234436 kB HighTotal: 131008 kB HighFree: 812 kB LowTotal: 903652 kB LowFree: 716028 kB SwapTotal: 2097136 kB SwapFree: 2095508 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5156 kB Slab: 15056 kB Committed_AS: 63712 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 08:01:32 (client local time) WITH STATUS 0 IN 1202.25 SECONDS stats: 25655 7 1202.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 3427/1025395 Time: 231.499/86400 c Decision: 4985/1025395 Time: 638.649/86400 c Decision: 5268/1025395 Time: 1107.79/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.92 0.97 0.95 1/54 10730 Raw data (stat): 10730 (runsolver) R 10729 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969042819 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 0.93 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 27114 0 0 0 937 61 0 0 25 0 1 0 969042819 78077952 16099 4294967295 134512640 135730672 3221224576 3221221696 134577280 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19062 16099 301 301 0 18761 0 vsize: 76248 [startup+20.0008 s] Raw data (loadavg): 0.94 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 54695 0 0 0 1876 122 0 0 25 0 1 0 969042819 154066944 32694 4294967295 134512640 135730672 3221224576 3221098128 135282712 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37614 32694 301 301 0 37313 0 vsize: 150456 [startup+30.0011 s] Raw data (loadavg): 0.95 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 92978 0 0 0 2801 197 0 0 25 0 1 0 969042819 301178880 49289 4294967295 134512640 135730672 3221224576 3221135056 134611253 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 73530 49289 301 301 0 73229 0 vsize: 294120 [startup+40.0009 s] Raw data (loadavg): 0.96 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 109696 0 0 0 3765 233 0 0 25 0 1 0 969042819 306180096 65729 4294967295 134512640 135730672 3221224576 3221070628 135281175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 74751 65729 301 301 0 74450 0 vsize: 299004 [startup+50.0005 s] Raw data (loadavg): 0.96 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 122577 0 0 0 4735 263 0 0 25 0 1 0 969042819 330981376 75898 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 80806 75898 301 301 0 80505 0 vsize: 323224 [startup+60.0003 s] Raw data (loadavg): 0.97 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 125764 0 0 0 5730 268 0 0 25 0 1 0 969042819 342990848 78222 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83738 78222 301 301 0 83437 0 vsize: 334952 [startup+70.0001 s] Raw data (loadavg): 0.97 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 127341 0 0 0 6727 271 0 0 25 0 1 0 969042819 349315072 79255 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 85282 79255 301 301 0 84981 0 vsize: 341128 [startup+80.0012 s] Raw data (loadavg): 0.98 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 128162 0 0 0 7726 272 0 0 25 0 1 0 969042819 352645120 79779 4294967295 134512640 135730672 3221224576 3221223200 134748182 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 86095 79779 301 301 0 85794 0 vsize: 344380 [startup+90.0017 s] Raw data (loadavg): 0.98 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 129269 0 0 0 8724 274 0 0 25 0 1 0 969042819 356970496 80490 4294967295 134512640 135730672 3221224576 3221223232 134734786 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 87151 80490 301 301 0 86850 0 vsize: 348604 [startup+100.001 s] Raw data (loadavg): 0.98 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 129343 0 0 0 9723 275 0 0 25 0 1 0 969042819 357236736 80564 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 87216 80564 301 301 0 86915 0 vsize: 348864 [startup+110.002 s] Raw data (loadavg): 0.98 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 129614 0 0 0 10723 276 0 0 25 0 1 0 969042819 358432768 80786 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 87508 80786 301 301 0 87207 0 vsize: 350032 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 129826 0 0 0 11722 277 0 0 25 0 1 0 969042819 358825984 80900 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 87604 80900 301 301 0 87303 0 vsize: 350416 [startup+130.003 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 131677 0 0 0 12718 281 0 0 25 0 1 0 969042819 366776320 82211 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 89545 82211 301 301 0 89244 0 vsize: 358180 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 132737 0 0 0 13715 284 0 0 25 0 1 0 969042819 370548736 82790 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 90466 82790 301 301 0 90165 0 vsize: 361864 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 133431 0 0 0 14714 285 0 0 25 0 1 0 969042819 372805632 83197 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 91017 83197 301 301 0 90716 0 vsize: 364068 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 133903 0 0 0 15712 287 0 0 25 0 1 0 969042819 374038528 83408 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 91318 83408 301 301 0 91017 0 vsize: 365272 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 134443 0 0 0 16711 288 0 0 25 0 1 0 969042819 375894016 83768 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 91771 83768 301 301 0 91470 0 vsize: 367084 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 135130 0 0 0 17709 290 0 0 25 0 1 0 969042819 378388480 84178 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 92380 84178 301 301 0 92079 0 vsize: 369520 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 136807 0 0 0 18706 293 0 0 25 0 1 0 969042819 383971328 85103 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93743 85103 301 301 0 93442 0 vsize: 374972 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 138136 0 0 0 19704 295 0 0 25 0 1 0 969042819 388726784 85881 4294967295 134512640 135730672 3221224576 3221223116 135301630 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94904 85889 301 301 0 94603 0 vsize: 379616 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 138559 0 0 0 20703 297 0 0 25 0 1 0 969042819 389246976 86044 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95031 86044 301 301 0 94730 0 vsize: 380124 [startup+220.004 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 138896 0 0 0 21702 298 0 0 25 0 1 0 969042819 390033408 86186 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95223 86186 301 301 0 94922 0 vsize: 380892 [startup+230.004 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 138920 0 0 0 22702 298 0 0 25 0 1 0 969042819 390033408 86210 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95223 86210 301 301 0 94922 0 vsize: 380892 [startup+240.004 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 139318 0 0 0 23702 298 0 0 25 0 1 0 969042819 391081984 86349 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95479 86349 301 301 0 95178 0 vsize: 381916 [startup+250.004 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 139521 0 0 0 24701 299 0 0 25 0 1 0 969042819 391606272 86422 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95607 86422 301 301 0 95306 0 vsize: 382428 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 140513 0 0 0 25699 301 0 0 25 0 1 0 969042819 395374592 87052 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96527 87052 301 301 0 96226 0 vsize: 386108 [startup+270.004 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 142813 0 0 0 26694 307 0 0 25 0 1 0 969042819 404647936 89254 4294967295 134512640 135730672 3221224576 3221222772 134769354 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98791 89254 301 301 0 98490 0 vsize: 395164 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 142860 0 0 0 27693 307 0 0 25 0 1 0 969042819 396443648 87298 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96788 87298 301 301 0 96487 0 vsize: 387152 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 143648 0 0 0 28691 309 0 0 25 0 1 0 969042819 399667200 87827 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97575 87827 301 301 0 97274 0 vsize: 390300 [startup+300.005 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 143774 0 0 0 29691 309 0 0 25 0 1 0 969042819 399929344 87888 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97639 87888 301 301 0 97338 0 vsize: 390556 [startup+310.005 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145301 0 0 0 30688 312 0 0 25 0 1 0 969042819 406532096 88963 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99251 88963 301 301 0 98950 0 vsize: 397004 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145376 0 0 0 31688 313 0 0 25 0 1 0 969042819 406933504 89038 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99349 89038 301 301 0 99048 0 vsize: 397396 [startup+330.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145389 0 0 0 32688 313 0 0 25 0 1 0 969042819 406933504 89051 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99349 89051 301 301 0 99048 0 vsize: 397396 [startup+340.005 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145497 0 0 0 33688 313 0 0 25 0 1 0 969042819 407195648 89094 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99413 89094 301 301 0 99112 0 vsize: 397652 [startup+350.005 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145680 0 0 0 34688 313 0 0 25 0 1 0 969042819 407719936 89147 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99541 89147 301 301 0 99240 0 vsize: 398164 [startup+360.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145858 0 0 0 35688 314 0 0 25 0 1 0 969042819 408383488 89259 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99703 89259 301 301 0 99402 0 vsize: 398812 [startup+370.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 146549 0 0 0 36687 315 0 0 25 0 1 0 969042819 411168768 89787 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100383 89787 301 301 0 100082 0 vsize: 401532 [startup+380.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 146836 0 0 0 37685 316 0 0 25 0 1 0 969042819 411963392 89975 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100577 89975 301 301 0 100276 0 vsize: 402308 [startup+390.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 146985 0 0 0 38685 317 0 0 25 0 1 0 969042819 412626944 90091 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100739 90091 301 301 0 100438 0 vsize: 402956 [startup+400.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147020 0 0 0 39685 317 0 0 25 0 1 0 969042819 412626944 90126 4294967295 134512640 135730672 3221224576 3221223200 134748249 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100739 90126 301 301 0 100438 0 vsize: 402956 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147040 0 0 0 40685 317 0 0 25 0 1 0 969042819 412626944 90146 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100739 90146 301 301 0 100438 0 vsize: 402956 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147056 0 0 0 41686 317 0 0 25 0 1 0 969042819 412626944 90162 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100739 90162 301 301 0 100438 0 vsize: 402956 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147063 0 0 0 42686 317 0 0 25 0 1 0 969042819 412626944 90169 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100739 90169 301 301 0 100438 0 vsize: 402956 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147080 0 0 0 43686 317 0 0 25 0 1 0 969042819 412626944 90186 4294967295 134512640 135730672 3221224576 3221223264 134748452 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100739 90186 301 301 0 100438 0 vsize: 402956 [startup+450.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147082 0 0 0 44686 317 0 0 25 0 1 0 969042819 412626944 90188 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100739 90188 301 301 0 100438 0 vsize: 402956 [startup+460.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147090 0 0 0 45686 317 0 0 25 0 1 0 969042819 412626944 90196 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100739 90196 301 301 0 100438 0 vsize: 402956 [startup+470.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147137 0 0 0 46686 317 0 0 25 0 1 0 969042819 412626944 90243 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100739 90243 301 301 0 100438 0 vsize: 402956 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147139 0 0 0 47686 318 0 0 25 0 1 0 969042819 412626944 90245 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100739 90245 301 301 0 100438 0 vsize: 402956 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147433 0 0 0 48685 319 0 0 25 0 1 0 969042819 413413376 90344 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100931 90344 301 301 0 100630 0 vsize: 403724 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 148096 0 0 0 49684 320 0 0 25 0 1 0 969042819 415670272 90677 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101482 90677 301 301 0 101181 0 vsize: 405928 [startup+510.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 148172 0 0 0 50684 320 0 0 25 0 1 0 969042819 415936512 90720 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101547 90720 301 301 0 101246 0 vsize: 406188 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 148627 0 0 0 51684 321 0 0 25 0 1 0 969042819 417394688 90995 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101903 90995 301 301 0 101602 0 vsize: 407612 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 148640 0 0 0 52684 321 0 0 25 0 1 0 969042819 417394688 91008 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101903 91008 301 301 0 101602 0 vsize: 407612 [startup+540.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 148745 0 0 0 53684 321 0 0 25 0 1 0 969042819 417656832 91048 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101967 91048 301 301 0 101666 0 vsize: 407868 [startup+550.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149006 0 0 0 54684 321 0 0 25 0 1 0 969042819 418582528 91211 4294967295 134512640 135730672 3221224576 3221223168 134764022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102193 91211 301 301 0 101892 0 vsize: 408772 [startup+560.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149008 0 0 0 55684 321 0 0 25 0 1 0 969042819 418582528 91213 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102193 91213 301 301 0 101892 0 vsize: 408772 [startup+570.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149018 0 0 0 56684 321 0 0 25 0 1 0 969042819 418582528 91223 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102193 91223 301 301 0 101892 0 vsize: 408772 [startup+580.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149021 0 0 0 57684 322 0 0 25 0 1 0 969042819 418582528 91226 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102193 91226 301 301 0 101892 0 vsize: 408772 [startup+590.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149030 0 0 0 58684 322 0 0 25 0 1 0 969042819 418582528 91235 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102193 91235 301 301 0 101892 0 vsize: 408772 [startup+600.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149057 0 0 0 59684 322 0 0 25 0 1 0 969042819 418582528 91262 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102193 91262 301 301 0 101892 0 vsize: 408772 [startup+610.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149139 0 0 0 60684 322 0 0 25 0 1 0 969042819 418844672 91279 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102257 91279 301 301 0 101956 0 vsize: 409028 [startup+620.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149142 0 0 0 61684 322 0 0 25 0 1 0 969042819 418844672 91282 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102257 91282 301 301 0 101956 0 vsize: 409028 [startup+630.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149151 0 0 0 62684 322 0 0 25 0 1 0 969042819 418844672 91291 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102257 91291 301 301 0 101956 0 vsize: 409028 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149174 0 0 0 63685 322 0 0 25 0 1 0 969042819 418844672 91314 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102257 91314 301 301 0 101956 0 vsize: 409028 [startup+650.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149195 0 0 0 64685 322 0 0 25 0 1 0 969042819 418844672 91335 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102257 91335 301 301 0 101956 0 vsize: 409028 [startup+660.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149214 0 0 0 65685 322 0 0 25 0 1 0 969042819 418844672 91354 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102257 91354 301 301 0 101956 0 vsize: 409028 [startup+670.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149329 0 0 0 66685 322 0 0 25 0 1 0 969042819 419106816 91404 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102321 91404 301 301 0 102020 0 vsize: 409284 [startup+680.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151333 0 0 0 67680 327 0 0 25 0 1 0 969042819 427311104 93408 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104324 93408 301 301 0 104023 0 vsize: 417296 [startup+690.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151347 0 0 0 68679 328 0 0 25 0 1 0 969042819 419106816 91419 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102321 91419 301 301 0 102020 0 vsize: 409284 [startup+700.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151370 0 0 0 69679 328 0 0 25 0 1 0 969042819 419106816 91442 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102321 91442 301 301 0 102020 0 vsize: 409284 [startup+710.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151572 0 0 0 70679 329 0 0 25 0 1 0 969042819 419631104 91514 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102449 91514 301 301 0 102148 0 vsize: 409796 [startup+720.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151589 0 0 0 71679 329 0 0 25 0 1 0 969042819 419631104 91531 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102449 91531 301 301 0 102148 0 vsize: 409796 [startup+730.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151752 0 0 0 72679 329 0 0 25 0 1 0 969042819 420155392 91564 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102577 91564 301 301 0 102276 0 vsize: 410308 [startup+740.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151754 0 0 0 73679 330 0 0 25 0 1 0 969042819 420155392 91566 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102577 91566 301 301 0 102276 0 vsize: 410308 [startup+750.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152163 0 0 0 74678 331 0 0 25 0 1 0 969042819 421203968 91716 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102833 91716 301 301 0 102532 0 vsize: 411332 [startup+760.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152244 0 0 0 75678 331 0 0 25 0 1 0 969042819 421466112 91732 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102897 91732 301 301 0 102596 0 vsize: 411588 [startup+770.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152377 0 0 0 76678 331 0 0 25 0 1 0 969042819 421728256 91800 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102961 91800 301 301 0 102660 0 vsize: 411844 [startup+780.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152381 0 0 0 77678 331 0 0 25 0 1 0 969042819 421728256 91804 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102961 91804 301 301 0 102660 0 vsize: 411844 [startup+790.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152395 0 0 0 78678 331 0 0 25 0 1 0 969042819 421728256 91818 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102961 91818 301 301 0 102660 0 vsize: 411844 [startup+800.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152423 0 0 0 79678 331 0 0 25 0 1 0 969042819 421728256 91846 4294967295 134512640 135730672 3221224576 3221223200 134748114 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102961 91846 301 301 0 102660 0 vsize: 411844 [startup+810.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152430 0 0 0 80678 332 0 0 25 0 1 0 969042819 421728256 91853 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102961 91853 301 301 0 102660 0 vsize: 411844 [startup+820.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152432 0 0 0 81677 332 0 0 25 0 1 0 969042819 421728256 91855 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102961 91855 301 301 0 102660 0 vsize: 411844 [startup+830.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152566 0 0 0 82677 333 0 0 25 0 1 0 969042819 421990400 91924 4294967295 134512640 135730672 3221224576 3221223196 135284036 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103025 91924 301 301 0 102724 0 vsize: 412100 [startup+840.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152572 0 0 0 83677 333 0 0 25 0 1 0 969042819 421990400 91930 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103025 91930 301 301 0 102724 0 vsize: 412100 [startup+850.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152573 0 0 0 84677 333 0 0 25 0 1 0 969042819 421990400 91931 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103025 91931 301 301 0 102724 0 vsize: 412100 [startup+860.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152900 0 0 0 85677 334 0 0 25 0 1 0 969042819 422912000 92064 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103250 92064 301 301 0 102949 0 vsize: 413000 [startup+870.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152906 0 0 0 86677 334 0 0 25 0 1 0 969042819 422912000 92070 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103250 92070 301 301 0 102949 0 vsize: 413000 [startup+880.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152915 0 0 0 87677 334 0 0 25 0 1 0 969042819 422912000 92079 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103250 92079 301 301 0 102949 0 vsize: 413000 [startup+890.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152921 0 0 0 88677 334 0 0 25 0 1 0 969042819 422912000 92085 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103250 92085 301 301 0 102949 0 vsize: 413000 [startup+900.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153034 0 0 0 89677 334 0 0 25 0 1 0 969042819 423174144 92133 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103314 92133 301 301 0 103013 0 vsize: 413256 [startup+910.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153143 0 0 0 90677 335 0 0 25 0 1 0 969042819 423436288 92177 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103378 92177 301 301 0 103077 0 vsize: 413512 [startup+920.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153146 0 0 0 91677 335 0 0 25 0 1 0 969042819 423436288 92180 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103378 92180 301 301 0 103077 0 vsize: 413512 [startup+930.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153269 0 0 0 92677 335 0 0 25 0 1 0 969042819 423698432 92238 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103442 92238 301 301 0 103141 0 vsize: 413768 [startup+940.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153360 0 0 0 93677 335 0 0 25 0 1 0 969042819 423960576 92264 4294967295 134512640 135730672 3221224576 3221223200 134748214 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103506 92264 301 301 0 103205 0 vsize: 414024 [startup+950.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153439 0 0 0 94677 336 0 0 25 0 1 0 969042819 424222720 92278 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103570 92278 301 301 0 103269 0 vsize: 414280 [startup+960.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153453 0 0 0 95677 336 0 0 25 0 1 0 969042819 424222720 92292 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103570 92292 301 301 0 103269 0 vsize: 414280 [startup+970.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 154373 0 0 0 96675 337 0 0 25 0 1 0 969042819 427212800 92754 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104300 92754 301 301 0 103999 0 vsize: 417200 [startup+980.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 154374 0 0 0 97675 337 0 0 25 0 1 0 969042819 427212800 92755 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104300 92755 301 301 0 103999 0 vsize: 417200 [startup+990.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 154422 0 0 0 98675 338 0 0 25 0 1 0 969042819 427212800 92803 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104300 92803 301 301 0 103999 0 vsize: 417200 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 154901 0 0 0 99674 339 0 0 25 0 1 0 969042819 429334528 93085 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104818 93085 301 301 0 104517 0 vsize: 419272 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 155371 0 0 0 100673 340 0 0 25 0 1 0 969042819 430383104 93295 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105074 93295 301 301 0 104773 0 vsize: 420296 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 155688 0 0 0 101673 341 0 0 25 0 1 0 969042819 431169536 93418 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105266 93418 301 301 0 104965 0 vsize: 421064 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 155982 0 0 0 102672 341 0 0 25 0 1 0 969042819 431955968 93518 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105458 93518 301 301 0 105157 0 vsize: 421832 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 155987 0 0 0 103672 342 0 0 25 0 1 0 969042819 431955968 93523 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105458 93523 301 301 0 105157 0 vsize: 421832 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156174 0 0 0 104672 342 0 0 25 0 1 0 969042819 432480256 93580 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105586 93580 301 301 0 105285 0 vsize: 422344 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156179 0 0 0 105672 342 0 0 25 0 1 0 969042819 432480256 93585 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105586 93585 301 301 0 105285 0 vsize: 422344 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156181 0 0 0 106672 342 0 0 25 0 1 0 969042819 432480256 93587 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105586 93587 301 301 0 105285 0 vsize: 422344 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156181 0 0 0 107673 342 0 0 25 0 1 0 969042819 432480256 93587 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105586 93587 301 301 0 105285 0 vsize: 422344 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156184 0 0 0 108673 342 0 0 25 0 1 0 969042819 432480256 93590 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105586 93590 301 301 0 105285 0 vsize: 422344 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156195 0 0 0 109673 342 0 0 25 0 1 0 969042819 432480256 93601 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105586 93601 301 301 0 105285 0 vsize: 422344 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 10730 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156196 0 0 0 110673 342 0 0 25 0 1 0 969042819 432480256 93602 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105586 93602 301 301 0 105285 0 vsize: 422344 [startup+1120.02 s] Raw data (loadavg): 1.07 0.99 0.96 3/57 10770 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156197 0 0 0 111672 343 0 0 25 0 1 0 969042819 432480256 93603 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105586 93603 301 301 0 105285 0 vsize: 422344 [startup+1130.02 s] Raw data (loadavg): 1.06 0.99 0.96 2/54 10783 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156198 0 0 0 112672 343 0 0 25 0 1 0 969042819 432480256 93604 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105586 93604 301 301 0 105285 0 vsize: 422344 [startup+1140.02 s] Raw data (loadavg): 1.05 0.99 0.96 2/54 10783 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156200 0 0 0 113672 343 0 0 25 0 1 0 969042819 432480256 93606 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105586 93606 301 301 0 105285 0 vsize: 422344 [startup+1150.02 s] Raw data (loadavg): 1.04 0.99 0.96 2/54 10783 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158206 0 0 0 114667 348 0 0 25 0 1 0 969042819 440684544 95612 4294967295 134512640 135730672 3221224576 3221222736 134769172 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 107589 95612 301 301 0 107288 0 vsize: 430356 [startup+1160.02 s] Raw data (loadavg): 1.04 0.99 0.96 2/54 10783 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158339 0 0 0 115667 349 0 0 25 0 1 0 969042819 432742400 93677 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105650 93677 301 301 0 105349 0 vsize: 422600 [startup+1170.02 s] Raw data (loadavg): 1.03 0.99 0.96 2/54 10783 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158352 0 0 0 116667 349 0 0 25 0 1 0 969042819 432742400 93690 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105650 93690 301 301 0 105349 0 vsize: 422600 [startup+1180.02 s] Raw data (loadavg): 1.03 0.99 0.96 2/54 10783 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158353 0 0 0 117667 349 0 0 25 0 1 0 969042819 432742400 93691 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105650 93691 301 301 0 105349 0 vsize: 422600 [startup+1190.02 s] Raw data (loadavg): 1.02 0.99 0.96 2/54 10783 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158382 0 0 0 118667 349 0 0 25 0 1 0 969042819 432742400 93720 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105650 93720 301 301 0 105349 0 vsize: 422600 [startup+1200.02 s] Raw data (loadavg): 1.02 0.99 0.96 2/54 10785 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158389 0 0 0 119667 349 0 0 25 0 1 0 969042819 432742400 93727 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105650 93727 301 301 0 105349 0 vsize: 422600 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.1 s] Raw data (loadavg): 1.02 0.99 0.96 1/53 10785 Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158389 0 0 0 119667 349 0 0 25 0 1 0 969042819 432742400 93727 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105650 93727 301 301 0 105349 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.1 CPU time (s): 1202.25 CPU user time (s): 1198.57 CPU system time (s): 3.68744 CPU usage (%): 100.013 Max. virtual memory (Kb): 430356 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####