Name | normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb |
MD5SUM | 46f4eb904b1c96b45521a6459aa5d49d |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 130 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 512 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 109757 |
Total number of constraints | 313451 |
Number of constraints which are clauses | 295929 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17522 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-04-17 16:45:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2508 boxname=wulflinc25 idbench=279 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 46f4eb904b1c96b45521a6459aa5d49d /oldhome/oroussel/tmp/wulflinc25/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc25/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb IDLAUNCH: 2508 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 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: 782944 kB Buffers: 36504 kB Cached: 178612 kB SwapCached: 36 kB Active: 83876 kB Inactive: 134184 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 782692 kB SwapTotal: 2097892 kB SwapFree: 2097856 kB Dirty: 4 kB Writeback: 0 kB Mapped: 6932 kB Slab: 28024 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 17:05:07 (client local time) WITH STATUS 0 IN 1200.65 SECONDS stats: 2508 7 1200.65 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb ...... #### 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 Raw data (loadavg): 0.70 0.89 0.89 2/54 22492 Raw data (stat): 22492 (runsolver) R 22491 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512066457 1052672 99 4294967295 134512640 135381576 3221224496 3221219744 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 0.75 0.90 0.89 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 9710 0 0 0 973 26 0 0 25 0 1 0 512066457 37265408 8115 4294967295 134512640 135450300 3221224608 3221157328 134523714 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9098 8115 231 231 0 8867 0 vsize: 36392 [startup+20.0013 s] Raw data (loadavg): 0.78 0.90 0.89 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 15293 0 0 0 1957 42 0 0 25 0 1 0 512066457 55128064 11579 4294967295 134512640 135450300 3221224608 3221223504 134539779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13459 11579 231 231 0 13228 0 vsize: 53836 [startup+30.0005 s] Raw data (loadavg): 0.82 0.90 0.89 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 16013 0 0 0 2954 44 0 0 25 0 1 0 512066457 58621952 12266 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14312 12266 231 231 0 14081 0 vsize: 57248 [startup+40.0015 s] Raw data (loadavg): 0.84 0.91 0.89 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 16258 0 0 0 3954 45 0 0 25 0 1 0 512066457 59629568 12511 4294967295 134512640 135450300 3221224608 3221223452 134538368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14558 12511 231 231 0 14327 0 vsize: 58232 [startup+50.0089 s] Raw data (loadavg): 0.87 0.91 0.89 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 16570 0 0 0 4953 47 0 0 25 0 1 0 512066457 59928576 12608 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14631 12608 231 231 0 14400 0 vsize: 58524 [startup+60.0093 s] Raw data (loadavg): 0.89 0.91 0.89 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 16973 0 0 0 5951 49 0 0 25 0 1 0 512066457 60665856 12796 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14811 12796 231 231 0 14580 0 vsize: 59244 [startup+70.0093 s] Raw data (loadavg): 0.90 0.91 0.89 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 17293 0 0 0 6949 51 0 0 25 0 1 0 512066457 70565888 13116 4294967295 134512640 135450300 3221224608 3221223344 134538084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17228 13116 231 231 0 16997 0 vsize: 68912 [startup+80.0099 s] Raw data (loadavg): 0.92 0.92 0.89 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 17724 0 0 0 7947 53 0 0 25 0 1 0 512066457 71389184 13332 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17429 13332 231 231 0 17198 0 vsize: 69716 [startup+90.0101 s] Raw data (loadavg): 0.93 0.92 0.89 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 17984 0 0 0 8946 55 0 0 25 0 1 0 512066457 72822784 13526 4294967295 134512640 135450300 3221224608 3221223508 134539773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17779 13526 231 231 0 17548 0 vsize: 71116 [startup+100.01 s] Raw data (loadavg): 0.94 0.92 0.90 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 18522 0 0 0 9943 58 0 0 25 0 1 0 512066457 74493952 13849 4294967295 134512640 135450300 3221224608 3221223472 134539194 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18187 13849 231 231 0 17956 0 vsize: 72748 [startup+110.011 s] Raw data (loadavg): 0.95 0.92 0.90 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 18909 0 0 0 10942 59 0 0 25 0 1 0 512066457 75685888 14038 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18478 14038 231 231 0 18247 0 vsize: 73912 [startup+120.011 s] Raw data (loadavg): 0.96 0.92 0.90 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 19181 0 0 0 11941 60 0 0 25 0 1 0 512066457 75821056 14095 4294967295 134512640 135450300 3221224608 3221223328 134535455 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18511 14095 231 231 0 18280 0 vsize: 74044 [startup+130.011 s] Raw data (loadavg): 0.96 0.93 0.90 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 19463 0 0 0 12939 62 0 0 25 0 1 0 512066457 75952128 14129 4294967295 134512640 135450300 3221224608 3221223548 134530276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18543 14129 231 231 0 18312 0 vsize: 74172 [startup+140.012 s] Raw data (loadavg): 0.97 0.93 0.90 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 19758 0 0 0 13937 64 0 0 25 0 1 0 512066457 76083200 14176 4294967295 134512640 135450300 3221224608 3221223472 134539289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18575 14176 231 231 0 18344 0 vsize: 74300 [startup+150.012 s] Raw data (loadavg): 0.97 0.93 0.90 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 19946 0 0 0 14935 66 0 0 25 0 1 0 512066457 77160448 14364 4294967295 134512640 135450300 3221224608 3221223344 134538883 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18838 14364 231 231 0 18607 0 vsize: 75352 [startup+160.013 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 20106 0 0 0 15935 67 0 0 25 0 1 0 512066457 77688832 14458 4294967295 134512640 135450300 3221224608 3221223536 134539619 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18967 14458 231 231 0 18736 0 vsize: 75868 [startup+170.013 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 20142 0 0 0 16932 70 0 0 25 0 1 0 512066457 78249984 14494 4294967295 134512640 135450300 3221224608 3221223328 134533727 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19104 14494 231 231 0 18873 0 vsize: 76416 [startup+180.013 s] Raw data (loadavg): 0.98 0.94 0.90 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 20476 0 0 0 17931 71 0 0 25 0 1 0 512066457 78520320 14613 4294967295 134512640 135450300 3221224608 3221223344 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19170 14613 231 231 0 18939 0 vsize: 76680 [startup+190.013 s] Raw data (loadavg): 0.98 0.94 0.90 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 20722 0 0 0 18929 73 0 0 25 0 1 0 512066457 78520320 14644 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19170 14644 231 231 0 18939 0 vsize: 76680 [startup+200.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 20774 0 0 0 19928 74 0 0 25 0 1 0 512066457 78684160 14696 4294967295 134512640 135450300 3221224608 3221223472 134539260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19210 14696 231 231 0 18979 0 vsize: 76840 [startup+210.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 21158 0 0 0 20926 76 0 0 25 0 1 0 512066457 79556608 14865 4294967295 134512640 135450300 3221224608 3221223344 134538945 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19423 14865 231 231 0 19192 0 vsize: 77692 [startup+220.014 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 21293 0 0 0 21925 78 0 0 25 0 1 0 512066457 80367616 15000 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19621 15000 231 231 0 19390 0 vsize: 78484 [startup+230.014 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 21639 0 0 0 22922 80 0 0 25 0 1 0 512066457 81072128 15131 4294967295 134512640 135450300 3221224608 3221223344 134538242 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19793 15131 231 231 0 19562 0 vsize: 79172 [startup+240.014 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 21736 0 0 0 23920 83 0 0 25 0 1 0 512066457 81342464 15228 4294967295 134512640 135450300 3221224608 3221223040 134533524 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19859 15228 231 231 0 19628 0 vsize: 79436 [startup+250.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 21803 0 0 0 24919 84 0 0 25 0 1 0 512066457 81612800 15295 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19925 15295 231 231 0 19694 0 vsize: 79700 [startup+260.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22147 0 0 0 25918 85 0 0 25 0 1 0 512066457 82010112 15391 4294967295 134512640 135450300 3221224608 3221223088 134534818 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20022 15391 231 231 0 19791 0 vsize: 80088 [startup+270.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22182 0 0 0 26917 87 0 0 25 0 1 0 512066457 82010112 15426 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20022 15426 231 231 0 19791 0 vsize: 80088 [startup+280.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22211 0 0 0 27916 88 0 0 25 0 1 0 512066457 82010112 15455 4294967295 134512640 135450300 3221224608 3221223216 134537633 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20022 15455 231 231 0 19791 0 vsize: 80088 [startup+290.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22456 0 0 0 28914 90 0 0 25 0 1 0 512066457 82010112 15485 4294967295 134512640 135450300 3221224608 3221223484 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20022 15485 231 231 0 19791 0 vsize: 80088 [startup+300.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22838 0 0 0 29913 91 0 0 25 0 1 0 512066457 82862080 15652 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20230 15652 231 231 0 19999 0 vsize: 80920 [startup+310.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22861 0 0 0 30912 92 0 0 25 0 1 0 512066457 82862080 15675 4294967295 134512640 135450300 3221224608 3221223500 134539104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20230 15675 231 231 0 19999 0 vsize: 80920 [startup+320.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 23139 0 0 0 31910 94 0 0 25 0 1 0 512066457 82997248 15738 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20263 15738 231 231 0 20032 0 vsize: 81052 [startup+330.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 23325 0 0 0 32909 95 0 0 25 0 1 0 512066457 83718144 15891 4294967295 134512640 135450300 3221224608 3221223536 134539619 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20439 15891 231 231 0 20208 0 vsize: 81756 [startup+340.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 23662 0 0 0 33908 97 0 0 25 0 1 0 512066457 84180992 15980 4294967295 134512640 135450300 3221224608 3221223344 134538023 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20552 15980 231 231 0 20321 0 vsize: 82208 [startup+350.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 23708 0 0 0 34907 98 0 0 25 0 1 0 512066457 84180992 16026 4294967295 134512640 135450300 3221224608 3221223328 134533730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20552 16026 231 231 0 20321 0 vsize: 82208 [startup+360.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 23994 0 0 0 35906 99 0 0 25 0 1 0 512066457 84447232 16097 4294967295 134512640 135450300 3221224608 3221223344 134537879 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20617 16097 231 231 0 20386 0 vsize: 82468 [startup+370.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24022 0 0 0 36905 100 0 0 25 0 1 0 512066457 84447232 16125 4294967295 134512640 135450300 3221224608 3221223040 134533524 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20617 16125 231 231 0 20386 0 vsize: 82468 [startup+380.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24263 0 0 0 37904 101 0 0 25 0 1 0 512066457 84447232 16151 4294967295 134512640 135450300 3221224608 3221223484 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20617 16151 231 231 0 20386 0 vsize: 82468 [startup+390.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24568 0 0 0 38902 103 0 0 25 0 1 0 512066457 84713472 16208 4294967295 134512640 135450300 3221224608 3221222960 134533340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20682 16208 231 231 0 20451 0 vsize: 82728 [startup+400.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24725 0 0 0 39902 104 0 0 25 0 1 0 512066457 85106688 16266 4294967295 134512640 135450300 3221224608 3221223024 134533471 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20778 16266 231 231 0 20547 0 vsize: 83112 [startup+410.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24799 0 0 0 40902 104 0 0 25 0 1 0 512066457 85237760 16307 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20810 16307 231 231 0 20579 0 vsize: 83240 [startup+420.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24819 0 0 0 41901 106 0 0 25 0 1 0 512066457 85237760 16327 4294967295 134512640 135450300 3221224608 3221223536 134539671 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20810 16327 231 231 0 20579 0 vsize: 83240 [startup+430.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24841 0 0 0 42899 108 0 0 25 0 1 0 512066457 85237760 16349 4294967295 134512640 135450300 3221224608 3221223344 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20810 16349 231 231 0 20579 0 vsize: 83240 [startup+440.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25069 0 0 0 43897 110 0 0 25 0 1 0 512066457 85237760 16362 4294967295 134512640 135450300 3221224608 3221223344 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20810 16362 231 231 0 20579 0 vsize: 83240 [startup+450.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25074 0 0 0 44897 110 0 0 25 0 1 0 512066457 85237760 16367 4294967295 134512640 135450300 3221224608 3221223344 134538960 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20810 16367 231 231 0 20579 0 vsize: 83240 [startup+460.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25294 0 0 0 45895 112 0 0 25 0 1 0 512066457 85237760 16372 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20810 16372 231 231 0 20579 0 vsize: 83240 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25546 0 0 0 46893 114 0 0 25 0 1 0 512066457 85434368 16409 4294967295 134512640 135450300 3221224608 3221223440 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20858 16409 231 231 0 20627 0 vsize: 83432 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25594 0 0 0 47891 116 0 0 25 0 1 0 512066457 85434368 16457 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20858 16457 231 231 0 20627 0 vsize: 83432 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25967 0 0 0 48890 118 0 0 25 0 1 0 512066457 86110208 16615 4294967295 134512640 135450300 3221224608 3221223344 134538549 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21023 16615 231 231 0 20792 0 vsize: 84092 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26029 0 0 0 49889 119 0 0 25 0 1 0 512066457 86241280 16644 4294967295 134512640 135450300 3221224608 3221223548 134530361 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21055 16644 231 231 0 20824 0 vsize: 84220 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26262 0 0 0 50887 121 0 0 25 0 1 0 512066457 87121920 16877 4294967295 134512640 135450300 3221224608 3221223068 134572880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21270 16877 231 231 0 21039 0 vsize: 85080 [startup+520.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26282 0 0 0 51886 122 0 0 25 0 1 0 512066457 86241280 16682 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21055 16682 231 231 0 20824 0 vsize: 84220 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26304 0 0 0 52885 124 0 0 25 0 1 0 512066457 86241280 16704 4294967295 134512640 135450300 3221224608 3221223472 134539179 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21055 16704 231 231 0 20824 0 vsize: 84220 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26547 0 0 0 53883 125 0 0 25 0 1 0 512066457 86241280 16732 4294967295 134512640 135450300 3221224608 3221223040 134533524 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21055 16732 231 231 0 20824 0 vsize: 84220 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26799 0 0 0 54882 127 0 0 25 0 1 0 512066457 86241280 16769 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21055 16769 231 231 0 20824 0 vsize: 84220 [startup+560.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26811 0 0 0 55881 128 0 0 25 0 1 0 512066457 86241280 16781 4294967295 134512640 135450300 3221224608 3221223344 134538483 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21055 16781 231 231 0 20824 0 vsize: 84220 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27062 0 0 0 56880 129 0 0 25 0 1 0 512066457 86372352 16817 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21087 16817 231 231 0 20856 0 vsize: 84348 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27131 0 0 0 57878 131 0 0 25 0 1 0 512066457 86671360 16886 4294967295 134512640 135450300 3221224608 3221223484 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21160 16886 231 231 0 20929 0 vsize: 84640 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27387 0 0 0 58877 132 0 0 25 0 1 0 512066457 86671360 16927 4294967295 134512640 135450300 3221224608 3221223436 134537814 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21160 16927 231 231 0 20929 0 vsize: 84640 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27507 0 0 0 59876 133 0 0 25 0 1 0 512066457 86933504 16981 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21224 16981 231 231 0 20993 0 vsize: 84896 [startup+610.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27535 0 0 0 60876 134 0 0 25 0 1 0 512066457 86933504 17009 4294967295 134512640 135450300 3221224608 3221223344 134538554 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21224 17009 231 231 0 20993 0 vsize: 84896 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27806 0 0 0 61874 136 0 0 25 0 1 0 512066457 87068672 17065 4294967295 134512640 135450300 3221224608 3221223472 134539197 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21257 17065 231 231 0 21026 0 vsize: 85028 [startup+630.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27826 0 0 0 62873 137 0 0 25 0 1 0 512066457 87068672 17085 4294967295 134512640 135450300 3221224608 3221223484 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21257 17085 231 231 0 21026 0 vsize: 85028 [startup+640.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28296 0 0 0 63872 139 0 0 25 0 1 0 512066457 87597056 17241 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21386 17241 231 231 0 21155 0 vsize: 85544 [startup+650.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28306 0 0 0 64871 140 0 0 25 0 1 0 512066457 87597056 17251 4294967295 134512640 135450300 3221224608 3221223484 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21386 17251 231 231 0 21155 0 vsize: 85544 [startup+660.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28526 0 0 0 65870 140 0 0 25 0 1 0 512066457 87597056 17256 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21386 17256 231 231 0 21155 0 vsize: 85544 [startup+670.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28535 0 0 0 66869 142 0 0 25 0 1 0 512066457 87597056 17265 4294967295 134512640 135450300 3221224608 3221223332 134538169 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21386 17265 231 231 0 21155 0 vsize: 85544 [startup+680.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28815 0 0 0 67868 143 0 0 25 0 1 0 512066457 87728128 17297 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21418 17297 231 231 0 21187 0 vsize: 85672 [startup+690.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28894 0 0 0 68866 145 0 0 25 0 1 0 512066457 87998464 17376 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21484 17376 231 231 0 21253 0 vsize: 85936 [startup+700.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28983 0 0 0 69865 146 0 0 25 0 1 0 512066457 88264704 17432 4294967295 134512640 135450300 3221224608 3221223344 134537976 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21549 17432 231 231 0 21318 0 vsize: 86196 [startup+710.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29225 0 0 0 70864 147 0 0 25 0 1 0 512066457 89309184 17674 4294967295 134512640 135450300 3221224608 3221223024 134572998 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21804 17674 231 231 0 21573 0 vsize: 87216 [startup+720.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29248 0 0 0 71863 149 0 0 25 0 1 0 512066457 88428544 17482 4294967295 134512640 135450300 3221224608 3221223328 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21589 17482 231 231 0 21358 0 vsize: 86356 [startup+730.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29272 0 0 0 72862 150 0 0 25 0 1 0 512066457 88428544 17506 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21589 17506 231 231 0 21358 0 vsize: 86356 [startup+740.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29515 0 0 0 73860 152 0 0 25 0 1 0 512066457 88428544 17534 4294967295 134512640 135450300 3221224608 3221223344 134538554 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21589 17534 231 231 0 21358 0 vsize: 86356 [startup+750.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29560 0 0 0 74859 153 0 0 25 0 1 0 512066457 88428544 17579 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21589 17579 231 231 0 21358 0 vsize: 86356 [startup+760.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29802 0 0 0 75858 155 0 0 25 0 1 0 512066457 88428544 17606 4294967295 134512640 135450300 3221224608 3221223472 134539197 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21589 17606 231 231 0 21358 0 vsize: 86356 [startup+770.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29815 0 0 0 76857 156 0 0 25 0 1 0 512066457 88559616 17619 4294967295 134512640 135450300 3221224608 3221223548 134530260 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21621 17619 231 231 0 21390 0 vsize: 86484 [startup+780.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29834 0 0 0 77857 156 0 0 25 0 1 0 512066457 88559616 17638 4294967295 134512640 135450300 3221224608 3221223344 134538427 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21621 17638 231 231 0 21390 0 vsize: 86484 [startup+790.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29874 0 0 0 78855 158 0 0 25 0 1 0 512066457 88825856 17678 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21686 17678 231 231 0 21455 0 vsize: 86744 [startup+800.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30106 0 0 0 79854 159 0 0 25 0 1 0 512066457 88825856 17695 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21686 17695 231 231 0 21455 0 vsize: 86744 [startup+810.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30168 0 0 0 80853 160 0 0 25 0 1 0 512066457 88961024 17757 4294967295 134512640 135450300 3221224608 3221223436 134537814 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21719 17757 231 231 0 21488 0 vsize: 86876 [startup+820.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30193 0 0 0 81852 161 0 0 25 0 1 0 512066457 88961024 17782 4294967295 134512640 135450300 3221224608 3221223440 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21719 17782 231 231 0 21488 0 vsize: 86876 [startup+830.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30465 0 0 0 82851 163 0 0 25 0 1 0 512066457 89092096 17806 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21751 17806 231 231 0 21520 0 vsize: 87004 [startup+840.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30491 0 0 0 83850 164 0 0 25 0 1 0 512066457 89092096 17832 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21751 17832 231 231 0 21520 0 vsize: 87004 [startup+850.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30517 0 0 0 84849 166 0 0 25 0 1 0 512066457 89092096 17858 4294967295 134512640 135450300 3221224608 3221223548 134530276 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21751 17858 231 231 0 21520 0 vsize: 87004 [startup+860.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30541 0 0 0 85847 167 0 0 25 0 1 0 512066457 89092096 17882 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21751 17882 231 231 0 21520 0 vsize: 87004 [startup+870.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30783 0 0 0 86846 169 0 0 25 0 1 0 512066457 89092096 17909 4294967295 134512640 135450300 3221224608 3221223344 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21751 17909 231 231 0 21520 0 vsize: 87004 [startup+880.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30844 0 0 0 87845 170 0 0 25 0 1 0 512066457 89223168 17937 4294967295 134512640 135450300 3221224608 3221223548 134530276 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21783 17937 231 231 0 21552 0 vsize: 87132 [startup+890.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31083 0 0 0 88844 171 0 0 25 0 1 0 512066457 89223168 17961 4294967295 134512640 135450300 3221224608 3221223040 134533524 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21783 17961 231 231 0 21552 0 vsize: 87132 [startup+900.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22492 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31103 0 0 0 89844 172 0 0 25 0 1 0 512066457 89223168 17981 4294967295 134512640 135450300 3221224608 3221223344 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21783 17981 231 231 0 21552 0 vsize: 87132 [startup+910.208 s] Raw data (loadavg): 1.07 0.99 0.91 2/56 22533 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31134 0 0 0 90861 173 0 0 25 0 1 0 512066457 89223168 18012 4294967295 134512640 135450300 3221224608 3221223344 134538627 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21783 18012 231 231 0 21552 0 vsize: 87132 [startup+920.208 s] Raw data (loadavg): 1.22 1.02 0.93 2/54 22545 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31365 0 0 0 91859 174 0 0 25 0 1 0 512066457 89223168 18028 4294967295 134512640 135450300 3221224608 3221223440 134549362 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21783 18028 231 231 0 21552 0 vsize: 87132 [startup+930.208 s] Raw data (loadavg): 1.19 1.02 0.93 2/54 22545 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31454 0 0 0 92858 176 0 0 25 0 1 0 512066457 89489408 18084 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21848 18084 231 231 0 21617 0 vsize: 87392 [startup+940.424 s] Raw data (loadavg): 1.16 1.02 0.93 2/54 22545 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31699 0 0 0 93878 177 0 0 25 0 1 0 512066457 89624576 18114 4294967295 134512640 135450300 3221224608 3221223536 134539548 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21881 18114 231 231 0 21650 0 vsize: 87524 [startup+950.424 s] Raw data (loadavg): 1.13 1.02 0.93 2/54 22545 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31701 0 0 0 94877 178 0 0 25 0 1 0 512066457 89624576 18116 4294967295 134512640 135450300 3221224608 3221223472 134539216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21881 18116 231 231 0 21650 0 vsize: 87524 [startup+960.424 s] Raw data (loadavg): 1.11 1.02 0.93 2/54 22545 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31920 0 0 0 95876 180 0 0 25 0 1 0 512066457 89624576 18120 4294967295 134512640 135450300 3221224608 3221223548 134530276 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21881 18120 231 231 0 21650 0 vsize: 87524 [startup+970.424 s] Raw data (loadavg): 1.10 1.02 0.93 2/54 22545 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31965 0 0 0 96875 181 0 0 25 0 1 0 512066457 89755648 18132 4294967295 134512640 135450300 3221224608 3221223344 134538084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21913 18132 231 231 0 21682 0 vsize: 87652 [startup+980.424 s] Raw data (loadavg): 1.08 1.01 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32188 0 0 0 97873 183 0 0 25 0 1 0 512066457 89755648 18140 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21913 18140 231 231 0 21682 0 vsize: 87652 [startup+990.424 s] Raw data (loadavg): 1.07 1.01 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32202 0 0 0 98873 183 0 0 25 0 1 0 512066457 89755648 18154 4294967295 134512640 135450300 3221224608 3221223548 134530276 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21913 18154 231 231 0 21682 0 vsize: 87652 [startup+1000.42 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32444 0 0 0 99872 185 0 0 25 0 1 0 512066457 89919488 18181 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21953 18181 231 231 0 21722 0 vsize: 87812 [startup+1010.42 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32502 0 0 0 100870 186 0 0 25 0 1 0 512066457 90050560 18206 4294967295 134512640 135450300 3221224608 3221223344 134538498 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21985 18206 231 231 0 21754 0 vsize: 87940 [startup+1020.42 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32561 0 0 0 101869 187 0 0 25 0 1 0 512066457 90185728 18265 4294967295 134512640 135450300 3221224608 3221223424 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22018 18265 231 231 0 21787 0 vsize: 88072 [startup+1030.42 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32781 0 0 0 102868 189 0 0 25 0 1 0 512066457 90185728 18270 4294967295 134512640 135450300 3221224608 3221223036 134533452 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22018 18270 231 231 0 21787 0 vsize: 88072 [startup+1040.42 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32788 0 0 0 103868 190 0 0 25 0 1 0 512066457 90185728 18277 4294967295 134512640 135450300 3221224608 3221222960 134533303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22018 18277 231 231 0 21787 0 vsize: 88072 [startup+1050.42 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32829 0 0 0 104867 191 0 0 25 0 1 0 512066457 90316800 18285 4294967295 134512640 135450300 3221224608 3221223032 134533456 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22050 18285 231 231 0 21819 0 vsize: 88200 [startup+1060.43 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33050 0 0 0 105866 192 0 0 25 0 1 0 512066457 90316800 18291 4294967295 134512640 135450300 3221224608 3221223344 134538483 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22050 18291 231 231 0 21819 0 vsize: 88200 [startup+1070.43 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33094 0 0 0 106865 193 0 0 25 0 1 0 512066457 90447872 18302 4294967295 134512640 135450300 3221224608 3221223344 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22082 18302 231 231 0 21851 0 vsize: 88328 [startup+1080.42 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33311 0 0 0 107863 196 0 0 25 0 1 0 512066457 90447872 18304 4294967295 134512640 135450300 3221224608 3221223440 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22082 18304 231 231 0 21851 0 vsize: 88328 [startup+1090.42 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33358 0 0 0 108862 197 0 0 25 0 1 0 512066457 90578944 18318 4294967295 134512640 135450300 3221224608 3221223472 134539241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22114 18318 231 231 0 21883 0 vsize: 88456 [startup+1100.42 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33401 0 0 0 109860 198 0 0 25 0 1 0 512066457 90710016 18328 4294967295 134512640 135450300 3221224608 3221223344 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22146 18328 231 231 0 21915 0 vsize: 88584 [startup+1110.42 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33659 0 0 0 110859 200 0 0 25 0 1 0 512066457 90972160 18338 4294967295 134512640 135450300 3221224608 3221222960 134533209 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22210 18338 231 231 0 21979 0 vsize: 88840 [startup+1120.42 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33664 0 0 0 111858 201 0 0 25 0 1 0 512066457 90972160 18343 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22210 18343 231 231 0 21979 0 vsize: 88840 [startup+1130.42 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33940 0 0 0 112857 202 0 0 25 0 1 0 512066457 91238400 18404 4294967295 134512640 135450300 3221224608 3221223452 134538368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22275 18404 231 231 0 22044 0 vsize: 89100 [startup+1140.42 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33961 0 0 0 113856 203 0 0 25 0 1 0 512066457 91238400 18425 4294967295 134512640 135450300 3221224608 3221222960 134533209 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22275 18425 231 231 0 22044 0 vsize: 89100 [startup+1150.42 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34199 0 0 0 114855 205 0 0 25 0 1 0 512066457 91238400 18448 4294967295 134512640 135450300 3221224608 3221223344 134538549 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22275 18448 231 231 0 22044 0 vsize: 89100 [startup+1160.43 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34202 0 0 0 115853 206 0 0 25 0 1 0 512066457 91238400 18451 4294967295 134512640 135450300 3221224608 3221222960 134533209 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22275 18451 231 231 0 22044 0 vsize: 89100 [startup+1170.43 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34205 0 0 0 116852 207 0 0 25 0 1 0 512066457 91238400 18454 4294967295 134512640 135450300 3221224608 3221223344 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22275 18454 231 231 0 22044 0 vsize: 89100 [startup+1180.43 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34207 0 0 0 117851 209 0 0 25 0 1 0 512066457 91238400 18456 4294967295 134512640 135450300 3221224608 3221223548 134530387 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22275 18456 231 231 0 22044 0 vsize: 89100 [startup+1190.43 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34429 0 0 0 118851 210 0 0 25 0 1 0 512066457 91238400 18463 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22275 18463 231 231 0 22044 0 vsize: 89100 [startup+1200.42 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 22547 Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34444 0 0 0 119850 211 0 0 25 0 1 0 512066457 91238400 18478 4294967295 134512640 135450300 3221224608 3221223344 134538092 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22275 18478 231 231 0 22044 0 vsize: 89100 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.46 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 22547 Raw data (stat): 22492 (PBS4) Z 22491 28099 28098 0 -1 1036 34444 0 0 0 119850 214 0 0 25 0 1 0 512066457 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.46 CPU time (s): 1200.65 CPU user time (s): 1198.5 CPU system time (s): 2.14767 CPU usage (%): 100.016 Max. virtual memory (Kb): 89100 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####