Name | normalized-opb/submitted/manquinho/ttp/normalized-data4_3.opb |
MD5SUM | c35974bed5d553709b7d7ce92d35093a |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8276 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 929 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 25088 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 929 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 25088 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.784879 |
Number of variables | 144 |
Total number of constraints | 704 |
Number of constraints which are clauses | 464 |
Number of constraints which are cardinality constraints (but not clauses) | 96 |
Number of constraints which are nor clauses,nor cardinality constraints | 144 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 12 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-05-28 11:11:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24187 boxname=wulflinc21 idbench=261 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c35974bed5d553709b7d7ce92d35093a /oldhome/oroussel/tmp/wulflinc21/normalized-data4_3.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc21/normalized-data4_3.opb IDLAUNCH: 24187 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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: 866652 kB Buffers: 32672 kB Cached: 112232 kB SwapCached: 956 kB Active: 49932 kB Inactive: 97156 kB HighTotal: 131008 kB HighFree: 16072 kB LowTotal: 903652 kB LowFree: 850580 kB SwapTotal: 2097892 kB SwapFree: 2096012 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5136 kB Slab: 15188 kB Committed_AS: 63908 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 11:31:28 (client local time) WITH STATUS 10 IN 1200.47 SECONDS stats: 24187 0 1200.47 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: 8638 c [startup+8.13207 s] setting bit 14 to 1 c CONFLICT during preprocess c [startup+8.55562 s] setting bit 13 to 0 c [startup+29.506 s] setting bit 12 to 0 Decision: 15304/99344 Time: 71.9351/86400 Decision: 17750/99344 Time: 137.166/86400c [startup+205.589 s] setting bit 11 to 0 Decision: 15265/99344 Time: 149.352/86400 Decision: 15265/99344 Time: 183.514/86400 Decision: 15265/99344 Time: 222.801/86400 Decision: 15265/99344 Time: 258.264/86400 Decision: 15265/99344 Time: 296.235/86400 Decision: 15265/99344 Time: 336.347/86400 Decision: 17723/99344 Time: 379.497/86400 Decision: 17723/99344 Time: 422.09/86400 Decision: 17723/99344 Time: 461.208/86400 Decision: 17723/99344 Time: 501.12/86400c [startup+742.94 s] setting bit 10 to 0 c [startup+1093.73 s] setting bit 9 to 0 c got solution with objective value: 8392 c [startup+1095.68 s] setting bit 8 to 1 c got solution with objective value: 8276 c [startup+1112.56 s] setting bit 7 to 1 s SATISFIABLE v -v1 v10 -v100 v101 -v102 v103 -v104 -v105 -v106 v107 -v108 v109 -v11 -v110 -v111 -v112 -v113 v114 v115 -v116 -v117 -v118 -v119 -v12 v120 -v121 v122 -v123 -v124 -v125 v126 v127 v128 -v129 -v13 -v130 -v131 v132 -v133 v134 -v135 -v136 -v137 v138 -v139 -v14 v140 -v141 v142 -v143 -v144 -v15 v16 -v17 v18 -v19 -v2 -v20 -v21 v22 -v23 -v24 -v25 -v26 -v27 v28 -v29 -v3 -v30 -v31 v32 -v33 -v34 v35 -v36 -v37 -v38 -v39 v4 v40 -v41 -v42 v43 -v44 -v45 -v46 -v47 v48 v49 -v5 -v50 -v51 -v52 -v53 -v54 v55 -v56 -v57 -v58 v59 v6 -v60 v61 -v62 -v63 -v64 v65 -v66 -v67 -v68 v69 -v7 -v70 -v71 -v72 -v73 -v74 v75 -v76 -v77 -v78 v79 -v8 -v80 v81 -v82 -v83 -v84 -v85 v86 -v87 -v88 v89 -v9 -v90 -v91 -v92 -v93 v94 -v95 -v96 -v97 -v98 v99 #### 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.72 0.91 0.89 2/55 12955 Raw data (stat): 12955 (runsolver) R 12954 32363 32362 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 741607310 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.0009 s] Raw data (loadavg): 0.76 0.91 0.89 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 15268 0 0 0 962 36 0 0 25 0 1 0 741607310 47333376 9096 4294967295 134512640 135726644 3221224592 3221223088 134744283 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11556 9096 300 300 0 11256 0 vsize: 46224 [startup+20.0014 s] Raw data (loadavg): 0.80 0.91 0.89 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 15470 0 0 0 1962 36 0 0 25 0 1 0 741607310 48267264 9298 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11784 9298 300 300 0 11484 0 vsize: 47136 [startup+30.0021 s] Raw data (loadavg): 0.83 0.91 0.89 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 15824 0 0 0 2962 36 0 0 25 0 1 0 741607310 49065984 9457 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11979 9457 300 300 0 11679 0 vsize: 47916 [startup+40.0017 s] Raw data (loadavg): 0.86 0.92 0.89 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 15832 0 0 0 3961 37 0 0 25 0 1 0 741607310 49065984 9465 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9465 300 300 0 11679 0 vsize: 47916 [startup+50.0014 s] Raw data (loadavg): 0.88 0.92 0.89 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 15842 0 0 0 4962 37 0 0 25 0 1 0 741607310 49065984 9475 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9475 300 300 0 11679 0 vsize: 47916 [startup+60.0014 s] Raw data (loadavg): 0.90 0.92 0.90 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 15849 0 0 0 5962 37 0 0 25 0 1 0 741607310 49065984 9482 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9482 300 300 0 11679 0 vsize: 47916 [startup+70.0017 s] Raw data (loadavg): 0.91 0.92 0.90 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 15853 0 0 0 6962 37 0 0 25 0 1 0 741607310 49065984 9486 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9486 300 300 0 11679 0 vsize: 47916 [startup+80.0024 s] Raw data (loadavg): 0.92 0.92 0.90 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 15857 0 0 0 7962 37 0 0 25 0 1 0 741607310 49065984 9490 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9490 300 300 0 11679 0 vsize: 47916 [startup+90.0021 s] Raw data (loadavg): 0.94 0.93 0.90 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 15864 0 0 0 8962 37 0 0 25 0 1 0 741607310 49065984 9497 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9497 300 300 0 11679 0 vsize: 47916 [startup+100.002 s] Raw data (loadavg): 0.94 0.93 0.90 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 15869 0 0 0 9962 37 0 0 25 0 1 0 741607310 49065984 9502 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9502 300 300 0 11679 0 vsize: 47916 [startup+110.002 s] Raw data (loadavg): 0.95 0.93 0.90 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16065 0 0 0 10961 38 0 0 25 0 1 0 741607310 49065984 9503 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9503 300 300 0 11679 0 vsize: 47916 [startup+120.005 s] Raw data (loadavg): 0.96 0.93 0.90 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16067 0 0 0 11961 38 0 0 25 0 1 0 741607310 49065984 9505 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9505 300 300 0 11679 0 vsize: 47916 [startup+130.006 s] Raw data (loadavg): 0.97 0.93 0.90 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16070 0 0 0 12962 38 0 0 25 0 1 0 741607310 49065984 9508 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9508 300 300 0 11679 0 vsize: 47916 [startup+140.005 s] Raw data (loadavg): 0.97 0.94 0.90 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16075 0 0 0 13962 38 0 0 25 0 1 0 741607310 49065984 9513 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9513 300 300 0 11679 0 vsize: 47916 [startup+150.005 s] Raw data (loadavg): 0.97 0.94 0.90 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16087 0 0 0 14962 38 0 0 25 0 1 0 741607310 49065984 9525 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9525 300 300 0 11679 0 vsize: 47916 [startup+160.005 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16094 0 0 0 15962 38 0 0 25 0 1 0 741607310 49065984 9532 4294967295 134512640 135726644 3221224592 3221223088 134743872 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9532 300 300 0 11679 0 vsize: 47916 [startup+170.005 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16308 0 0 0 16961 39 0 0 25 0 1 0 741607310 49065984 9551 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9551 300 300 0 11679 0 vsize: 47916 [startup+180.004 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16319 0 0 0 17962 39 0 0 25 0 1 0 741607310 49065984 9562 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9562 300 300 0 11679 0 vsize: 47916 [startup+190.005 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16329 0 0 0 18962 39 0 0 25 0 1 0 741607310 49065984 9572 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9572 300 300 0 11679 0 vsize: 47916 [startup+200.005 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16340 0 0 0 19962 39 0 0 25 0 1 0 741607310 49065984 9583 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9583 300 300 0 11679 0 vsize: 47916 [startup+210.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16546 0 0 0 20961 39 0 0 25 0 1 0 741607310 49065984 9594 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9594 300 300 0 11679 0 vsize: 47916 [startup+220.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16550 0 0 0 21961 40 0 0 25 0 1 0 741607310 49065984 9598 4294967295 134512640 135726644 3221224592 3221223184 134760562 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9598 300 300 0 11679 0 vsize: 47916 [startup+230.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16556 0 0 0 22962 40 0 0 25 0 1 0 741607310 49065984 9604 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9604 300 300 0 11679 0 vsize: 47916 [startup+240.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16563 0 0 0 23962 40 0 0 25 0 1 0 741607310 49065984 9611 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11979 9611 300 300 0 11679 0 vsize: 47916 [startup+250.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16593 0 0 0 24962 40 0 0 25 0 1 0 741607310 49201152 9641 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12012 9641 300 300 0 11712 0 vsize: 48048 [startup+260.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16603 0 0 0 25962 40 0 0 25 0 1 0 741607310 49201152 9651 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12012 9651 300 300 0 11712 0 vsize: 48048 [startup+270.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16685 0 0 0 26962 40 0 0 25 0 1 0 741607310 49463296 9667 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12076 9667 300 300 0 11776 0 vsize: 48304 [startup+280.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16690 0 0 0 27962 40 0 0 25 0 1 0 741607310 49463296 9672 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12076 9672 300 300 0 11776 0 vsize: 48304 [startup+290.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16694 0 0 0 28962 40 0 0 25 0 1 0 741607310 49463296 9676 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12076 9676 300 300 0 11776 0 vsize: 48304 [startup+300.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16699 0 0 0 29962 40 0 0 25 0 1 0 741607310 49463296 9681 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12076 9681 300 300 0 11776 0 vsize: 48304 [startup+310.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16705 0 0 0 30962 40 0 0 25 0 1 0 741607310 49463296 9687 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12076 9687 300 300 0 11776 0 vsize: 48304 [startup+320.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16762 0 0 0 31962 41 0 0 25 0 1 0 741607310 49598464 9744 4294967295 134512640 135726644 3221224592 3221223236 134744476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12109 9744 300 300 0 11809 0 vsize: 48436 [startup+330.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16813 0 0 0 32962 41 0 0 25 0 1 0 741607310 49729536 9762 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12141 9762 300 300 0 11841 0 vsize: 48564 [startup+340.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16818 0 0 0 33962 41 0 0 25 0 1 0 741607310 49729536 9767 4294967295 134512640 135726644 3221224592 3221223200 134744653 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12141 9767 300 300 0 11841 0 vsize: 48564 [startup+350.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 16822 0 0 0 34962 41 0 0 25 0 1 0 741607310 49729536 9771 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12141 9771 300 300 0 11841 0 vsize: 48564 [startup+360.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17061 0 0 0 35961 42 0 0 25 0 1 0 741607310 49860608 9782 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12173 9782 300 300 0 11873 0 vsize: 48692 [startup+370.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17062 0 0 0 36961 42 0 0 25 0 1 0 741607310 49860608 9783 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12173 9783 300 300 0 11873 0 vsize: 48692 [startup+380.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17063 0 0 0 37961 42 0 0 25 0 1 0 741607310 49860608 9784 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12173 9784 300 300 0 11873 0 vsize: 48692 [startup+390.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17260 0 0 0 38960 43 0 0 25 0 1 0 741607310 49860608 9786 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12173 9786 300 300 0 11873 0 vsize: 48692 [startup+400.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17261 0 0 0 39961 43 0 0 25 0 1 0 741607310 49860608 9787 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12173 9787 300 300 0 11873 0 vsize: 48692 [startup+410.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17262 0 0 0 40961 43 0 0 25 0 1 0 741607310 49860608 9788 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12173 9788 300 300 0 11873 0 vsize: 48692 [startup+420.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17263 0 0 0 41961 43 0 0 25 0 1 0 741607310 49860608 9789 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12173 9789 300 300 0 11873 0 vsize: 48692 [startup+430.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17459 0 0 0 42960 43 0 0 25 0 1 0 741607310 49860608 9790 4294967295 134512640 135726644 3221224592 3221222840 135281122 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12173 9790 300 300 0 11873 0 vsize: 48692 [startup+440.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17468 0 0 0 43960 43 0 0 25 0 1 0 741607310 49860608 9799 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12173 9799 300 300 0 11873 0 vsize: 48692 [startup+450.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17469 0 0 0 44960 44 0 0 25 0 1 0 741607310 49860608 9800 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12173 9800 300 300 0 11873 0 vsize: 48692 [startup+460.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17474 0 0 0 45961 44 0 0 25 0 1 0 741607310 49860608 9805 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12173 9805 300 300 0 11873 0 vsize: 48692 [startup+470.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17863 0 0 0 46960 44 0 0 25 0 1 0 741607310 50593792 9966 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12352 9966 300 300 0 12052 0 vsize: 49408 [startup+480.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17989 0 0 0 47960 45 0 0 25 0 1 0 741607310 51257344 10092 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12514 10092 300 300 0 12214 0 vsize: 50056 [startup+490.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 17998 0 0 0 48960 45 0 0 25 0 1 0 741607310 51257344 10101 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12514 10101 300 300 0 12214 0 vsize: 50056 [startup+500.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 18227 0 0 0 49960 45 0 0 25 0 1 0 741607310 51949568 10231 4294967295 134512640 135726644 3221224592 3221223184 134744136 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12683 10231 300 300 0 12383 0 vsize: 50732 [startup+510.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 18430 0 0 0 50959 45 0 0 25 0 1 0 741607310 51949568 10239 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12683 10239 300 300 0 12383 0 vsize: 50732 [startup+520.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 18439 0 0 0 51960 45 0 0 25 0 1 0 741607310 51949568 10248 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12683 10248 300 300 0 12383 0 vsize: 50732 [startup+530.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 18702 0 0 0 52959 46 0 0 25 0 1 0 741607310 53329920 10511 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13020 10511 300 300 0 12720 0 vsize: 52080 [startup+540.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 18726 0 0 0 53959 46 0 0 25 0 1 0 741607310 53329920 10535 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13020 10535 300 300 0 12720 0 vsize: 52080 [startup+550.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 18930 0 0 0 54959 47 0 0 25 0 1 0 741607310 53329920 10544 4294967295 134512640 135726644 3221224592 3221223088 134744053 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13020 10544 300 300 0 12720 0 vsize: 52080 [startup+560.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 18946 0 0 0 55959 47 0 0 25 0 1 0 741607310 53329920 10560 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13020 10560 300 300 0 12720 0 vsize: 52080 [startup+570.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 18958 0 0 0 56959 47 0 0 25 0 1 0 741607310 53329920 10572 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13020 10572 300 300 0 12720 0 vsize: 52080 [startup+580.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 18966 0 0 0 57959 47 0 0 25 0 1 0 741607310 53329920 10580 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13020 10580 300 300 0 12720 0 vsize: 52080 [startup+590.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 19180 0 0 0 58959 47 0 0 25 0 1 0 741607310 53329920 10599 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13020 10599 300 300 0 12720 0 vsize: 52080 [startup+600.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 19303 0 0 0 59959 48 0 0 25 0 1 0 741607310 53792768 10689 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13133 10689 300 300 0 12833 0 vsize: 52532 [startup+610.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 19714 0 0 0 60958 48 0 0 25 0 1 0 741607310 55795712 11067 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13622 11067 300 300 0 13322 0 vsize: 54488 [startup+620.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 19731 0 0 0 61959 48 0 0 25 0 1 0 741607310 55795712 11084 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13622 11084 300 300 0 13322 0 vsize: 54488 [startup+630.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 19944 0 0 0 62958 48 0 0 25 0 1 0 741607310 55795712 11102 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13622 11102 300 300 0 13322 0 vsize: 54488 [startup+640.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 19957 0 0 0 63957 49 0 0 25 0 1 0 741607310 55795712 11115 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13622 11115 300 300 0 13322 0 vsize: 54488 [startup+650.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 19965 0 0 0 64957 49 0 0 25 0 1 0 741607310 55795712 11123 4294967295 134512640 135726644 3221224592 3221223216 134744588 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13622 11123 300 300 0 13322 0 vsize: 54488 [startup+660.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 20242 0 0 0 65957 50 0 0 25 0 1 0 741607310 57323520 11400 4294967295 134512640 135726644 3221224592 3221223184 134759972 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13995 11400 300 300 0 13695 0 vsize: 55980 [startup+670.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 20511 0 0 0 66956 51 0 0 25 0 1 0 741607310 57593856 11474 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14061 11474 300 300 0 13761 0 vsize: 56244 [startup+680.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 20526 0 0 0 67956 51 0 0 25 0 1 0 741607310 57593856 11489 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14061 11489 300 300 0 13761 0 vsize: 56244 [startup+690.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 20555 0 0 0 68956 51 0 0 25 0 1 0 741607310 57593856 11518 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14061 11518 300 300 0 13761 0 vsize: 56244 [startup+700 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 20569 0 0 0 69956 51 0 0 25 0 1 0 741607310 57593856 11532 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14061 11532 300 300 0 13761 0 vsize: 56244 [startup+710.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 20772 0 0 0 70956 51 0 0 25 0 1 0 741607310 57593856 11540 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14061 11540 300 300 0 13761 0 vsize: 56244 [startup+720.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 20785 0 0 0 71956 52 0 0 25 0 1 0 741607310 57593856 11553 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14061 11553 300 300 0 13761 0 vsize: 56244 [startup+730 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 20795 0 0 0 72956 52 0 0 25 0 1 0 741607310 57593856 11563 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14061 11563 300 300 0 13761 0 vsize: 56244 [startup+740.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 20806 0 0 0 73956 52 0 0 25 0 1 0 741607310 57593856 11574 4294967295 134512640 135726644 3221224592 3221223216 134744620 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14061 11574 300 300 0 13761 0 vsize: 56244 [startup+750.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21100 0 0 0 74955 53 0 0 25 0 1 0 741607310 57856000 11608 4294967295 134512640 135726644 3221224592 3221223088 134744369 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11608 300 300 0 13825 0 vsize: 56500 [startup+760 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21104 0 0 0 75955 53 0 0 25 0 1 0 741607310 57856000 11612 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11612 300 300 0 13825 0 vsize: 56500 [startup+770 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21109 0 0 0 76955 53 0 0 25 0 1 0 741607310 57856000 11617 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11617 300 300 0 13825 0 vsize: 56500 [startup+780 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21114 0 0 0 77955 53 0 0 25 0 1 0 741607310 57856000 11622 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11622 300 300 0 13825 0 vsize: 56500 [startup+790 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21119 0 0 0 78956 53 0 0 25 0 1 0 741607310 57856000 11627 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11627 300 300 0 13825 0 vsize: 56500 [startup+800 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21123 0 0 0 79956 53 0 0 25 0 1 0 741607310 57856000 11631 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11631 300 300 0 13825 0 vsize: 56500 [startup+810.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21127 0 0 0 80956 53 0 0 25 0 1 0 741607310 57856000 11635 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11635 300 300 0 13825 0 vsize: 56500 [startup+820 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21132 0 0 0 81956 53 0 0 25 0 1 0 741607310 57856000 11640 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11640 300 300 0 13825 0 vsize: 56500 [startup+830 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21137 0 0 0 82956 54 0 0 25 0 1 0 741607310 57856000 11645 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11645 300 300 0 13825 0 vsize: 56500 [startup+840 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21143 0 0 0 83956 54 0 0 25 0 1 0 741607310 57856000 11651 4294967295 134512640 135726644 3221224592 3221222912 134728931 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11651 300 300 0 13825 0 vsize: 56500 [startup+850 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21148 0 0 0 84956 54 0 0 25 0 1 0 741607310 57856000 11656 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11656 300 300 0 13825 0 vsize: 56500 [startup+860.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21153 0 0 0 85956 54 0 0 25 0 1 0 741607310 57856000 11661 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11661 300 300 0 13825 0 vsize: 56500 [startup+870.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21161 0 0 0 86956 54 0 0 25 0 1 0 741607310 57856000 11669 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11669 300 300 0 13825 0 vsize: 56500 [startup+880 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21173 0 0 0 87956 54 0 0 25 0 1 0 741607310 57856000 11681 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11681 300 300 0 13825 0 vsize: 56500 [startup+890 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21180 0 0 0 88957 54 0 0 25 0 1 0 741607310 57856000 11688 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11688 300 300 0 13825 0 vsize: 56500 [startup+900 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21190 0 0 0 89957 54 0 0 25 0 1 0 741607310 57856000 11698 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14125 11698 300 300 0 13825 0 vsize: 56500 [startup+910.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21493 0 0 0 90956 55 0 0 25 0 1 0 741607310 58904576 11741 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14381 11741 300 300 0 14081 0 vsize: 57524 [startup+920.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21498 0 0 0 91956 55 0 0 25 0 1 0 741607310 58904576 11746 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14381 11746 300 300 0 14081 0 vsize: 57524 [startup+930.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21576 0 0 0 92956 55 0 0 25 0 1 0 741607310 59166720 11759 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11759 300 300 0 14145 0 vsize: 57780 [startup+940 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21583 0 0 0 93956 56 0 0 25 0 1 0 741607310 59166720 11766 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11766 300 300 0 14145 0 vsize: 57780 [startup+950 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21586 0 0 0 94956 56 0 0 25 0 1 0 741607310 59166720 11769 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11769 300 300 0 14145 0 vsize: 57780 [startup+960.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21594 0 0 0 95956 56 0 0 25 0 1 0 741607310 59166720 11777 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11777 300 300 0 14145 0 vsize: 57780 [startup+970.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21598 0 0 0 96956 56 0 0 25 0 1 0 741607310 59166720 11781 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11781 300 300 0 14145 0 vsize: 57780 [startup+980.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21604 0 0 0 97957 56 0 0 25 0 1 0 741607310 59166720 11787 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11787 300 300 0 14145 0 vsize: 57780 [startup+990.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21609 0 0 0 98957 56 0 0 25 0 1 0 741607310 59166720 11792 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11792 300 300 0 14145 0 vsize: 57780 [startup+1000 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21620 0 0 0 99957 56 0 0 25 0 1 0 741607310 59166720 11803 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11803 300 300 0 14145 0 vsize: 57780 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21631 0 0 0 100957 56 0 0 25 0 1 0 741607310 59166720 11814 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11814 300 300 0 14145 0 vsize: 57780 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21637 0 0 0 101957 56 0 0 25 0 1 0 741607310 59166720 11820 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11820 300 300 0 14145 0 vsize: 57780 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21645 0 0 0 102957 56 0 0 25 0 1 0 741607310 59166720 11828 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14445 11828 300 300 0 14145 0 vsize: 57780 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21734 0 0 0 103957 56 0 0 25 0 1 0 741607310 59428864 11852 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11852 300 300 0 14209 0 vsize: 58036 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21739 0 0 0 104957 56 0 0 25 0 1 0 741607310 59428864 11857 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11857 300 300 0 14209 0 vsize: 58036 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21743 0 0 0 105957 56 0 0 25 0 1 0 741607310 59428864 11861 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11861 300 300 0 14209 0 vsize: 58036 [startup+1070 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21749 0 0 0 106957 56 0 0 25 0 1 0 741607310 59428864 11867 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11867 300 300 0 14209 0 vsize: 58036 [startup+1080 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21755 0 0 0 107957 57 0 0 25 0 1 0 741607310 59428864 11873 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11873 300 300 0 14209 0 vsize: 58036 [startup+1090 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 21760 0 0 0 108958 57 0 0 25 0 1 0 741607310 59428864 11878 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11878 300 300 0 14209 0 vsize: 58036 [startup+1100 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 22161 0 0 0 109956 58 0 0 25 0 1 0 741607310 59428864 11889 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11889 300 300 0 14209 0 vsize: 58036 [startup+1110 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 22171 0 0 0 110957 58 0 0 25 0 1 0 741607310 59428864 11899 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11899 300 300 0 14209 0 vsize: 58036 [startup+1120 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 22377 0 0 0 111956 58 0 0 25 0 1 0 741607310 59428864 11910 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11910 300 300 0 14209 0 vsize: 58036 [startup+1130 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 22393 0 0 0 112957 58 0 0 25 0 1 0 741607310 59428864 11926 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11926 300 300 0 14209 0 vsize: 58036 [startup+1140 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 22406 0 0 0 113957 58 0 0 25 0 1 0 741607310 59428864 11939 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11939 300 300 0 14209 0 vsize: 58036 [startup+1150 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 22415 0 0 0 114957 58 0 0 25 0 1 0 741607310 59428864 11948 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11948 300 300 0 14209 0 vsize: 58036 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 22421 0 0 0 115957 58 0 0 25 0 1 0 741607310 59428864 11954 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11954 300 300 0 14209 0 vsize: 58036 [startup+1170 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 22427 0 0 0 116957 58 0 0 25 0 1 0 741607310 59428864 11960 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11960 300 300 0 14209 0 vsize: 58036 [startup+1180 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 22435 0 0 0 117957 58 0 0 25 0 1 0 741607310 59428864 11968 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11968 300 300 0 14209 0 vsize: 58036 [startup+1190 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 22441 0 0 0 118957 58 0 0 25 0 1 0 741607310 59428864 11974 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11974 300 300 0 14209 0 vsize: 58036 [startup+1200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12955 Raw data (stat): 12955 (pb2sat) R 12954 32363 32362 0 -1 0 22447 0 0 0 119958 58 0 0 25 0 1 0 741607310 59428864 11980 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14509 11980 300 300 0 14209 0 vsize: 58036 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.3 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 12955 Raw data (stat): 12955 (pb2sat) Z 12954 32363 32362 0 -1 12 22448 0 0 0 119985 61 0 0 25 0 1 0 741607310 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.3 CPU time (s): 1200.47 CPU user time (s): 1199.85 CPU system time (s): 0.615906 CPU usage (%): 100.014 Max. virtual memory (Kb): 58036 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 8276 #### END VERIFIER DATA ####