Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb |
MD5SUM | 3be753912a1804561d804d0545fc341d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | |
(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 | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 13633395 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 9232 |
Total number of constraints | 632 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 32 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 260 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-28 13:55:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25022 boxname=wulflinc11 idbench=1494 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 3be753912a1804561d804d0545fc341d /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-bienst1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-bienst1.opb IDLAUNCH: 25022 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 957564 kB Buffers: 14576 kB Cached: 41212 kB SwapCached: 788 kB Active: 20448 kB Inactive: 37428 kB HighTotal: 131008 kB HighFree: 86436 kB LowTotal: 903652 kB LowFree: 871128 kB SwapTotal: 2097136 kB SwapFree: 2095404 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5072 kB Slab: 13712 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 14:15:24 (client local time) WITH STATUS 0 IN 1202.37 SECONDS stats: 25022 7 1202.37 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 187567/792261 Time: 99.5389/86400 Decision: 187662/792261 Time: 188.971/86400 Decision: 187735/792261 Time: 228.567/86400 Decision: 188127/792261 Time: 271.01/86400 Decision: 188127/792261 Time: 311.422/86400 Decision: 188842/792261 Time: 399.496/86400 Decision: 188842/792261 Time: 442.037/86400 Decision: 188842/792261 Time: 484.746/86400 Decision: 188842/792261 Time: 533.69/86400 Decision: 188842/792261 Time: 566.989/86400 Decision: 188842/792261 Time: 598.865/86400 Decision: 188842/792261 Time: 638.614/86400 Decision: 188842/792261 Time: 664.721/86400 Decision: 189090/792261 Time: 772.807/86400 Decision: 189151/792261 Time: 801.592/86400 Decision: 189151/792261 Time: 833.307/86400 Decision: 189151/792261 Time: 872.455/86400 Decision: 189151/792261 Time: 901.551/86400 Decision: 189633/792261 Time: 1018.66/86400 Decision: 189633/792261 Time: 1056.69/86400 Decision: 189896/792261 Time: 1111.65/86400 Decision: 189896/792261 Time: 1147.48/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.94 2/54 4129 Raw data (stat): 4129 (runsolver) R 4128 25830 25829 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 807099994 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.0004 s] Raw data (loadavg): 0.93 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 29298 0 0 0 924 74 0 0 25 0 1 0 807099994 79429632 18219 4294967295 134512640 135726644 3221224576 3221218696 134784091 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 19392 18220 300 300 0 19092 0 vsize: 77568 [startup+20.0013 s] Raw data (loadavg): 0.94 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 58918 0 0 0 1855 142 0 0 25 0 1 0 807099994 229294080 36807 4294967295 134512640 135726644 3221224576 3221183504 134771714 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55980 36807 300 300 0 55680 0 vsize: 223920 [startup+30.0011 s] Raw data (loadavg): 0.95 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 97246 0 0 0 2760 226 0 0 25 0 1 0 807099994 304431104 53443 4294967295 134512640 135726644 3221224576 3221213976 135280693 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 74324 53443 300 300 0 74024 0 vsize: 297296 [startup+40.2202 s] Raw data (loadavg): 0.96 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 103003 0 0 0 3766 242 0 0 25 0 1 0 807099994 310771712 57598 4294967295 134512640 135726644 3221224576 3221223232 134731265 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75872 57598 300 300 0 75572 0 vsize: 303488 [startup+50.2275 s] Raw data (loadavg): 0.96 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 103121 0 0 0 4765 243 0 0 25 0 1 0 807099994 311230464 57716 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 75984 57716 300 300 0 75684 0 vsize: 303936 [startup+60.2276 s] Raw data (loadavg): 0.97 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 105344 0 0 0 5760 248 0 0 25 0 1 0 807099994 319737856 59390 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78061 59390 300 300 0 77761 0 vsize: 312244 [startup+70.2284 s] Raw data (loadavg): 0.97 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 107749 0 0 0 6754 254 0 0 25 0 1 0 807099994 329969664 61335 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80559 61335 300 300 0 80259 0 vsize: 322236 [startup+80.2288 s] Raw data (loadavg): 0.98 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 109613 0 0 0 7751 257 0 0 25 0 1 0 807099994 336257024 62432 4294967295 134512640 135726644 3221224576 3221223232 134731251 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82094 62432 300 300 0 81794 0 vsize: 328376 [startup+90.2296 s] Raw data (loadavg): 0.98 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 110197 0 0 0 8750 259 0 0 25 0 1 0 807099994 338640896 62820 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82676 62820 300 300 0 82376 0 vsize: 330704 [startup+100.23 s] Raw data (loadavg): 0.98 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 110872 0 0 0 9749 260 0 0 25 0 1 0 807099994 341237760 63282 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83310 63282 300 300 0 83010 0 vsize: 333240 [startup+110.229 s] Raw data (loadavg): 0.98 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 111547 0 0 0 10747 261 0 0 25 0 1 0 807099994 343760896 63761 4294967295 134512640 135726644 3221224576 3221223072 134744132 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83926 63761 300 300 0 83626 0 vsize: 335704 [startup+120.229 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 112177 0 0 0 11746 263 0 0 25 0 1 0 807099994 345333760 64001 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84310 64001 300 300 0 84010 0 vsize: 337240 [startup+130.229 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 114433 0 0 0 12741 268 0 0 25 0 1 0 807099994 347709440 64385 4294967295 134512640 135726644 3221224576 3221223200 134779694 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84890 64385 300 300 0 84590 0 vsize: 339560 [startup+140.23 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 114961 0 0 0 13740 270 0 0 25 0 1 0 807099994 349429760 64716 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 85310 64716 300 300 0 85010 0 vsize: 341240 [startup+150.23 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 115356 0 0 0 14739 271 0 0 25 0 1 0 807099994 351100928 65012 4294967295 134512640 135726644 3221224576 3221223072 134744344 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 85718 65012 300 300 0 85418 0 vsize: 342872 [startup+160.23 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 116764 0 0 0 15736 274 0 0 25 0 1 0 807099994 356904960 66090 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 87135 66090 300 300 0 86835 0 vsize: 348540 [startup+170.232 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 117377 0 0 0 16734 275 0 0 25 0 1 0 807099994 358756352 66409 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 87587 66409 300 300 0 87287 0 vsize: 350348 [startup+180.236 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 117725 0 0 0 17734 276 0 0 25 0 1 0 807099994 359682048 66594 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 87813 66594 300 300 0 87513 0 vsize: 351252 [startup+190.237 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 118279 0 0 0 18732 278 0 0 25 0 1 0 807099994 360738816 66984 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 88071 66984 300 300 0 87771 0 vsize: 352284 [startup+200.237 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 119008 0 0 0 19731 280 0 0 25 0 1 0 807099994 362319872 67450 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 88457 67450 300 300 0 88157 0 vsize: 353828 [startup+210.237 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 119758 0 0 0 20730 281 0 0 25 0 1 0 807099994 363905024 68002 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 88844 68002 300 300 0 88544 0 vsize: 355376 [startup+220.237 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 121988 0 0 0 21725 286 0 0 25 0 1 0 807099994 372834304 70085 4294967295 134512640 135726644 3221224576 3221222848 134770962 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 91024 70085 300 300 0 90724 0 vsize: 364096 [startup+230.237 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 122557 0 0 0 22723 288 0 0 25 0 1 0 807099994 368340992 68845 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 89927 68845 300 300 0 89627 0 vsize: 359708 [startup+240.244 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 124192 0 0 0 23720 292 0 0 25 0 1 0 807099994 374206464 69568 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 91359 69568 300 300 0 91059 0 vsize: 365436 [startup+250.243 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 125158 0 0 0 24718 294 0 0 25 0 1 0 807099994 377651200 70078 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 92200 70078 300 300 0 91900 0 vsize: 368800 [startup+260.243 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 125491 0 0 0 25717 295 0 0 25 0 1 0 807099994 378847232 70281 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 92492 70281 300 300 0 92192 0 vsize: 369968 [startup+270.244 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 126056 0 0 0 26716 296 0 0 25 0 1 0 807099994 380567552 70553 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 92912 70553 300 300 0 92612 0 vsize: 371648 [startup+280.244 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 4129 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 126386 0 0 0 27715 297 0 0 25 0 1 0 807099994 381489152 70720 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93137 70720 300 300 0 92837 0 vsize: 372548 [startup+290.245 s] Raw data (loadavg): 1.07 0.99 0.94 2/54 4182 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 126494 0 0 0 28714 298 0 0 25 0 1 0 807099994 381751296 70763 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93201 70763 300 300 0 92901 0 vsize: 372804 [startup+300.246 s] Raw data (loadavg): 1.06 0.99 0.94 2/54 4182 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 126774 0 0 0 29713 299 0 0 25 0 1 0 807099994 382275584 70913 4294967295 134512640 135726644 3221224576 3221223088 134742268 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93329 70913 300 300 0 93029 0 vsize: 373316 [startup+310.245 s] Raw data (loadavg): 1.05 0.99 0.94 2/54 4182 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 128362 0 0 0 30710 303 0 0 25 0 1 0 807099994 382275584 70953 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93329 70953 300 300 0 93029 0 vsize: 373316 [startup+320.246 s] Raw data (loadavg): 1.04 0.99 0.94 2/54 4182 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 128568 0 0 0 31709 304 0 0 25 0 1 0 807099994 383066112 71029 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93522 71029 300 300 0 93222 0 vsize: 374088 [startup+330.247 s] Raw data (loadavg): 1.04 0.99 0.94 2/54 4182 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 128592 0 0 0 32708 304 0 0 25 0 1 0 807099994 383066112 71053 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93522 71053 300 300 0 93222 0 vsize: 374088 [startup+340.248 s] Raw data (loadavg): 1.03 0.99 0.94 2/54 4182 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 128748 0 0 0 33708 305 0 0 25 0 1 0 807099994 383459328 71111 4294967295 134512640 135726644 3221224576 3221223088 134742278 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93618 71111 300 300 0 93318 0 vsize: 374472 [startup+350.248 s] Raw data (loadavg): 1.03 0.99 0.94 2/54 4182 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 130337 0 0 0 34704 309 0 0 25 0 1 0 807099994 383725568 71152 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93683 71152 300 300 0 93383 0 vsize: 374732 [startup+360.25 s] Raw data (loadavg): 1.02 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 130416 0 0 0 35703 310 0 0 25 0 1 0 807099994 383987712 71166 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93747 71166 300 300 0 93447 0 vsize: 374988 [startup+370.25 s] Raw data (loadavg): 1.02 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 130526 0 0 0 36702 312 0 0 25 0 1 0 807099994 384249856 71211 4294967295 134512640 135726644 3221224576 3221223200 134744544 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93811 71211 300 300 0 93511 0 vsize: 375244 [startup+380.25 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 130600 0 0 0 37702 312 0 0 25 0 1 0 807099994 384380928 71252 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93843 71252 300 300 0 93543 0 vsize: 375372 [startup+390.25 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 130925 0 0 0 38701 313 0 0 25 0 1 0 807099994 385306624 71479 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94069 71479 300 300 0 93769 0 vsize: 376276 [startup+400.25 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 131328 0 0 0 39700 314 0 0 25 0 1 0 807099994 386359296 71687 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94326 71687 300 300 0 94026 0 vsize: 377304 [startup+410.25 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 131370 0 0 0 40699 315 0 0 25 0 1 0 807099994 386555904 71729 4294967295 134512640 135726644 3221224576 3221223232 134731251 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94374 71729 300 300 0 94074 0 vsize: 377496 [startup+420.251 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 131430 0 0 0 41698 316 0 0 25 0 1 0 807099994 386883584 71789 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94454 71789 300 300 0 94154 0 vsize: 377816 [startup+430.252 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 133257 0 0 0 42694 321 0 0 25 0 1 0 807099994 387670016 71874 4294967295 134512640 135726644 3221224576 3221223200 134779655 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94646 71874 300 300 0 94346 0 vsize: 378584 [startup+440.253 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 133388 0 0 0 43693 322 0 0 25 0 1 0 807099994 388198400 71940 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94775 71940 300 300 0 94475 0 vsize: 379100 [startup+450.254 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 133859 0 0 0 44692 323 0 0 25 0 1 0 807099994 389644288 72087 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95128 72087 300 300 0 94828 0 vsize: 380512 [startup+460.254 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 134103 0 0 0 45690 325 0 0 25 0 1 0 807099994 390467584 72201 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95329 72201 300 300 0 95029 0 vsize: 381316 [startup+470.255 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 134201 0 0 0 46690 326 0 0 25 0 1 0 807099994 390729728 72234 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95393 72234 300 300 0 95093 0 vsize: 381572 [startup+480.255 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 135924 0 0 0 47685 331 0 0 25 0 1 0 807099994 391450624 72279 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95569 72279 300 300 0 95269 0 vsize: 382276 [startup+490.256 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 136254 0 0 0 48684 331 0 0 25 0 1 0 807099994 392368128 72381 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95793 72381 300 300 0 95493 0 vsize: 383172 [startup+500.262 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 136585 0 0 0 49683 334 0 0 25 0 1 0 807099994 393707520 72613 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96120 72613 300 300 0 95820 0 vsize: 384480 [startup+510.262 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 137462 0 0 0 50680 337 0 0 25 0 1 0 807099994 397185024 73193 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96969 73193 300 300 0 96669 0 vsize: 387876 [startup+520.263 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 139183 0 0 0 51676 341 0 0 25 0 1 0 807099994 397709312 73236 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97097 73236 300 300 0 96797 0 vsize: 388388 [startup+530.264 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 139189 0 0 0 52675 342 0 0 25 0 1 0 807099994 397709312 73242 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97097 73242 300 300 0 96797 0 vsize: 388388 [startup+540.265 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 139200 0 0 0 53675 343 0 0 25 0 1 0 807099994 397709312 73253 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97097 73253 300 300 0 96797 0 vsize: 388388 [startup+550.265 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 139438 0 0 0 54675 343 0 0 25 0 1 0 807099994 398495744 73296 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97289 73296 300 300 0 96989 0 vsize: 389156 [startup+560.265 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 139495 0 0 0 55674 345 0 0 25 0 1 0 807099994 398495744 73353 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97289 73353 300 300 0 96989 0 vsize: 389156 [startup+570.266 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141172 0 0 0 56670 349 0 0 25 0 1 0 807099994 398757888 73417 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97353 73417 300 300 0 97053 0 vsize: 389412 [startup+580.266 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141178 0 0 0 57669 350 0 0 25 0 1 0 807099994 398757888 73423 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97353 73423 300 300 0 97053 0 vsize: 389412 [startup+590.266 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141184 0 0 0 58668 351 0 0 25 0 1 0 807099994 398757888 73429 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97353 73429 300 300 0 97053 0 vsize: 389412 [startup+600.268 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141312 0 0 0 59667 352 0 0 25 0 1 0 807099994 399159296 73524 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97451 73524 300 300 0 97151 0 vsize: 389804 [startup+610.268 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141410 0 0 0 60666 353 0 0 25 0 1 0 807099994 399421440 73557 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97515 73557 300 300 0 97215 0 vsize: 390060 [startup+620.279 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4184 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141503 0 0 0 61667 354 0 0 25 0 1 0 807099994 399962112 73650 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97647 73650 300 300 0 97347 0 vsize: 390588 [startup+630.381 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 143054 0 0 0 62672 358 0 0 25 0 1 0 807099994 399962112 73653 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97647 73653 300 300 0 97347 0 vsize: 390588 [startup+640.381 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 143073 0 0 0 63671 360 0 0 25 0 1 0 807099994 399962112 73672 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97647 73672 300 300 0 97347 0 vsize: 390588 [startup+650.389 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 143076 0 0 0 64671 361 0 0 25 0 1 0 807099994 399962112 73675 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97647 73675 300 300 0 97347 0 vsize: 390588 [startup+660.389 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 143578 0 0 0 65670 363 0 0 25 0 1 0 807099994 400879616 73949 4294967295 134512640 135726644 3221224576 3221222824 135282497 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97871 73949 300 300 0 97571 0 vsize: 391484 [startup+670.391 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 145584 0 0 0 66664 368 0 0 25 0 1 0 807099994 402456576 74148 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98256 74148 300 300 0 97956 0 vsize: 393024 [startup+680.391 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 145701 0 0 0 67663 370 0 0 25 0 1 0 807099994 402718720 74200 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98320 74200 300 300 0 98020 0 vsize: 393280 [startup+690.391 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 145759 0 0 0 68661 371 0 0 25 0 1 0 807099994 402915328 74258 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98368 74258 300 300 0 98068 0 vsize: 393472 [startup+700.392 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 147459 0 0 0 69657 376 0 0 25 0 1 0 807099994 403476480 74377 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98505 74377 300 300 0 98205 0 vsize: 394020 [startup+710.393 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 147557 0 0 0 70657 376 0 0 25 0 1 0 807099994 403738624 74410 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98569 74410 300 300 0 98269 0 vsize: 394276 [startup+720.394 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 147565 0 0 0 71657 377 0 0 25 0 1 0 807099994 403738624 74418 4294967295 134512640 135726644 3221224576 3221223264 134744977 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98569 74418 300 300 0 98269 0 vsize: 394276 [startup+730.394 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 147756 0 0 0 72656 378 0 0 25 0 1 0 807099994 404262912 74480 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98697 74480 300 300 0 98397 0 vsize: 394788 [startup+740.395 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148046 0 0 0 73655 379 0 0 25 0 1 0 807099994 405049344 74575 4294967295 134512640 135726644 3221224576 3221223072 134744053 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98889 74575 300 300 0 98589 0 vsize: 395556 [startup+750.397 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148228 0 0 0 74655 379 0 0 25 0 1 0 807099994 405311488 74692 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98953 74692 300 300 0 98653 0 vsize: 395812 [startup+760.399 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148261 0 0 0 75655 380 0 0 25 0 1 0 807099994 405311488 74725 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98953 74725 300 300 0 98653 0 vsize: 395812 [startup+770.399 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148267 0 0 0 76654 381 0 0 25 0 1 0 807099994 405311488 74731 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98953 74731 300 300 0 98653 0 vsize: 395812 [startup+780.401 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148319 0 0 0 77654 381 0 0 25 0 1 0 807099994 405311488 74783 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98953 74783 300 300 0 98653 0 vsize: 395812 [startup+790.401 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148428 0 0 0 78654 382 0 0 25 0 1 0 807099994 405573632 74827 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99017 74827 300 300 0 98717 0 vsize: 396068 [startup+800.402 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148728 0 0 0 79653 383 0 0 25 0 1 0 807099994 406360064 74932 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99209 74932 300 300 0 98909 0 vsize: 396836 [startup+810.402 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 150292 0 0 0 80648 388 0 0 25 0 1 0 807099994 406360064 74948 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99209 74948 300 300 0 98909 0 vsize: 396836 [startup+820.403 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 150341 0 0 0 81647 389 0 0 25 0 1 0 807099994 406556672 74997 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99257 74997 300 300 0 98957 0 vsize: 397028 [startup+830.402 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 150347 0 0 0 82645 391 0 0 25 0 1 0 807099994 406556672 75003 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99257 75003 300 300 0 98957 0 vsize: 397028 [startup+840.404 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 151898 0 0 0 83641 395 0 0 25 0 1 0 807099994 406556672 75006 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99257 75006 300 300 0 98957 0 vsize: 397028 [startup+850.404 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 152177 0 0 0 84640 397 0 0 25 0 1 0 807099994 407412736 75154 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99466 75154 300 300 0 99166 0 vsize: 397864 [startup+860.403 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 152224 0 0 0 85639 398 0 0 25 0 1 0 807099994 407543808 75168 4294967295 134512640 135726644 3221224576 3221222992 134737974 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99498 75168 300 300 0 99198 0 vsize: 397992 [startup+870.404 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 153773 0 0 0 86634 403 0 0 25 0 1 0 807099994 407543808 75169 4294967295 134512640 135726644 3221224576 3221223200 134744503 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99498 75169 300 300 0 99198 0 vsize: 397992 [startup+880.404 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 153773 0 0 0 87634 403 0 0 25 0 1 0 807099994 407543808 75169 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99498 75169 300 300 0 99198 0 vsize: 397992 [startup+890.405 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 153778 0 0 0 88634 404 0 0 25 0 1 0 807099994 407543808 75174 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99498 75174 300 300 0 99198 0 vsize: 397992 [startup+900.405 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 153814 0 0 0 89633 405 0 0 25 0 1 0 807099994 407810048 75210 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99563 75210 300 300 0 99263 0 vsize: 398252 [startup+910.406 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 155363 0 0 0 90629 409 0 0 25 0 1 0 807099994 407810048 75211 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99563 75211 300 300 0 99263 0 vsize: 398252 [startup+920.406 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 155490 0 0 0 91628 410 0 0 25 0 1 0 807099994 408072192 75273 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99627 75273 300 300 0 99327 0 vsize: 398508 [startup+930.406 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 155496 0 0 0 92627 411 0 0 25 0 1 0 807099994 408072192 75279 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99627 75279 300 300 0 99327 0 vsize: 398508 [startup+940.407 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157046 0 0 0 93622 416 0 0 25 0 1 0 807099994 408072192 75281 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99627 75281 300 300 0 99327 0 vsize: 398508 [startup+950.407 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157056 0 0 0 94622 417 0 0 25 0 1 0 807099994 408072192 75291 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99627 75291 300 300 0 99327 0 vsize: 398508 [startup+960.408 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157057 0 0 0 95622 417 0 0 25 0 1 0 807099994 408072192 75292 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99627 75292 300 300 0 99327 0 vsize: 398508 [startup+970.408 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157088 0 0 0 96621 418 0 0 25 0 1 0 807099994 408072192 75323 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99627 75323 300 300 0 99327 0 vsize: 398508 [startup+980.408 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157090 0 0 0 97621 419 0 0 25 0 1 0 807099994 408072192 75325 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99627 75325 300 300 0 99327 0 vsize: 398508 [startup+990.409 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157150 0 0 0 98620 419 0 0 25 0 1 0 807099994 408338432 75385 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99692 75385 300 300 0 99392 0 vsize: 398768 [startup+1000.41 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157158 0 0 0 99620 420 0 0 25 0 1 0 807099994 408338432 75393 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99692 75393 300 300 0 99392 0 vsize: 398768 [startup+1010.41 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157324 0 0 0 100620 420 0 0 25 0 1 0 807099994 409141248 75494 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 99888 75494 300 300 0 99588 0 vsize: 399552 [startup+1020.41 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157529 0 0 0 101619 421 0 0 25 0 1 0 807099994 409665536 75569 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100016 75569 300 300 0 99716 0 vsize: 400064 [startup+1030.41 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157539 0 0 0 102619 422 0 0 25 0 1 0 807099994 409665536 75579 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100016 75579 300 300 0 99716 0 vsize: 400064 [startup+1040.41 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157561 0 0 0 103618 423 0 0 25 0 1 0 807099994 409800704 75601 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100049 75601 300 300 0 99749 0 vsize: 400196 [startup+1050.41 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 159193 0 0 0 104613 427 0 0 25 0 1 0 807099994 410066944 75652 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100114 75652 300 300 0 99814 0 vsize: 400456 [startup+1060.41 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 159219 0 0 0 105612 428 0 0 25 0 1 0 807099994 410066944 75678 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100114 75678 300 300 0 99814 0 vsize: 400456 [startup+1070.41 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 159464 0 0 0 106611 429 0 0 25 0 1 0 807099994 410591232 75794 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100242 75794 300 300 0 99942 0 vsize: 400968 [startup+1080.41 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 159505 0 0 0 107611 430 0 0 25 0 1 0 807099994 410591232 75835 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100242 75835 300 300 0 99942 0 vsize: 400968 [startup+1090.41 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 161056 0 0 0 108607 434 0 0 25 0 1 0 807099994 410591232 75838 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100242 75838 300 300 0 99942 0 vsize: 400968 [startup+1100.42 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 161187 0 0 0 109606 435 0 0 25 0 1 0 807099994 410853376 75904 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100306 75904 300 300 0 100006 0 vsize: 401224 [startup+1110.42 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 161202 0 0 0 110605 436 0 0 25 0 1 0 807099994 410853376 75919 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100306 75919 300 300 0 100006 0 vsize: 401224 [startup+1120.42 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 161290 0 0 0 111604 437 0 0 25 0 1 0 807099994 411115520 75942 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100370 75942 300 300 0 100070 0 vsize: 401480 [startup+1130.42 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 161373 0 0 0 112603 439 0 0 25 0 1 0 807099994 411377664 75960 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100434 75960 300 300 0 100134 0 vsize: 401736 [startup+1140.42 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 162924 0 0 0 113599 443 0 0 25 0 1 0 807099994 411377664 75963 4294967295 134512640 135726644 3221224576 3221222992 134738149 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100434 75963 300 300 0 100134 0 vsize: 401736 [startup+1150.42 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 162924 0 0 0 114599 443 0 0 25 0 1 0 807099994 411377664 75963 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100434 75963 300 300 0 100134 0 vsize: 401736 [startup+1160.42 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 163226 0 0 0 115598 445 0 0 25 0 1 0 807099994 412164096 76070 4294967295 134512640 135726644 3221224576 3221223072 134744304 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100626 76070 300 300 0 100326 0 vsize: 402504 [startup+1170.42 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 163251 0 0 0 116597 446 0 0 25 0 1 0 807099994 412299264 76095 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100659 76095 300 300 0 100359 0 vsize: 402636 [startup+1180.42 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 164803 0 0 0 117592 450 0 0 25 0 1 0 807099994 412299264 76099 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100659 76099 300 300 0 100359 0 vsize: 402636 [startup+1190.42 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 164805 0 0 0 118591 452 0 0 25 0 1 0 807099994 412299264 76101 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100659 76101 300 300 0 100359 0 vsize: 402636 [startup+1200.42 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 4186 Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 164850 0 0 0 119591 453 0 0 25 0 1 0 807099994 412495872 76146 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 100707 76146 300 300 0 100407 0 vsize: 402828 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.36 s] Raw data (loadavg): 1.00 0.99 0.94 1/54 4186 Raw data (stat): 4129 (pb2sat) Z 4128 25830 25829 0 -1 12 164851 0 0 0 119769 467 0 0 25 0 1 0 807099994 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1202.35 CPU time (s): 1202.37 CPU user time (s): 1197.69 CPU system time (s): 4.67929 CPU usage (%): 100.002 Max. virtual memory (Kb): 402828 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####