Name | normalized-opb/submitted/een/normalized-lseu.opb |
MD5SUM | a578bf261896413ca78de4dc6db2447f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02184 |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc28 THE 2005-05-28 11:56:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24313 boxname=wulflinc28 idbench=387 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a578bf261896413ca78de4dc6db2447f /oldhome/oroussel/tmp/wulflinc28/normalized-lseu.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-lseu.opb IDLAUNCH: 24313 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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 : 3 cpu MHz : 451.077 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: 694776 kB Buffers: 40256 kB Cached: 258368 kB SwapCached: 780 kB Active: 20000 kB Inactive: 298740 kB HighTotal: 131008 kB HighFree: 10500 kB LowTotal: 903652 kB LowFree: 684276 kB SwapTotal: 2097640 kB SwapFree: 2096164 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5456 kB Slab: 15512 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 12:16:47 (client local time) WITH STATUS 10 IN 1201.1 SECONDS stats: 24313 0 1201.1 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 5051 c [startup+18.6398 s] setting bit 13 to 1 c got solution with objective value: 3188 c [startup+20.9953 s] setting bit 12 to 1 Decision: 194923/326287 Time: 215.232/86400 Decision: 194923/326287 Time: 290.557/86400 Decision: 194929/326287 Time: 402.681/86400 Decision: 194945/326287 Time: 501.591/86400 Decision: 194961/326287 Time: 626.315/86400 Decision: 194966/326287 Time: 776.214/86400 Decision: 194982/326287 Time: 862.467/86400 Decision: 194982/326287 Time: 938.928/86400 Decision: 194982/326287 Time: 1015.89/86400 Decision: 194982/326287 Time: 1086.89/86400s SATISFIABLE v -x0 -x1 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x2 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 x3 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 -x39 -x4 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 -x49 -x5 -x50 -x51 -x52 -x53 x54 -x55 x56 -x57 -x58 -x59 x6 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x7 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x8 -x80 -x81 x82 x83 x84 -x85 -x86 x87 -x88 -x9 #### 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 Raw data (loadavg): 0.92 0.97 0.91 2/54 5994 Raw data (stat): 5994 (runsolver) R 5993 24821 24820 0 -1 64 7 0 0 0 0 0 0 0 19 0 1 0 864620222 884736 93 4294967295 134512640 135332820 3221224480 3221219480 134956749 0 0 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 93 205 205 0 11 0 vsize: 864 [startup+10.001 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 30405 0 0 0 936 63 0 0 25 0 1 0 864620222 89923584 19252 4294967295 134512640 135726644 3221224592 3221205768 134784091 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21954 19253 300 300 0 21654 0 vsize: 87816 [startup+20.0014 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 53063 0 0 0 1890 108 0 0 25 0 1 0 864620222 171610112 29462 4294967295 134512640 135726644 3221224592 3221223264 134745029 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41897 29462 300 300 0 41597 0 vsize: 167588 [startup+30.0024 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54291 0 0 0 2888 110 0 0 25 0 1 0 864620222 173928448 29923 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42463 29923 300 300 0 42163 0 vsize: 169852 [startup+40.002 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54371 0 0 0 3887 111 0 0 25 0 1 0 864620222 174329856 30003 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42561 30003 300 300 0 42261 0 vsize: 170244 [startup+50.0014 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54610 0 0 0 4887 111 0 0 25 0 1 0 864620222 174985216 30078 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42721 30078 300 300 0 42421 0 vsize: 170884 [startup+60.0014 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54618 0 0 0 5887 112 0 0 25 0 1 0 864620222 174985216 30086 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42721 30086 300 300 0 42421 0 vsize: 170884 [startup+70.0021 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54622 0 0 0 6887 112 0 0 25 0 1 0 864620222 174985216 30090 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42721 30090 300 300 0 42421 0 vsize: 170884 [startup+80.0025 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54721 0 0 0 7887 112 0 0 25 0 1 0 864620222 175517696 30189 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42851 30189 300 300 0 42551 0 vsize: 171404 [startup+90.0022 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54733 0 0 0 8887 112 0 0 25 0 1 0 864620222 175517696 30201 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42851 30201 300 300 0 42551 0 vsize: 171404 [startup+100.002 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54736 0 0 0 9887 112 0 0 25 0 1 0 864620222 175517696 30204 4294967295 134512640 135726644 3221224592 3221223236 134744476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42851 30204 300 300 0 42551 0 vsize: 171404 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54738 0 0 0 10888 112 0 0 25 0 1 0 864620222 175517696 30206 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42851 30206 300 300 0 42551 0 vsize: 171404 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54783 0 0 0 11887 112 0 0 25 0 1 0 864620222 175648768 30218 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42883 30218 300 300 0 42583 0 vsize: 171532 [startup+130.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54798 0 0 0 12888 112 0 0 25 0 1 0 864620222 175648768 30233 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42883 30233 300 300 0 42583 0 vsize: 171532 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54864 0 0 0 13887 113 0 0 25 0 1 0 864620222 175779840 30266 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42915 30266 300 300 0 42615 0 vsize: 171660 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54867 0 0 0 14888 113 0 0 25 0 1 0 864620222 175779840 30269 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42915 30269 300 300 0 42615 0 vsize: 171660 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54977 0 0 0 15888 113 0 0 25 0 1 0 864620222 176193536 30314 4294967295 134512640 135726644 3221224592 3221223216 134744518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43016 30314 300 300 0 42716 0 vsize: 172064 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54994 0 0 0 16888 113 0 0 25 0 1 0 864620222 176193536 30331 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43016 30331 300 300 0 42716 0 vsize: 172064 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 54997 0 0 0 17888 113 0 0 25 0 1 0 864620222 176193536 30334 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43016 30334 300 300 0 42716 0 vsize: 172064 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5994 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55006 0 0 0 18888 113 0 0 25 0 1 0 864620222 176193536 30343 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43016 30343 300 300 0 42716 0 vsize: 172064 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5995 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55044 0 0 0 19888 114 0 0 25 0 1 0 864620222 176193536 30381 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43016 30381 300 300 0 42716 0 vsize: 172064 [startup+210.003 s] Raw data (loadavg): 1.14 1.00 0.92 2/54 6047 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55048 0 0 0 20886 115 0 0 25 0 1 0 864620222 176193536 30385 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43016 30385 300 300 0 42716 0 vsize: 172064 [startup+220.003 s] Raw data (loadavg): 1.12 1.00 0.92 2/54 6047 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55050 0 0 0 21886 115 0 0 25 0 1 0 864620222 176193536 30387 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43016 30387 300 300 0 42716 0 vsize: 172064 [startup+230.004 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 6047 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55152 0 0 0 22886 115 0 0 25 0 1 0 864620222 176455680 30424 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43080 30424 300 300 0 42780 0 vsize: 172320 [startup+240.003 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 6047 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55811 0 0 0 23884 117 0 0 25 0 1 0 864620222 176590848 30445 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43113 30445 300 300 0 42813 0 vsize: 172452 [startup+250.003 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 6047 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55908 0 0 0 24883 117 0 0 25 0 1 0 864620222 176857088 30509 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43178 30509 300 300 0 42878 0 vsize: 172712 [startup+260.004 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 6047 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55909 0 0 0 25883 118 0 0 25 0 1 0 864620222 176857088 30510 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43178 30510 300 300 0 42878 0 vsize: 172712 [startup+270.003 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55909 0 0 0 26883 118 0 0 25 0 1 0 864620222 176857088 30510 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43178 30510 300 300 0 42878 0 vsize: 172712 [startup+280.004 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55911 0 0 0 27884 118 0 0 25 0 1 0 864620222 176857088 30512 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43178 30512 300 300 0 42878 0 vsize: 172712 [startup+290.005 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55928 0 0 0 28884 118 0 0 25 0 1 0 864620222 176857088 30529 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43178 30529 300 300 0 42878 0 vsize: 172712 [startup+300.004 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55934 0 0 0 29884 118 0 0 25 0 1 0 864620222 176857088 30535 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43178 30535 300 300 0 42878 0 vsize: 172712 [startup+310.004 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 55938 0 0 0 30884 118 0 0 25 0 1 0 864620222 176857088 30539 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43178 30539 300 300 0 42878 0 vsize: 172712 [startup+320.005 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 56599 0 0 0 31882 120 0 0 25 0 1 0 864620222 176992256 30562 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43211 30562 300 300 0 42911 0 vsize: 172844 [startup+330.005 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 56603 0 0 0 32882 120 0 0 25 0 1 0 864620222 176992256 30566 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43211 30566 300 300 0 42911 0 vsize: 172844 [startup+340.005 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 56607 0 0 0 33882 120 0 0 25 0 1 0 864620222 176992256 30570 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43211 30570 300 300 0 42911 0 vsize: 172844 [startup+350.005 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 56611 0 0 0 34882 120 0 0 25 0 1 0 864620222 176992256 30574 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43211 30574 300 300 0 42911 0 vsize: 172844 [startup+360.005 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 56653 0 0 0 35882 120 0 0 25 0 1 0 864620222 177258496 30616 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43276 30616 300 300 0 42976 0 vsize: 173104 [startup+370.005 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 56656 0 0 0 36882 120 0 0 25 0 1 0 864620222 177258496 30619 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43276 30619 300 300 0 42976 0 vsize: 173104 [startup+380.006 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 56675 0 0 0 37883 120 0 0 25 0 1 0 864620222 177258496 30638 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43276 30638 300 300 0 42976 0 vsize: 173104 [startup+390.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 56678 0 0 0 38883 120 0 0 25 0 1 0 864620222 177258496 30641 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43276 30641 300 300 0 42976 0 vsize: 173104 [startup+400.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 56757 0 0 0 39883 120 0 0 25 0 1 0 864620222 177520640 30655 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43340 30655 300 300 0 43040 0 vsize: 173360 [startup+410.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 56767 0 0 0 40883 121 0 0 25 0 1 0 864620222 177520640 30665 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43340 30665 300 300 0 43040 0 vsize: 173360 [startup+420.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 56899 0 0 0 41883 121 0 0 25 0 1 0 864620222 178319360 30797 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43535 30797 300 300 0 43235 0 vsize: 174140 [startup+430.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 57620 0 0 0 42881 123 0 0 25 0 1 0 864620222 178585600 30847 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43600 30847 300 300 0 43300 0 vsize: 174400 [startup+440.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 57623 0 0 0 43881 123 0 0 25 0 1 0 864620222 178585600 30850 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43600 30850 300 300 0 43300 0 vsize: 174400 [startup+450.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 57624 0 0 0 44881 123 0 0 25 0 1 0 864620222 178585600 30851 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43600 30851 300 300 0 43300 0 vsize: 174400 [startup+460.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 57627 0 0 0 45882 123 0 0 25 0 1 0 864620222 178585600 30854 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43600 30854 300 300 0 43300 0 vsize: 174400 [startup+470.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 57633 0 0 0 46883 123 0 0 25 0 1 0 864620222 178585600 30860 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43600 30860 300 300 0 43300 0 vsize: 174400 [startup+480.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 57641 0 0 0 47883 123 0 0 25 0 1 0 864620222 178585600 30868 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43600 30868 300 300 0 43300 0 vsize: 174400 [startup+490.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 57648 0 0 0 48883 123 0 0 25 0 1 0 864620222 178585600 30875 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43600 30875 300 300 0 43300 0 vsize: 174400 [startup+500.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6049 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 57650 0 0 0 49884 123 0 0 25 0 1 0 864620222 178585600 30877 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43600 30877 300 300 0 43300 0 vsize: 174400 [startup+510.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 57653 0 0 0 50884 123 0 0 25 0 1 0 864620222 178585600 30880 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43600 30880 300 300 0 43300 0 vsize: 174400 [startup+520.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 57655 0 0 0 51884 123 0 0 25 0 1 0 864620222 178585600 30882 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43600 30882 300 300 0 43300 0 vsize: 174400 [startup+530.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 58296 0 0 0 52883 125 0 0 25 0 1 0 864620222 178585600 30885 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43600 30885 300 300 0 43300 0 vsize: 174400 [startup+540.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 58340 0 0 0 53883 125 0 0 25 0 1 0 864620222 178851840 30929 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43665 30929 300 300 0 43365 0 vsize: 174660 [startup+550.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 58346 0 0 0 54883 125 0 0 25 0 1 0 864620222 178851840 30935 4294967295 134512640 135726644 3221224592 3221223088 134743864 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43665 30935 300 300 0 43365 0 vsize: 174660 [startup+560.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 58348 0 0 0 55883 125 0 0 25 0 1 0 864620222 178851840 30937 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43665 30937 300 300 0 43365 0 vsize: 174660 [startup+570.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 58357 0 0 0 56883 125 0 0 25 0 1 0 864620222 178851840 30946 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43665 30946 300 300 0 43365 0 vsize: 174660 [startup+580.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 58364 0 0 0 57883 126 0 0 25 0 1 0 864620222 178851840 30953 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43665 30953 300 300 0 43365 0 vsize: 174660 [startup+590.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 58405 0 0 0 58882 126 0 0 25 0 1 0 864620222 179118080 30994 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43730 30994 300 300 0 43430 0 vsize: 174920 [startup+600.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 59007 0 0 0 59881 127 0 0 25 0 1 0 864620222 181780480 31448 4294967295 134512640 135726644 3221224592 3221222964 134758468 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44380 31448 300 300 0 44080 0 vsize: 177520 [startup+610.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 59096 0 0 0 60881 128 0 0 25 0 1 0 864620222 182046720 31537 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44445 31537 300 300 0 44145 0 vsize: 177780 [startup+620.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 59263 0 0 0 61881 128 0 0 25 0 1 0 864620222 182444032 31638 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44542 31638 300 300 0 44242 0 vsize: 178168 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 59487 0 0 0 62881 129 0 0 25 0 1 0 864620222 183242752 31763 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44737 31763 300 300 0 44437 0 vsize: 178948 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 59576 0 0 0 63881 129 0 0 25 0 1 0 864620222 183775232 31852 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44867 31852 300 300 0 44567 0 vsize: 179468 [startup+650.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60251 0 0 0 64878 131 0 0 25 0 1 0 864620222 183910400 31889 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44900 31889 300 300 0 44600 0 vsize: 179600 [startup+660.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60255 0 0 0 65878 131 0 0 25 0 1 0 864620222 183910400 31893 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44900 31893 300 300 0 44600 0 vsize: 179600 [startup+670.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60258 0 0 0 66878 131 0 0 25 0 1 0 864620222 183910400 31896 4294967295 134512640 135726644 3221224592 3221222912 134728875 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44900 31896 300 300 0 44600 0 vsize: 179600 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60262 0 0 0 67878 131 0 0 25 0 1 0 864620222 183910400 31900 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44900 31900 300 300 0 44600 0 vsize: 179600 [startup+690.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60336 0 0 0 68878 132 0 0 25 0 1 0 864620222 184172544 31909 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44964 31909 300 300 0 44664 0 vsize: 179856 [startup+700.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60338 0 0 0 69878 132 0 0 25 0 1 0 864620222 184172544 31911 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44964 31911 300 300 0 44664 0 vsize: 179856 [startup+710.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60341 0 0 0 70878 132 0 0 25 0 1 0 864620222 184172544 31914 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44964 31914 300 300 0 44664 0 vsize: 179856 [startup+720.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60343 0 0 0 71878 132 0 0 25 0 1 0 864620222 184172544 31916 4294967295 134512640 135726644 3221224592 3221223088 134743864 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44964 31916 300 300 0 44664 0 vsize: 179856 [startup+730.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60345 0 0 0 72878 132 0 0 25 0 1 0 864620222 184172544 31918 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44964 31918 300 300 0 44664 0 vsize: 179856 [startup+740.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60348 0 0 0 73878 132 0 0 25 0 1 0 864620222 184172544 31921 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44964 31921 300 300 0 44664 0 vsize: 179856 [startup+750.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60351 0 0 0 74878 132 0 0 25 0 1 0 864620222 184172544 31924 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44964 31924 300 300 0 44664 0 vsize: 179856 [startup+760.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60354 0 0 0 75878 132 0 0 25 0 1 0 864620222 184172544 31927 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44964 31927 300 300 0 44664 0 vsize: 179856 [startup+770.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60430 0 0 0 76878 133 0 0 25 0 1 0 864620222 184434688 31938 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45028 31938 300 300 0 44728 0 vsize: 180112 [startup+780.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60433 0 0 0 77879 133 0 0 25 0 1 0 864620222 184434688 31941 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45028 31941 300 300 0 44728 0 vsize: 180112 [startup+790.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 60437 0 0 0 78879 133 0 0 25 0 1 0 864620222 184434688 31945 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45028 31945 300 300 0 44728 0 vsize: 180112 [startup+800.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 61077 0 0 0 79877 134 0 0 25 0 1 0 864620222 184434688 31947 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45028 31947 300 300 0 44728 0 vsize: 180112 [startup+810.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 61078 0 0 0 80877 135 0 0 25 0 1 0 864620222 184434688 31948 4294967295 134512640 135726644 3221224592 3221223216 134744594 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45028 31948 300 300 0 44728 0 vsize: 180112 [startup+820.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 61079 0 0 0 81877 135 0 0 25 0 1 0 864620222 184434688 31949 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45028 31949 300 300 0 44728 0 vsize: 180112 [startup+830.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 61285 0 0 0 82877 135 0 0 25 0 1 0 864620222 185372672 32089 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45257 32089 300 300 0 44957 0 vsize: 181028 [startup+840.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 61314 0 0 0 83877 135 0 0 25 0 1 0 864620222 185372672 32118 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45257 32118 300 300 0 44957 0 vsize: 181028 [startup+850.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 61314 0 0 0 84877 135 0 0 25 0 1 0 864620222 185372672 32118 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45257 32118 300 300 0 44957 0 vsize: 181028 [startup+860.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 61316 0 0 0 85877 135 0 0 25 0 1 0 864620222 185372672 32120 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45257 32120 300 300 0 44957 0 vsize: 181028 [startup+870.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 61322 0 0 0 86877 135 0 0 25 0 1 0 864620222 185372672 32126 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45257 32126 300 300 0 44957 0 vsize: 181028 [startup+880.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 61588 0 0 0 87877 136 0 0 25 0 1 0 864620222 186310656 32326 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45486 32326 300 300 0 45186 0 vsize: 181944 [startup+890.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 62227 0 0 0 88876 137 0 0 25 0 1 0 864620222 186310656 32327 4294967295 134512640 135726644 3221224592 3221223200 134741173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45486 32327 300 300 0 45186 0 vsize: 181944 [startup+900.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 62227 0 0 0 89876 137 0 0 25 0 1 0 864620222 186310656 32327 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45486 32327 300 300 0 45186 0 vsize: 181944 [startup+910.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 62228 0 0 0 90876 137 0 0 25 0 1 0 864620222 186310656 32328 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45486 32328 300 300 0 45186 0 vsize: 181944 [startup+920.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 62228 0 0 0 91876 137 0 0 25 0 1 0 864620222 186310656 32328 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45486 32328 300 300 0 45186 0 vsize: 181944 [startup+930.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 62229 0 0 0 92876 137 0 0 25 0 1 0 864620222 186310656 32329 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45486 32329 300 300 0 45186 0 vsize: 181944 [startup+940.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 62229 0 0 0 93877 137 0 0 25 0 1 0 864620222 186310656 32329 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45486 32329 300 300 0 45186 0 vsize: 181944 [startup+950.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 62231 0 0 0 94877 137 0 0 25 0 1 0 864620222 186310656 32331 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45486 32331 300 300 0 45186 0 vsize: 181944 [startup+960.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 62869 0 0 0 95875 139 0 0 25 0 1 0 864620222 186310656 32331 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45486 32331 300 300 0 45186 0 vsize: 181944 [startup+970.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 62870 0 0 0 96875 139 0 0 25 0 1 0 864620222 186310656 32332 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45486 32332 300 300 0 45186 0 vsize: 181944 [startup+980.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 63054 0 0 0 97875 139 0 0 25 0 1 0 864620222 186839040 32417 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45615 32417 300 300 0 45315 0 vsize: 182460 [startup+990.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 63126 0 0 0 98875 140 0 0 25 0 1 0 864620222 186970112 32456 4294967295 134512640 135726644 3221224592 3221223184 134760426 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45647 32456 300 300 0 45347 0 vsize: 182588 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 63285 0 0 0 99875 140 0 0 25 0 1 0 864620222 187768832 32615 4294967295 134512640 135726644 3221224592 3221223216 134744620 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45842 32615 300 300 0 45542 0 vsize: 183368 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 63289 0 0 0 100875 140 0 0 25 0 1 0 864620222 187768832 32619 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45842 32619 300 300 0 45542 0 vsize: 183368 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 63361 0 0 0 101875 140 0 0 25 0 1 0 864620222 188030976 32626 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32626 300 300 0 45606 0 vsize: 183624 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 63363 0 0 0 102875 140 0 0 25 0 1 0 864620222 188030976 32628 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32628 300 300 0 45606 0 vsize: 183624 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64004 0 0 0 103874 142 0 0 25 0 1 0 864620222 188030976 32631 4294967295 134512640 135726644 3221224592 3221223280 134744932 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32631 300 300 0 45606 0 vsize: 183624 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64008 0 0 0 104874 142 0 0 25 0 1 0 864620222 188030976 32635 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32635 300 300 0 45606 0 vsize: 183624 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64013 0 0 0 105875 142 0 0 25 0 1 0 864620222 188030976 32640 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32640 300 300 0 45606 0 vsize: 183624 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64017 0 0 0 106875 142 0 0 25 0 1 0 864620222 188030976 32644 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32644 300 300 0 45606 0 vsize: 183624 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64019 0 0 0 107875 142 0 0 25 0 1 0 864620222 188030976 32646 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32646 300 300 0 45606 0 vsize: 183624 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64022 0 0 0 108875 142 0 0 25 0 1 0 864620222 188030976 32649 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32649 300 300 0 45606 0 vsize: 183624 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64024 0 0 0 109875 142 0 0 25 0 1 0 864620222 188030976 32651 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32651 300 300 0 45606 0 vsize: 183624 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64666 0 0 0 110874 144 0 0 25 0 1 0 864620222 188030976 32655 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32655 300 300 0 45606 0 vsize: 183624 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64669 0 0 0 111874 144 0 0 25 0 1 0 864620222 188030976 32658 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32658 300 300 0 45606 0 vsize: 183624 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64672 0 0 0 112874 144 0 0 25 0 1 0 864620222 188030976 32661 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32661 300 300 0 45606 0 vsize: 183624 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64678 0 0 0 113874 144 0 0 25 0 1 0 864620222 188030976 32667 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32667 300 300 0 45606 0 vsize: 183624 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64679 0 0 0 114874 144 0 0 25 0 1 0 864620222 188030976 32668 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32668 300 300 0 45606 0 vsize: 183624 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64696 0 0 0 115874 144 0 0 25 0 1 0 864620222 188030976 32685 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32685 300 300 0 45606 0 vsize: 183624 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64697 0 0 0 116875 144 0 0 25 0 1 0 864620222 188030976 32686 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32686 300 300 0 45606 0 vsize: 183624 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64710 0 0 0 117875 145 0 0 25 0 1 0 864620222 188030976 32699 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45906 32699 300 300 0 45606 0 vsize: 183624 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64783 0 0 0 118876 145 0 0 25 0 1 0 864620222 188293120 32707 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45970 32707 300 300 0 45670 0 vsize: 183880 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6051 Raw data (stat): 5994 (pb2sat) R 5993 24821 24820 0 -1 0 64787 0 0 0 119876 145 0 0 25 0 1 0 864620222 188293120 32711 4294967295 134512640 135726644 3221224592 3221223280 134744989 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45970 32711 300 300 0 45670 0 vsize: 183880 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.95 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 6051 Raw data (stat): 5994 (pb2sat) Z 5993 24821 24820 0 -1 12 64788 0 0 0 119958 152 0 0 25 0 1 0 864620222 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 10 Real time (s): 1200.95 CPU time (s): 1201.1 CPU user time (s): 1199.58 CPU system time (s): 1.52277 CPU usage (%): 100.013 Max. virtual memory (Kb): 183880 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 3188 #### END VERIFIER DATA ####