Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb |
MD5SUM | 7731f50c352d2fd7b2fe148b68bfdbab |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 760 |
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 | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.06 |
Number of variables | 760 |
Total number of constraints | 41605 |
Number of constraints which are clauses | 41605 |
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 | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-28 11:27:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24253 boxname=wulflinc31 idbench=327 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 7731f50c352d2fd7b2fe148b68bfdbab /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-4.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-4.opb IDLAUNCH: 24253 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 874068 kB Buffers: 34628 kB Cached: 103312 kB SwapCached: 1052 kB Active: 80272 kB Inactive: 59828 kB HighTotal: 131008 kB HighFree: 27776 kB LowTotal: 903652 kB LowFree: 846292 kB SwapTotal: 2097892 kB SwapFree: 2095928 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5108 kB Slab: 14908 kB Committed_AS: 63808 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 11:47:54 (client local time) WITH STATUS 0 IN 1201.52 SECONDS stats: 24253 7 1201.52 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 142119/290714 Time: 41.6237/86400 Decision: 146173/290714 Time: 180.23/86400 Decision: 146542/290714 Time: 277.991/86400 Decision: 150597/290714 Time: 441.57/86400 Decision: 152819/290714 Time: 557.748/86400c [startup+1151.06 s] setting bit 9 to 0 s 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.85 0.97 0.92 2/55 18973 Raw data (stat): 18973 (runsolver) R 18972 29618 29617 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864420176 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.001 s] Raw data (loadavg): 0.87 0.97 0.92 2/55 18973 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 29251 0 0 0 930 68 0 0 25 0 1 0 864420176 88596480 18347 4294967295 134512640 135726644 3221224592 3221186568 134784091 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21630 18347 300 300 0 21330 0 vsize: 86520 [startup+20.0017 s] Raw data (loadavg): 0.89 0.97 0.92 2/55 18973 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 50067 0 0 0 1888 111 0 0 25 0 1 0 864420176 152027136 27767 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 37116 27767 300 300 0 36816 0 vsize: 148464 [startup+30.0015 s] Raw data (loadavg): 0.91 0.97 0.92 2/55 18973 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 51450 0 0 0 2886 113 0 0 25 0 1 0 864420176 158162944 28787 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38614 28787 300 300 0 38314 0 vsize: 154456 [startup+40.0029 s] Raw data (loadavg): 0.92 0.97 0.92 2/55 18973 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 53221 0 0 0 3882 117 0 0 25 0 1 0 864420176 163753984 29865 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39979 29865 300 300 0 39679 0 vsize: 159916 [startup+50.0034 s] Raw data (loadavg): 0.93 0.97 0.92 2/55 18975 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 54138 0 0 0 4880 119 0 0 25 0 1 0 864420176 183259136 30485 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44741 30485 300 300 0 44441 0 vsize: 178964 [startup+60.0034 s] Raw data (loadavg): 0.94 0.97 0.92 2/55 18975 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 55199 0 0 0 5877 122 0 0 25 0 1 0 864420176 185319424 30847 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45244 30847 300 300 0 44944 0 vsize: 180976 [startup+70.0046 s] Raw data (loadavg): 0.95 0.97 0.92 2/55 18975 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 55736 0 0 0 6876 124 0 0 25 0 1 0 864420176 188018688 31318 4294967295 134512640 135726644 3221224592 3221223216 134744488 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45903 31318 300 300 0 45603 0 vsize: 183612 [startup+80.0052 s] Raw data (loadavg): 0.96 0.97 0.92 2/55 18975 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56433 0 0 0 7874 125 0 0 25 0 1 0 864420176 191332352 31933 4294967295 134512640 135726644 3221224592 3221222840 135281758 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46712 31933 300 300 0 46412 0 vsize: 186848 [startup+90.0061 s] Raw data (loadavg): 0.96 0.97 0.92 2/55 18975 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56587 0 0 0 8874 125 0 0 25 0 1 0 864420176 191860736 32022 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46841 32022 300 300 0 46541 0 vsize: 187364 [startup+100.006 s] Raw data (loadavg): 0.97 0.97 0.92 2/55 18975 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56600 0 0 0 9874 125 0 0 25 0 1 0 864420176 191860736 32035 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46841 32035 300 300 0 46541 0 vsize: 187364 [startup+110.006 s] Raw data (loadavg): 0.97 0.97 0.92 2/55 18977 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56611 0 0 0 10874 126 0 0 25 0 1 0 864420176 191860736 32046 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46841 32046 300 300 0 46541 0 vsize: 187364 [startup+120.007 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 18977 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56728 0 0 0 11874 126 0 0 25 0 1 0 864420176 192393216 32130 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46971 32130 300 300 0 46671 0 vsize: 187884 [startup+130.007 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 18977 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56738 0 0 0 12874 126 0 0 25 0 1 0 864420176 192393216 32140 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46971 32140 300 300 0 46671 0 vsize: 187884 [startup+140.008 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 18977 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56745 0 0 0 13874 126 0 0 25 0 1 0 864420176 192393216 32147 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46971 32147 300 300 0 46671 0 vsize: 187884 [startup+150.009 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 18977 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56751 0 0 0 14875 126 0 0 25 0 1 0 864420176 192393216 32153 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46971 32153 300 300 0 46671 0 vsize: 187884 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18977 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56762 0 0 0 15875 126 0 0 25 0 1 0 864420176 192393216 32164 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46971 32164 300 300 0 46671 0 vsize: 187884 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18979 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56770 0 0 0 16875 127 0 0 25 0 1 0 864420176 192393216 32172 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46971 32172 300 300 0 46671 0 vsize: 187884 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18979 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56778 0 0 0 17875 127 0 0 25 0 1 0 864420176 192393216 32180 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46971 32180 300 300 0 46671 0 vsize: 187884 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18979 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 56785 0 0 0 18875 127 0 0 25 0 1 0 864420176 192393216 32187 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46971 32187 300 300 0 46671 0 vsize: 187884 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18979 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 57465 0 0 0 19873 129 0 0 25 0 1 0 864420176 192851968 32234 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47083 32234 300 300 0 46783 0 vsize: 188332 [startup+210.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18979 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 57957 0 0 0 20872 130 0 0 25 0 1 0 864420176 194715648 32529 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47538 32529 300 300 0 47238 0 vsize: 190152 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18979 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 58331 0 0 0 21871 131 0 0 25 0 1 0 864420176 196177920 32804 4294967295 134512640 135726644 3221224592 3221223280 134744876 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47895 32804 300 300 0 47595 0 vsize: 191580 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18981 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 59258 0 0 0 22869 133 0 0 25 0 1 0 864420176 199229440 33468 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48640 33468 300 300 0 48340 0 vsize: 194560 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18981 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 59269 0 0 0 23869 133 0 0 25 0 1 0 864420176 199229440 33479 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48640 33479 300 300 0 48340 0 vsize: 194560 [startup+250.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18981 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 59547 0 0 0 24868 134 0 0 25 0 1 0 864420176 200015872 33563 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48832 33563 300 300 0 48532 0 vsize: 195328 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18981 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 59555 0 0 0 25868 134 0 0 25 0 1 0 864420176 200015872 33571 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48832 33571 300 300 0 48532 0 vsize: 195328 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18981 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 59576 0 0 0 26869 134 0 0 25 0 1 0 864420176 200015872 33592 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48832 33592 300 300 0 48532 0 vsize: 195328 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18981 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 59581 0 0 0 27869 134 0 0 25 0 1 0 864420176 200015872 33597 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48832 33597 300 300 0 48532 0 vsize: 195328 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18983 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 59590 0 0 0 28868 135 0 0 25 0 1 0 864420176 200015872 33606 4294967295 134512640 135726644 3221224592 3221223072 134729216 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48832 33606 300 300 0 48532 0 vsize: 195328 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18983 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60276 0 0 0 29867 137 0 0 25 0 1 0 864420176 200278016 33659 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 48896 33659 300 300 0 48596 0 vsize: 195584 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18983 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60285 0 0 0 30866 137 0 0 25 0 1 0 864420176 200278016 33668 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33668 300 300 0 48596 0 vsize: 195584 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18983 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60291 0 0 0 31866 137 0 0 25 0 1 0 864420176 200278016 33674 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33674 300 300 0 48596 0 vsize: 195584 [startup+330.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18983 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60304 0 0 0 32866 137 0 0 25 0 1 0 864420176 200278016 33687 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33687 300 300 0 48596 0 vsize: 195584 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18983 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60310 0 0 0 33867 137 0 0 25 0 1 0 864420176 200278016 33693 4294967295 134512640 135726644 3221224592 3221223280 134744982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33693 300 300 0 48596 0 vsize: 195584 [startup+350.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18985 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60317 0 0 0 34866 138 0 0 25 0 1 0 864420176 200278016 33700 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33700 300 300 0 48596 0 vsize: 195584 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18985 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60325 0 0 0 35866 138 0 0 25 0 1 0 864420176 200278016 33708 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33708 300 300 0 48596 0 vsize: 195584 [startup+370.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18985 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60332 0 0 0 36867 138 0 0 25 0 1 0 864420176 200278016 33715 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33715 300 300 0 48596 0 vsize: 195584 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18985 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60338 0 0 0 37867 138 0 0 25 0 1 0 864420176 200278016 33721 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33721 300 300 0 48596 0 vsize: 195584 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18985 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60345 0 0 0 38867 138 0 0 25 0 1 0 864420176 200278016 33728 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33728 300 300 0 48596 0 vsize: 195584 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18985 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60353 0 0 0 39867 138 0 0 25 0 1 0 864420176 200278016 33736 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33736 300 300 0 48596 0 vsize: 195584 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18987 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60361 0 0 0 40867 138 0 0 25 0 1 0 864420176 200278016 33744 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33744 300 300 0 48596 0 vsize: 195584 [startup+420.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18987 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60368 0 0 0 41867 139 0 0 25 0 1 0 864420176 200278016 33751 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33751 300 300 0 48596 0 vsize: 195584 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18987 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60376 0 0 0 42867 139 0 0 25 0 1 0 864420176 200278016 33759 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33759 300 300 0 48596 0 vsize: 195584 [startup+440.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18987 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60388 0 0 0 43867 139 0 0 25 0 1 0 864420176 200278016 33771 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33771 300 300 0 48596 0 vsize: 195584 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18987 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60393 0 0 0 44867 139 0 0 25 0 1 0 864420176 200278016 33776 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33776 300 300 0 48596 0 vsize: 195584 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18987 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60968 0 0 0 45865 141 0 0 25 0 1 0 864420176 200278016 33783 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 48896 33783 300 300 0 48596 0 vsize: 195584 [startup+470.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18989 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60978 0 0 0 46865 141 0 0 25 0 1 0 864420176 200278016 33793 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33793 300 300 0 48596 0 vsize: 195584 [startup+480.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18989 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60988 0 0 0 47865 141 0 0 25 0 1 0 864420176 200278016 33803 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33803 300 300 0 48596 0 vsize: 195584 [startup+490.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18989 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 60996 0 0 0 48865 141 0 0 25 0 1 0 864420176 200278016 33811 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33811 300 300 0 48596 0 vsize: 195584 [startup+500.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18989 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61002 0 0 0 49865 141 0 0 25 0 1 0 864420176 200278016 33817 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33817 300 300 0 48596 0 vsize: 195584 [startup+510.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18989 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61009 0 0 0 50865 142 0 0 25 0 1 0 864420176 200278016 33824 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33824 300 300 0 48596 0 vsize: 195584 [startup+520.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18989 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61016 0 0 0 51865 142 0 0 25 0 1 0 864420176 200278016 33831 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33831 300 300 0 48596 0 vsize: 195584 [startup+530.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18991 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61023 0 0 0 52865 142 0 0 25 0 1 0 864420176 200278016 33838 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33838 300 300 0 48596 0 vsize: 195584 [startup+540.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18991 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61031 0 0 0 53865 142 0 0 25 0 1 0 864420176 200278016 33846 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33846 300 300 0 48596 0 vsize: 195584 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18991 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61038 0 0 0 54865 142 0 0 25 0 1 0 864420176 200278016 33853 4294967295 134512640 135726644 3221224592 3221223248 134745082 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33853 300 300 0 48596 0 vsize: 195584 [startup+560.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18991 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61045 0 0 0 55866 142 0 0 25 0 1 0 864420176 200278016 33860 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33860 300 300 0 48596 0 vsize: 195584 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18991 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61051 0 0 0 56865 142 0 0 25 0 1 0 864420176 200278016 33866 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48896 33866 300 300 0 48596 0 vsize: 195584 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18991 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61862 0 0 0 57863 144 0 0 25 0 1 0 864420176 201338880 34044 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49155 34044 300 300 0 48855 0 vsize: 196620 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18993 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61971 0 0 0 58863 145 0 0 25 0 1 0 864420176 201875456 34153 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34153 300 300 0 48986 0 vsize: 197144 [startup+600.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18993 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61978 0 0 0 59863 145 0 0 25 0 1 0 864420176 201875456 34160 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34160 300 300 0 48986 0 vsize: 197144 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18993 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61986 0 0 0 60863 145 0 0 25 0 1 0 864420176 201875456 34168 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34168 300 300 0 48986 0 vsize: 197144 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18993 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61992 0 0 0 61863 145 0 0 25 0 1 0 864420176 201875456 34174 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34174 300 300 0 48986 0 vsize: 197144 [startup+630.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18993 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 61999 0 0 0 62863 145 0 0 25 0 1 0 864420176 201875456 34181 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34181 300 300 0 48986 0 vsize: 197144 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18993 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62005 0 0 0 63863 145 0 0 25 0 1 0 864420176 201875456 34187 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34187 300 300 0 48986 0 vsize: 197144 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18995 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62013 0 0 0 64863 145 0 0 25 0 1 0 864420176 201875456 34195 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34195 300 300 0 48986 0 vsize: 197144 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18995 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62020 0 0 0 65863 145 0 0 25 0 1 0 864420176 201875456 34202 4294967295 134512640 135726644 3221224592 3221223088 134744325 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34202 300 300 0 48986 0 vsize: 197144 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18995 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62029 0 0 0 66864 145 0 0 25 0 1 0 864420176 201875456 34211 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34211 300 300 0 48986 0 vsize: 197144 [startup+680.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18995 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62036 0 0 0 67863 146 0 0 25 0 1 0 864420176 201875456 34218 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34218 300 300 0 48986 0 vsize: 197144 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18995 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62045 0 0 0 68864 146 0 0 25 0 1 0 864420176 201875456 34227 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34227 300 300 0 48986 0 vsize: 197144 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18995 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62051 0 0 0 69864 146 0 0 25 0 1 0 864420176 201875456 34233 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34233 300 300 0 48986 0 vsize: 197144 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18997 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62059 0 0 0 70864 146 0 0 25 0 1 0 864420176 201875456 34241 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34241 300 300 0 48986 0 vsize: 197144 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18997 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62067 0 0 0 71864 146 0 0 25 0 1 0 864420176 201875456 34249 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34249 300 300 0 48986 0 vsize: 197144 [startup+730.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18997 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62074 0 0 0 72864 146 0 0 25 0 1 0 864420176 201875456 34256 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34256 300 300 0 48986 0 vsize: 197144 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18997 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62084 0 0 0 73864 146 0 0 25 0 1 0 864420176 201875456 34266 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34266 300 300 0 48986 0 vsize: 197144 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18997 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62091 0 0 0 74864 146 0 0 25 0 1 0 864420176 201875456 34273 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34273 300 300 0 48986 0 vsize: 197144 [startup+760.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18997 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62099 0 0 0 75864 146 0 0 25 0 1 0 864420176 201875456 34281 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34281 300 300 0 48986 0 vsize: 197144 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18999 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62106 0 0 0 76864 147 0 0 25 0 1 0 864420176 201875456 34288 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34288 300 300 0 48986 0 vsize: 197144 [startup+780.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18999 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62115 0 0 0 77864 147 0 0 25 0 1 0 864420176 201875456 34297 4294967295 134512640 135726644 3221224592 3221222840 135280714 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34297 300 300 0 48986 0 vsize: 197144 [startup+790.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18999 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62125 0 0 0 78864 147 0 0 25 0 1 0 864420176 201875456 34307 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34307 300 300 0 48986 0 vsize: 197144 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18999 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62132 0 0 0 79864 147 0 0 25 0 1 0 864420176 201875456 34314 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34314 300 300 0 48986 0 vsize: 197144 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18999 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62141 0 0 0 80864 148 0 0 25 0 1 0 864420176 201875456 34323 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34323 300 300 0 48986 0 vsize: 197144 [startup+820.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 18999 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62147 0 0 0 81864 148 0 0 25 0 1 0 864420176 201875456 34329 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34329 300 300 0 48986 0 vsize: 197144 [startup+830.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19001 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62155 0 0 0 82864 148 0 0 25 0 1 0 864420176 201875456 34337 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34337 300 300 0 48986 0 vsize: 197144 [startup+840.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19001 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62161 0 0 0 83864 148 0 0 25 0 1 0 864420176 201875456 34343 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34343 300 300 0 48986 0 vsize: 197144 [startup+850.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19001 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62169 0 0 0 84864 148 0 0 25 0 1 0 864420176 201875456 34351 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34351 300 300 0 48986 0 vsize: 197144 [startup+860.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19001 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62177 0 0 0 85864 149 0 0 25 0 1 0 864420176 201875456 34359 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34359 300 300 0 48986 0 vsize: 197144 [startup+870.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19001 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62185 0 0 0 86864 149 0 0 25 0 1 0 864420176 201875456 34367 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34367 300 300 0 48986 0 vsize: 197144 [startup+880.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19001 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62193 0 0 0 87864 149 0 0 25 0 1 0 864420176 201875456 34375 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34375 300 300 0 48986 0 vsize: 197144 [startup+890.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19003 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62199 0 0 0 88864 149 0 0 25 0 1 0 864420176 201875456 34381 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34381 300 300 0 48986 0 vsize: 197144 [startup+900.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19003 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62207 0 0 0 89864 149 0 0 25 0 1 0 864420176 201875456 34389 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34389 300 300 0 48986 0 vsize: 197144 [startup+910.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19003 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62216 0 0 0 90864 149 0 0 25 0 1 0 864420176 201875456 34398 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34398 300 300 0 48986 0 vsize: 197144 [startup+920.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19003 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62224 0 0 0 91864 149 0 0 25 0 1 0 864420176 201875456 34406 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34406 300 300 0 48986 0 vsize: 197144 [startup+930.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19003 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62231 0 0 0 92864 149 0 0 25 0 1 0 864420176 201875456 34413 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34413 300 300 0 48986 0 vsize: 197144 [startup+940.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19003 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62240 0 0 0 93864 149 0 0 25 0 1 0 864420176 201875456 34422 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34422 300 300 0 48986 0 vsize: 197144 [startup+950.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19005 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62249 0 0 0 94864 149 0 0 25 0 1 0 864420176 201875456 34431 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34431 300 300 0 48986 0 vsize: 197144 [startup+960.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19005 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62256 0 0 0 95864 150 0 0 25 0 1 0 864420176 201875456 34438 4294967295 134512640 135726644 3221224592 3221222912 134728931 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34438 300 300 0 48986 0 vsize: 197144 [startup+970.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19005 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62264 0 0 0 96865 150 0 0 25 0 1 0 864420176 201875456 34446 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34446 300 300 0 48986 0 vsize: 197144 [startup+980.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19005 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62272 0 0 0 97864 150 0 0 25 0 1 0 864420176 201875456 34454 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34454 300 300 0 48986 0 vsize: 197144 [startup+990.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19005 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62279 0 0 0 98865 150 0 0 25 0 1 0 864420176 201875456 34461 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34461 300 300 0 48986 0 vsize: 197144 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19005 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62287 0 0 0 99865 150 0 0 25 0 1 0 864420176 201875456 34469 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34469 300 300 0 48986 0 vsize: 197144 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19007 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62295 0 0 0 100865 150 0 0 25 0 1 0 864420176 201875456 34477 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34477 300 300 0 48986 0 vsize: 197144 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19007 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62303 0 0 0 101865 150 0 0 25 0 1 0 864420176 201875456 34485 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34485 300 300 0 48986 0 vsize: 197144 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19007 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62311 0 0 0 102865 150 0 0 25 0 1 0 864420176 201875456 34493 4294967295 134512640 135726644 3221224592 3221223088 134743913 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34493 300 300 0 48986 0 vsize: 197144 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19007 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62321 0 0 0 103865 150 0 0 25 0 1 0 864420176 201875456 34503 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34503 300 300 0 48986 0 vsize: 197144 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19007 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62327 0 0 0 104865 150 0 0 25 0 1 0 864420176 201875456 34509 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34509 300 300 0 48986 0 vsize: 197144 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19007 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62336 0 0 0 105865 151 0 0 25 0 1 0 864420176 201875456 34518 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34518 300 300 0 48986 0 vsize: 197144 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19009 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62344 0 0 0 106866 151 0 0 25 0 1 0 864420176 201875456 34526 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34526 300 300 0 48986 0 vsize: 197144 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19009 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62352 0 0 0 107866 151 0 0 25 0 1 0 864420176 201875456 34534 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34534 300 300 0 48986 0 vsize: 197144 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19009 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62360 0 0 0 108866 151 0 0 25 0 1 0 864420176 201875456 34542 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34542 300 300 0 48986 0 vsize: 197144 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19009 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62370 0 0 0 109866 151 0 0 25 0 1 0 864420176 201875456 34552 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34552 300 300 0 48986 0 vsize: 197144 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19009 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62377 0 0 0 110866 151 0 0 25 0 1 0 864420176 201875456 34559 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34559 300 300 0 48986 0 vsize: 197144 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19009 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62384 0 0 0 111866 151 0 0 25 0 1 0 864420176 201875456 34566 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34566 300 300 0 48986 0 vsize: 197144 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19011 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62392 0 0 0 112866 151 0 0 25 0 1 0 864420176 201875456 34574 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34574 300 300 0 48986 0 vsize: 197144 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19011 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62400 0 0 0 113866 151 0 0 25 0 1 0 864420176 201875456 34582 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49286 34582 300 300 0 48986 0 vsize: 197144 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19011 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 62670 0 0 0 114866 152 0 0 25 0 1 0 864420176 203976704 34852 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49799 34852 300 300 0 49499 0 vsize: 199196 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19011 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 63273 0 0 0 115863 154 0 0 25 0 1 0 864420176 203976704 34887 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49799 34887 300 300 0 49499 0 vsize: 199196 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19011 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 63308 0 0 0 116862 154 0 0 25 0 1 0 864420176 203976704 34922 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49799 34922 300 300 0 49499 0 vsize: 199196 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19011 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 63333 0 0 0 117862 154 0 0 25 0 1 0 864420176 203976704 34947 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49799 34947 300 300 0 49499 0 vsize: 199196 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19013 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 63360 0 0 0 118862 155 0 0 25 0 1 0 864420176 203976704 34974 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49799 34974 300 300 0 49499 0 vsize: 199196 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 19013 Raw data (stat): 18973 (pb2sat) R 18972 29618 29617 0 -1 0 63416 0 0 0 119862 155 0 0 25 0 1 0 864420176 203976704 35030 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49799 35030 300 300 0 49499 0 vsize: 199196 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.39 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 19013 Raw data (stat): 18973 (pb2sat) Z 18972 29618 29617 0 -1 12 63417 0 0 0 119989 162 0 0 25 0 1 0 864420176 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: 0 Real time (s): 1201.39 CPU time (s): 1201.52 CPU user time (s): 1199.9 CPU system time (s): 1.62675 CPU usage (%): 100.012 Max. virtual memory (Kb): 199196 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####