Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb |
MD5SUM | 6604a6c0d979e1f2b09762e6e4f70f84 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 259 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1278 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1278 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1278 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04584 |
Number of variables | 1278 |
Total number of constraints | 1087 |
Number of constraints which are clauses | 1087 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-05-28 10:14:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23984 boxname=wulflinc6 idbench=58 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6604a6c0d979e1f2b09762e6e4f70f84 /oldhome/oroussel/tmp/wulflinc6/normalized-max1024.pi.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-max1024.pi.opb IDLAUNCH: 23984 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 176576 kB Buffers: 38812 kB Cached: 794520 kB SwapCached: 484 kB Active: 51632 kB Inactive: 784124 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 176324 kB SwapTotal: 2097136 kB SwapFree: 2095980 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5708 kB Slab: 16608 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 10:34:51 (client local time) WITH STATUS 0 IN 1202.82 SECONDS stats: 23984 7 1202.82 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 569805/819851 Time: 250.093/86400 Decision: 569805/819851 Time: 284.618/86400 Decision: 569805/819851 Time: 330.806/86400 Decision: 569805/819851 Time: 365.266/86400 Decision: 569805/819851 Time: 385.655/86400 Decision: 569805/819851 Time: 406.792/86400 Decision: 570839/819851 Time: 469.221/86400 Decision: 570839/819851 Time: 515.87/86400 Decision: 570839/819851 Time: 565.131/86400 Decision: 570839/819851 Time: 602.081/86400 Decision: 570839/819851 Time: 627.623/86400 Decision: 570839/819851 Time: 653.027/86400 Decision: 570839/819851 Time: 686.311/86400 Decision: 570839/819851 Time: 729.831/86400 Decision: 570839/819851 Time: 754.619/86400 Decision: 570839/819851 Time: 781.558/86400 Decision: 570839/819851 Time: 813.879/86400 Decision: 570839/819851 Time: 845.598/86400 Decision: 570839/819851 Time: 881.491/86400 Decision: 570839/819851 Time: 912.129/86400 Decision: 570839/819851 Time: 948.56/86400 Decision: 570839/819851 Time: 979.31/86400 Decision: 570839/819851 Time: 1013.95/86400 Decision: 570839/819851 Time: 1047.06/86400 Decision: 570839/819851 Time: 1075.79/86400 Decision: 570839/819851 Time: 1105.61/86400 Decision: 570839/819851 Time: 1140.28/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.90 0.54 0.22 1/54 1953 Raw data (stat): 1953 (runsolver) R 1952 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805779940 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.001 s] Raw data (loadavg): 0.91 0.55 0.22 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 29823 0 0 0 937 62 0 0 25 0 1 0 805779940 89550848 18912 4294967295 134512640 135726644 3221224592 3220860400 135287555 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21863 18914 300 300 0 21563 0 vsize: 87452 [startup+20.0014 s] Raw data (loadavg): 0.92 0.57 0.23 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 58408 0 0 0 1878 121 0 0 25 0 1 0 805779940 175542272 36540 4294967295 134512640 135726644 3221224592 3221130168 134784091 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42857 36540 300 300 0 42557 0 vsize: 171428 [startup+30.0026 s] Raw data (loadavg): 0.94 0.58 0.24 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 98132 0 0 0 2791 202 0 0 25 0 1 0 805779940 331575296 54591 4294967295 134512640 135726644 3221224592 3221185216 134780358 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80951 54591 300 300 0 80651 0 vsize: 323804 [startup+40.0025 s] Raw data (loadavg): 0.95 0.59 0.25 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 116381 0 0 0 3752 239 0 0 25 0 1 0 805779940 357269504 72626 4294967295 134512640 135726644 3221224592 3221222928 134765566 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 87224 72626 300 300 0 86924 0 vsize: 348896 [startup+50.004 s] Raw data (loadavg): 0.95 0.61 0.25 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 120767 0 0 0 4742 249 0 0 25 0 1 0 805779940 366596096 74413 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 89501 74413 300 300 0 89201 0 vsize: 358004 [startup+60.005 s] Raw data (loadavg): 0.96 0.62 0.26 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 120768 0 0 0 5741 249 0 0 25 0 1 0 805779940 366596096 74414 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 89501 74414 300 300 0 89201 0 vsize: 358004 [startup+70.0058 s] Raw data (loadavg): 0.97 0.63 0.27 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 120770 0 0 0 6741 250 0 0 25 0 1 0 805779940 366596096 74416 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 89501 74416 300 300 0 89201 0 vsize: 358004 [startup+80.0063 s] Raw data (loadavg): 0.97 0.64 0.28 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 121044 0 0 0 7740 251 0 0 25 0 1 0 805779940 367394816 74592 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 89696 74592 300 300 0 89396 0 vsize: 358784 [startup+90.0064 s] Raw data (loadavg): 0.97 0.65 0.28 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 122023 0 0 0 8738 253 0 0 25 0 1 0 805779940 370671616 75159 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 90496 75159 300 300 0 90196 0 vsize: 361984 [startup+100.006 s] Raw data (loadavg): 0.98 0.66 0.29 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 125231 0 0 0 9732 259 0 0 25 0 1 0 805779940 379121664 76777 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 92559 76777 300 300 0 92259 0 vsize: 370236 [startup+110.007 s] Raw data (loadavg): 0.98 0.67 0.30 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 126472 0 0 0 10730 262 0 0 25 0 1 0 805779940 382738432 77464 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93442 77464 300 300 0 93142 0 vsize: 373768 [startup+120.008 s] Raw data (loadavg): 0.98 0.68 0.31 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 128710 0 0 0 11725 266 0 0 25 0 1 0 805779940 389070848 78680 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94988 78680 300 300 0 94688 0 vsize: 379952 [startup+130.009 s] Raw data (loadavg): 0.99 0.69 0.31 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 129280 0 0 0 12724 268 0 0 25 0 1 0 805779940 392151040 79250 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95740 79250 300 300 0 95440 0 vsize: 382960 [startup+140.009 s] Raw data (loadavg): 0.99 0.70 0.32 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 130690 0 0 0 13721 271 0 0 25 0 1 0 805779940 396857344 79979 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96889 79979 300 300 0 96589 0 vsize: 387556 [startup+150.011 s] Raw data (loadavg): 0.99 0.71 0.33 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 131107 0 0 0 14720 272 0 0 25 0 1 0 805779940 398045184 80169 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97179 80169 300 300 0 96879 0 vsize: 388716 [startup+160.011 s] Raw data (loadavg): 0.99 0.72 0.33 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 131177 0 0 0 15720 273 0 0 25 0 1 0 805779940 398450688 80239 4294967295 134512640 135726644 3221224592 3221222912 134728875 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97278 80239 300 300 0 96978 0 vsize: 389112 [startup+170.011 s] Raw data (loadavg): 0.99 0.73 0.34 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 131617 0 0 0 16719 274 0 0 25 0 1 0 805779940 399908864 80452 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97634 80452 300 300 0 97334 0 vsize: 390536 [startup+180.012 s] Raw data (loadavg): 0.99 0.74 0.35 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 131884 0 0 0 17718 275 0 0 25 0 1 0 805779940 400969728 80621 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97893 80621 300 300 0 97593 0 vsize: 391572 [startup+190.013 s] Raw data (loadavg): 0.99 0.75 0.35 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 132932 0 0 0 18716 277 0 0 25 0 1 0 805779940 403726336 81046 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98566 81046 300 300 0 98266 0 vsize: 394264 [startup+200.013 s] Raw data (loadavg): 0.99 0.75 0.36 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 133325 0 0 0 19716 278 0 0 25 0 1 0 805779940 404910080 81209 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98855 81209 300 300 0 98555 0 vsize: 395420 [startup+210.014 s] Raw data (loadavg): 0.99 0.76 0.37 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 133754 0 0 0 20715 280 0 0 25 0 1 0 805779940 405700608 81441 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99048 81441 300 300 0 98748 0 vsize: 396192 [startup+220.014 s] Raw data (loadavg): 0.99 0.77 0.37 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 134188 0 0 0 21714 281 0 0 25 0 1 0 805779940 406753280 81680 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99305 81680 300 300 0 99005 0 vsize: 397220 [startup+230.015 s] Raw data (loadavg): 0.99 0.78 0.38 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 135121 0 0 0 22713 283 0 0 25 0 1 0 805779940 409661440 82188 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100015 82188 300 300 0 99715 0 vsize: 400060 [startup+240.016 s] Raw data (loadavg): 0.99 0.78 0.38 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 135310 0 0 0 23712 283 0 0 25 0 1 0 805779940 410456064 82311 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100209 82311 300 300 0 99909 0 vsize: 400836 [startup+250.015 s] Raw data (loadavg): 0.99 0.79 0.39 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 135535 0 0 0 24712 284 0 0 25 0 1 0 805779940 411787264 82536 4294967295 134512640 135726644 3221224592 3221223088 134743864 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100534 82536 300 300 0 100234 0 vsize: 402136 [startup+260.017 s] Raw data (loadavg): 0.99 0.80 0.40 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 135654 0 0 0 25712 285 0 0 25 0 1 0 805779940 412188672 82622 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100632 82622 300 300 0 100332 0 vsize: 402528 [startup+270.017 s] Raw data (loadavg): 0.99 0.80 0.40 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 135902 0 0 0 26711 285 0 0 25 0 1 0 805779940 412983296 82771 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100826 82771 300 300 0 100526 0 vsize: 403304 [startup+280.018 s] Raw data (loadavg): 0.99 0.81 0.41 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 136242 0 0 0 27710 287 0 0 25 0 1 0 805779940 414035968 82916 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101083 82916 300 300 0 100783 0 vsize: 404332 [startup+290.019 s] Raw data (loadavg): 0.99 0.81 0.41 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 137905 0 0 0 28706 291 0 0 25 0 1 0 805779940 414035968 82977 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 101083 82977 300 300 0 100783 0 vsize: 404332 [startup+300.019 s] Raw data (loadavg): 0.99 0.82 0.42 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 138113 0 0 0 29705 292 0 0 25 0 1 0 805779940 414564352 83087 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101212 83087 300 300 0 100912 0 vsize: 404848 [startup+310.019 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 138704 0 0 0 30704 294 0 0 25 0 1 0 805779940 416681984 83385 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101729 83385 300 300 0 101429 0 vsize: 406916 [startup+320.024 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 138861 0 0 0 31704 295 0 0 25 0 1 0 805779940 417423360 83526 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101910 83526 300 300 0 101610 0 vsize: 407640 [startup+330.025 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 140600 0 0 0 32700 299 0 0 25 0 1 0 805779940 417882112 83598 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102022 83598 300 300 0 101722 0 vsize: 408088 [startup+340.026 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 141061 0 0 0 33699 300 0 0 25 0 1 0 805779940 419196928 83766 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102343 83766 300 300 0 102043 0 vsize: 409372 [startup+350.026 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 141407 0 0 0 34698 302 0 0 25 0 1 0 805779940 420249600 83917 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102600 83917 300 300 0 102300 0 vsize: 410400 [startup+360.027 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 141424 0 0 0 35698 303 0 0 25 0 1 0 805779940 420249600 83934 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102600 83934 300 300 0 102300 0 vsize: 410400 [startup+370.027 s] Raw data (loadavg): 0.99 0.85 0.46 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143168 0 0 0 36694 307 0 0 25 0 1 0 805779940 420917248 84043 4294967295 134512640 135726644 3221224592 3221223216 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102763 84043 300 300 0 102463 0 vsize: 411052 [startup+380.027 s] Raw data (loadavg): 0.99 0.86 0.46 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143170 0 0 0 37693 308 0 0 25 0 1 0 805779940 420917248 84045 4294967295 134512640 135726644 3221224592 3221223264 134745001 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102763 84045 300 300 0 102463 0 vsize: 411052 [startup+390.028 s] Raw data (loadavg): 0.99 0.86 0.47 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143176 0 0 0 38693 308 0 0 25 0 1 0 805779940 420917248 84051 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102763 84051 300 300 0 102463 0 vsize: 411052 [startup+400.029 s] Raw data (loadavg): 0.99 0.87 0.47 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143193 0 0 0 39693 308 0 0 25 0 1 0 805779940 421064704 84068 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102799 84068 300 300 0 102499 0 vsize: 411196 [startup+410.029 s] Raw data (loadavg): 0.99 0.87 0.48 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143195 0 0 0 40693 309 0 0 25 0 1 0 805779940 421064704 84070 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102799 84070 300 300 0 102499 0 vsize: 411196 [startup+420.029 s] Raw data (loadavg): 0.99 0.87 0.48 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143218 0 0 0 41693 309 0 0 25 0 1 0 805779940 421064704 84093 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102799 84093 300 300 0 102499 0 vsize: 411196 [startup+430.03 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143257 0 0 0 42693 309 0 0 25 0 1 0 805779940 421199872 84132 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102832 84132 300 300 0 102532 0 vsize: 411328 [startup+440.03 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143273 0 0 0 43693 310 0 0 25 0 1 0 805779940 421199872 84148 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102832 84148 300 300 0 102532 0 vsize: 411328 [startup+450.031 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145394 0 0 0 44688 315 0 0 25 0 1 0 805779940 422780928 84406 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103218 84406 300 300 0 102918 0 vsize: 412872 [startup+460.032 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145433 0 0 0 45688 316 0 0 25 0 1 0 805779940 422916096 84445 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103251 84445 300 300 0 102951 0 vsize: 413004 [startup+470.034 s] Raw data (loadavg): 0.99 0.89 0.51 3/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145706 0 0 0 46687 317 0 0 25 0 1 0 805779940 423837696 84555 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103476 84555 300 300 0 103176 0 vsize: 413904 [startup+480.034 s] Raw data (loadavg): 0.99 0.89 0.51 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145787 0 0 0 47686 318 0 0 25 0 1 0 805779940 424099840 84571 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103540 84571 300 300 0 103240 0 vsize: 414160 [startup+490.035 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145790 0 0 0 48686 319 0 0 25 0 1 0 805779940 424099840 84574 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103540 84574 300 300 0 103240 0 vsize: 414160 [startup+500.036 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145793 0 0 0 49686 319 0 0 25 0 1 0 805779940 424099840 84577 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103540 84577 300 300 0 103240 0 vsize: 414160 [startup+510.037 s] Raw data (loadavg): 0.99 0.90 0.53 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 147401 0 0 0 50683 322 0 0 25 0 1 0 805779940 424099840 84583 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103540 84583 300 300 0 103240 0 vsize: 414160 [startup+520.037 s] Raw data (loadavg): 0.99 0.91 0.53 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 147408 0 0 0 51683 323 0 0 25 0 1 0 805779940 424099840 84590 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103540 84590 300 300 0 103240 0 vsize: 414160 [startup+530.038 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 147424 0 0 0 52683 323 0 0 25 0 1 0 805779940 424263680 84606 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103580 84606 300 300 0 103280 0 vsize: 414320 [startup+540.039 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 147466 0 0 0 53682 324 0 0 25 0 1 0 805779940 424427520 84648 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103620 84648 300 300 0 103320 0 vsize: 414480 [startup+550.04 s] Raw data (loadavg): 0.99 0.91 0.55 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 147469 0 0 0 54682 325 0 0 25 0 1 0 805779940 424427520 84651 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103620 84651 300 300 0 103320 0 vsize: 414480 [startup+560.04 s] Raw data (loadavg): 0.99 0.92 0.55 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 149072 0 0 0 55679 328 0 0 25 0 1 0 805779940 424427520 84652 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103620 84652 300 300 0 103320 0 vsize: 414480 [startup+570.042 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 149075 0 0 0 56679 329 0 0 25 0 1 0 805779940 424427520 84655 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103620 84655 300 300 0 103320 0 vsize: 414480 [startup+580.042 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 149119 0 0 0 57679 330 0 0 25 0 1 0 805779940 424591360 84699 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103660 84699 300 300 0 103360 0 vsize: 414640 [startup+590.042 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 149209 0 0 0 58678 331 0 0 25 0 1 0 805779940 424984576 84789 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103756 84789 300 300 0 103456 0 vsize: 415024 [startup+600.043 s] Raw data (loadavg): 0.99 0.92 0.57 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 149212 0 0 0 59677 331 0 0 25 0 1 0 805779940 424984576 84792 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103756 84792 300 300 0 103456 0 vsize: 415024 [startup+610.044 s] Raw data (loadavg): 0.99 0.93 0.57 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 150816 0 0 0 60673 336 0 0 25 0 1 0 805779940 424984576 84794 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103756 84794 300 300 0 103456 0 vsize: 415024 [startup+620.044 s] Raw data (loadavg): 0.99 0.93 0.57 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 150821 0 0 0 61672 337 0 0 25 0 1 0 805779940 424984576 84799 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103756 84799 300 300 0 103456 0 vsize: 415024 [startup+630.045 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 150825 0 0 0 62672 337 0 0 25 0 1 0 805779940 424984576 84803 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103756 84803 300 300 0 103456 0 vsize: 415024 [startup+640.045 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152454 0 0 0 63669 341 0 0 25 0 1 0 805779940 431681536 86432 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105391 86432 300 300 0 105091 0 vsize: 421564 [startup+650.045 s] Raw data (loadavg): 0.99 0.93 0.59 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152486 0 0 0 64669 341 0 0 25 0 1 0 805779940 425119744 84862 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103789 84862 300 300 0 103489 0 vsize: 415156 [startup+660.046 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152558 0 0 0 65669 342 0 0 25 0 1 0 805779940 425451520 84934 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103870 84934 300 300 0 103570 0 vsize: 415480 [startup+670.047 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152614 0 0 0 66669 343 0 0 25 0 1 0 805779940 425783296 84990 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103951 84990 300 300 0 103651 0 vsize: 415804 [startup+680.048 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152619 0 0 0 67669 343 0 0 25 0 1 0 805779940 425783296 84995 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103951 84995 300 300 0 103651 0 vsize: 415804 [startup+690.049 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152626 0 0 0 68669 343 0 0 25 0 1 0 805779940 425783296 85002 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103951 85002 300 300 0 103651 0 vsize: 415804 [startup+700.049 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 154232 0 0 0 69665 348 0 0 25 0 1 0 805779940 425783296 85006 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103951 85006 300 300 0 103651 0 vsize: 415804 [startup+710.05 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 154238 0 0 0 70665 348 0 0 25 0 1 0 805779940 425783296 85012 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103951 85012 300 300 0 103651 0 vsize: 415804 [startup+720.051 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 154243 0 0 0 71665 348 0 0 25 0 1 0 805779940 425783296 85017 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103951 85017 300 300 0 103651 0 vsize: 415804 [startup+730.052 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 155848 0 0 0 72661 352 0 0 25 0 1 0 805779940 425783296 85020 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 103951 85020 300 300 0 103651 0 vsize: 415804 [startup+740.052 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 155894 0 0 0 73661 353 0 0 25 0 1 0 805779940 426053632 85066 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104017 85066 300 300 0 103717 0 vsize: 416068 [startup+750.052 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 155897 0 0 0 74661 353 0 0 25 0 1 0 805779940 426053632 85069 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104017 85069 300 300 0 103717 0 vsize: 416068 [startup+760.052 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 155900 0 0 0 75661 353 0 0 25 0 1 0 805779940 426053632 85072 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104017 85072 300 300 0 103717 0 vsize: 416068 [startup+770.051 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 157505 0 0 0 76657 358 0 0 25 0 1 0 805779940 426053632 85075 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104017 85075 300 300 0 103717 0 vsize: 416068 [startup+780.052 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 157511 0 0 0 77657 358 0 0 25 0 1 0 805779940 426053632 85081 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104017 85081 300 300 0 103717 0 vsize: 416068 [startup+790.051 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 157519 0 0 0 78657 358 0 0 25 0 1 0 805779940 426053632 85089 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104017 85089 300 300 0 103717 0 vsize: 416068 [startup+800.051 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 159128 0 0 0 79654 362 0 0 25 0 1 0 805779940 426053632 85096 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104017 85096 300 300 0 103717 0 vsize: 416068 [startup+810.051 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 159132 0 0 0 80654 362 0 0 25 0 1 0 805779940 426053632 85100 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104017 85100 300 300 0 103717 0 vsize: 416068 [startup+820.051 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 160739 0 0 0 81650 367 0 0 25 0 1 0 805779940 426053632 85105 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104017 85105 300 300 0 103717 0 vsize: 416068 [startup+830.05 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 160761 0 0 0 82649 367 0 0 25 0 1 0 805779940 426188800 85127 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104050 85127 300 300 0 103750 0 vsize: 416200 [startup+840.05 s] Raw data (loadavg): 0.99 0.96 0.65 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 160784 0 0 0 83649 368 0 0 25 0 1 0 805779940 426323968 85150 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104083 85150 300 300 0 103783 0 vsize: 416332 [startup+850.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 160789 0 0 0 84649 368 0 0 25 0 1 0 805779940 426323968 85155 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104083 85155 300 300 0 103783 0 vsize: 416332 [startup+860.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 162486 0 0 0 85645 373 0 0 25 0 1 0 805779940 426864640 85250 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104215 85250 300 300 0 103915 0 vsize: 416860 [startup+870.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 162491 0 0 0 86645 373 0 0 25 0 1 0 805779940 426864640 85255 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104215 85255 300 300 0 103915 0 vsize: 416860 [startup+880.05 s] Raw data (loadavg): 0.99 0.96 0.67 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 162498 0 0 0 87644 374 0 0 25 0 1 0 805779940 426864640 85262 4294967295 134512640 135726644 3221224592 3221223088 134744369 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104215 85262 300 300 0 103915 0 vsize: 416860 [startup+890.05 s] Raw data (loadavg): 0.99 0.96 0.67 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 164175 0 0 0 88641 378 0 0 25 0 1 0 805779940 427393024 85337 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104344 85337 300 300 0 104044 0 vsize: 417376 [startup+900.05 s] Raw data (loadavg): 0.99 0.96 0.67 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 164178 0 0 0 89641 378 0 0 25 0 1 0 805779940 427393024 85340 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104344 85340 300 300 0 104044 0 vsize: 417376 [startup+910.05 s] Raw data (loadavg): 0.99 0.96 0.68 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 164182 0 0 0 90640 379 0 0 25 0 1 0 805779940 427393024 85344 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104344 85344 300 300 0 104044 0 vsize: 417376 [startup+920.051 s] Raw data (loadavg): 0.99 0.96 0.68 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 165787 0 0 0 91637 383 0 0 25 0 1 0 805779940 433954816 86949 4294967295 134512640 135726644 3221224592 3221222752 134765508 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105946 86949 300 300 0 105646 0 vsize: 423784 [startup+930.051 s] Raw data (loadavg): 0.99 0.96 0.68 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 165790 0 0 0 92636 384 0 0 25 0 1 0 805779940 427393024 85350 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104344 85350 300 300 0 104044 0 vsize: 417376 [startup+940.051 s] Raw data (loadavg): 0.99 0.97 0.68 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 165793 0 0 0 93636 384 0 0 25 0 1 0 805779940 427393024 85353 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104344 85353 300 300 0 104044 0 vsize: 417376 [startup+950.158 s] Raw data (loadavg): 0.99 0.97 0.69 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 167399 0 0 0 94643 388 0 0 25 0 1 0 805779940 433954816 86959 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 105946 86959 300 300 0 105646 0 vsize: 423784 [startup+960.427 s] Raw data (loadavg): 1.07 0.98 0.70 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 167411 0 0 0 95670 389 0 0 25 0 1 0 805779940 427393024 85369 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104344 85369 300 300 0 104044 0 vsize: 417376 [startup+970.428 s] Raw data (loadavg): 1.06 0.98 0.70 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 167414 0 0 0 96670 389 0 0 25 0 1 0 805779940 427393024 85372 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104344 85372 300 300 0 104044 0 vsize: 417376 [startup+980.429 s] Raw data (loadavg): 1.05 0.98 0.70 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 167418 0 0 0 97670 389 0 0 25 0 1 0 805779940 427393024 85376 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104344 85376 300 300 0 104044 0 vsize: 417376 [startup+990.43 s] Raw data (loadavg): 1.04 0.98 0.71 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 169020 0 0 0 98666 394 0 0 25 0 1 0 805779940 427393024 85376 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104344 85376 300 300 0 104044 0 vsize: 417376 [startup+1000.43 s] Raw data (loadavg): 1.04 0.98 0.71 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 169115 0 0 0 99666 394 0 0 25 0 1 0 805779940 427991040 85471 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104490 85471 300 300 0 104190 0 vsize: 417960 [startup+1010.43 s] Raw data (loadavg): 1.03 0.98 0.71 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 169157 0 0 0 100666 395 0 0 25 0 1 0 805779940 428126208 85513 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85513 300 300 0 104223 0 vsize: 418092 [startup+1020.43 s] Raw data (loadavg): 1.03 0.98 0.71 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 170765 0 0 0 101662 399 0 0 25 0 1 0 805779940 428126208 85519 4294967295 134512640 135726644 3221224592 3221223088 134744328 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85519 300 300 0 104223 0 vsize: 418092 [startup+1030.43 s] Raw data (loadavg): 1.02 0.98 0.72 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 170768 0 0 0 102661 399 0 0 25 0 1 0 805779940 428126208 85522 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85522 300 300 0 104223 0 vsize: 418092 [startup+1040.43 s] Raw data (loadavg): 1.02 0.98 0.72 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 170772 0 0 0 103661 400 0 0 25 0 1 0 805779940 428126208 85526 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85526 300 300 0 104223 0 vsize: 418092 [startup+1050.43 s] Raw data (loadavg): 1.01 0.98 0.72 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 170775 0 0 0 104661 400 0 0 25 0 1 0 805779940 428126208 85529 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85529 300 300 0 104223 0 vsize: 418092 [startup+1060.43 s] Raw data (loadavg): 1.01 0.98 0.73 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 172380 0 0 0 105654 404 0 0 25 0 1 0 805779940 428126208 85532 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85532 300 300 0 104223 0 vsize: 418092 [startup+1070.43 s] Raw data (loadavg): 1.01 0.98 0.73 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 172384 0 0 0 106653 405 0 0 25 0 1 0 805779940 428126208 85536 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85536 300 300 0 104223 0 vsize: 418092 [startup+1080.43 s] Raw data (loadavg): 1.01 0.98 0.73 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 172386 0 0 0 107653 406 0 0 25 0 1 0 805779940 428126208 85538 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85538 300 300 0 104223 0 vsize: 418092 [startup+1090.43 s] Raw data (loadavg): 1.01 0.98 0.73 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 173990 0 0 0 108649 410 0 0 25 0 1 0 805779940 428126208 85540 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85540 300 300 0 104223 0 vsize: 418092 [startup+1100.43 s] Raw data (loadavg): 1.00 0.98 0.73 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 173994 0 0 0 109649 411 0 0 25 0 1 0 805779940 428126208 85544 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85544 300 300 0 104223 0 vsize: 418092 [startup+1110.43 s] Raw data (loadavg): 1.00 0.98 0.74 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 173999 0 0 0 110648 412 0 0 25 0 1 0 805779940 428126208 85549 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85549 300 300 0 104223 0 vsize: 418092 [startup+1120.43 s] Raw data (loadavg): 1.00 0.98 0.74 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 174003 0 0 0 111648 412 0 0 25 0 1 0 805779940 428126208 85553 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85553 300 300 0 104223 0 vsize: 418092 [startup+1130.43 s] Raw data (loadavg): 1.00 0.98 0.74 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 174011 0 0 0 112648 413 0 0 25 0 1 0 805779940 428126208 85561 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85561 300 300 0 104223 0 vsize: 418092 [startup+1140.43 s] Raw data (loadavg): 1.00 0.98 0.74 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 175616 0 0 0 113644 417 0 0 25 0 1 0 805779940 434688000 87166 4294967295 134512640 135726644 3221224592 3221222768 134765581 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 106125 87166 300 300 0 105825 0 vsize: 424500 [startup+1150.43 s] Raw data (loadavg): 1.00 0.98 0.74 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 175617 0 0 0 114644 418 0 0 25 0 1 0 805779940 428126208 85565 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85565 300 300 0 104223 0 vsize: 418092 [startup+1160.43 s] Raw data (loadavg): 1.00 0.98 0.75 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 175627 0 0 0 115643 418 0 0 25 0 1 0 805779940 428126208 85575 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85575 300 300 0 104223 0 vsize: 418092 [startup+1170.43 s] Raw data (loadavg): 1.00 0.98 0.75 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 175631 0 0 0 116643 419 0 0 25 0 1 0 805779940 428126208 85579 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85579 300 300 0 104223 0 vsize: 418092 [startup+1180.43 s] Raw data (loadavg): 1.00 0.98 0.75 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 177236 0 0 0 117638 424 0 0 25 0 1 0 805779940 428126208 85582 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85582 300 300 0 104223 0 vsize: 418092 [startup+1190.43 s] Raw data (loadavg): 1.00 0.98 0.75 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 177240 0 0 0 118638 425 0 0 25 0 1 0 805779940 428126208 85586 4294967295 134512640 135726644 3221224592 3221223088 134743895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85586 300 300 0 104223 0 vsize: 418092 [startup+1200.43 s] Raw data (loadavg): 1.00 0.98 0.75 2/54 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 177249 0 0 0 119638 425 0 0 25 0 1 0 805779940 428126208 85595 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85595 300 300 0 104223 0 vsize: 418092 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.61 s] Raw data (loadavg): 1.00 0.98 0.75 1/53 1953 Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 177249 0 0 0 119638 425 0 0 25 0 1 0 805779940 428126208 85595 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 104523 85595 300 300 0 104223 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.61 CPU time (s): 1202.82 CPU user time (s): 1198.39 CPU system time (s): 4.42933 CPU usage (%): 100.017 Max. virtual memory (Kb): 424500 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####