Name | normalized-opb/submitted/sorensson/garden/normalized-g15x15.opb |
MD5SUM | 6a083b86cc55025d2acb3bcf68562064 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 54 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 225 |
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 | 225 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 225 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01784 |
Number of variables | 225 |
Total number of constraints | 225 |
Number of constraints which are clauses | 225 |
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 | 3 |
Maximum length of a constraint | 5 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-04-17 17:35:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4959 boxname=wulflinc10 idbench=382 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 6a083b86cc55025d2acb3bcf68562064 /oldhome/oroussel/tmp/wulflinc10/normalized-g15x15.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc10/normalized-g15x15.opb IDLAUNCH: 4959 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 2 cpu MHz : 450.999 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: 807604 kB Buffers: 36724 kB Cached: 168880 kB SwapCached: 164 kB Active: 80960 kB Inactive: 127612 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 807352 kB SwapTotal: 2097136 kB SwapFree: 2096972 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6928 kB Slab: 12720 kB Committed_AS: 63472 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 17:55:51 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 4959 7 1200.23 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc10/normalized-g15x15.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.92 0.93 2/54 19127 Raw data (stat): 19127 (runsolver) R 19126 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454147055 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 0.74 0.92 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 1229 0 0 0 993 5 0 0 25 0 1 0 454147055 5894144 1225 4294967295 134512640 135450300 3221224640 3221223472 134549505 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1439 1225 231 231 0 1208 0 vsize: 5756 [startup+20.0006 s] Raw data (loadavg): 0.78 0.92 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 1868 0 0 0 1990 8 0 0 25 0 1 0 454147055 10420224 1815 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2544 1815 231 231 0 2313 0 vsize: 10176 [startup+30.0015 s] Raw data (loadavg): 0.82 0.93 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 2219 0 0 0 2988 11 0 0 25 0 1 0 454147055 10838016 2166 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2646 2166 231 231 0 2415 0 vsize: 10584 [startup+40.0011 s] Raw data (loadavg): 0.84 0.93 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 2382 0 0 0 3986 13 0 0 25 0 1 0 454147055 11366400 2232 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2775 2232 231 231 0 2544 0 vsize: 11100 [startup+50.0003 s] Raw data (loadavg): 0.87 0.93 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 2434 0 0 0 4984 15 0 0 25 0 1 0 454147055 11501568 2284 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2808 2284 231 231 0 2577 0 vsize: 11232 [startup+60.0002 s] Raw data (loadavg): 0.89 0.93 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 2476 0 0 0 5983 16 0 0 25 0 1 0 454147055 11636736 2326 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2841 2326 231 231 0 2610 0 vsize: 11364 [startup+69.9998 s] Raw data (loadavg): 0.90 0.93 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 2512 0 0 0 6982 17 0 0 25 0 1 0 454147055 11771904 2362 4294967295 134512640 135450300 3221224640 3221223456 134547488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2874 2362 231 231 0 2643 0 vsize: 11496 [startup+80.0001 s] Raw data (loadavg): 0.92 0.94 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 2576 0 0 0 7981 18 0 0 25 0 1 0 454147055 11771904 2426 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2874 2426 231 231 0 2643 0 vsize: 11496 [startup+89.9999 s] Raw data (loadavg): 0.93 0.94 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 2794 0 0 0 8981 19 0 0 25 0 1 0 454147055 12693504 2451 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3099 2451 231 231 0 2868 0 vsize: 12396 [startup+99.9995 s] Raw data (loadavg): 0.94 0.94 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 2903 0 0 0 9980 20 0 0 25 0 1 0 454147055 12693504 2560 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3099 2560 231 231 0 2868 0 vsize: 12396 [startup+110 s] Raw data (loadavg): 0.95 0.94 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 2921 0 0 0 10979 21 0 0 25 0 1 0 454147055 12693504 2578 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3099 2578 231 231 0 2868 0 vsize: 12396 [startup+120 s] Raw data (loadavg): 0.96 0.94 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 3065 0 0 0 11978 23 0 0 25 0 1 0 454147055 12828672 2722 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3132 2722 231 231 0 2901 0 vsize: 12528 [startup+130 s] Raw data (loadavg): 0.96 0.94 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 3318 0 0 0 12976 24 0 0 25 0 1 0 454147055 21217280 2975 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5180 2975 231 231 0 4949 0 vsize: 20720 [startup+139.999 s] Raw data (loadavg): 0.97 0.94 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 3480 0 0 0 13975 26 0 0 25 0 1 0 454147055 21356544 3137 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5214 3137 231 231 0 4983 0 vsize: 20856 [startup+149.999 s] Raw data (loadavg): 0.97 0.95 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 3519 0 0 0 14974 27 0 0 25 0 1 0 454147055 21356544 3176 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5214 3176 231 231 0 4983 0 vsize: 20856 [startup+160 s] Raw data (loadavg): 0.98 0.95 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 3570 0 0 0 15974 27 0 0 25 0 1 0 454147055 21524480 3227 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5255 3227 231 231 0 5024 0 vsize: 21020 [startup+169.999 s] Raw data (loadavg): 0.98 0.95 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 3680 0 0 0 16973 28 0 0 25 0 1 0 454147055 21524480 3337 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5255 3337 231 231 0 5024 0 vsize: 21020 [startup+179.999 s] Raw data (loadavg): 0.98 0.95 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 3808 0 0 0 17972 29 0 0 25 0 1 0 454147055 21524480 3465 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5255 3465 231 231 0 5024 0 vsize: 21020 [startup+190 s] Raw data (loadavg): 0.98 0.95 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 3918 0 0 0 18971 31 0 0 25 0 1 0 454147055 21524480 3575 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5255 3575 231 231 0 5024 0 vsize: 21020 [startup+199.999 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 4070 0 0 0 19971 31 0 0 25 0 1 0 454147055 21700608 3727 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5298 3727 231 231 0 5067 0 vsize: 21192 [startup+209.999 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 4106 0 0 0 20970 32 0 0 25 0 1 0 454147055 21700608 3763 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5298 3763 231 231 0 5067 0 vsize: 21192 [startup+219.999 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 4260 0 0 0 21970 33 0 0 25 0 1 0 454147055 21700608 3917 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5298 3917 231 231 0 5067 0 vsize: 21192 [startup+230 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 4356 0 0 0 22969 34 0 0 25 0 1 0 454147055 21839872 4013 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5332 4013 231 231 0 5101 0 vsize: 21328 [startup+239.999 s] Raw data (loadavg): 0.99 0.95 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 4410 0 0 0 23968 35 0 0 25 0 1 0 454147055 21839872 4067 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5332 4067 231 231 0 5101 0 vsize: 21328 [startup+249.999 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 4568 0 0 0 24967 36 0 0 25 0 1 0 454147055 21839872 4225 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5332 4225 231 231 0 5101 0 vsize: 21328 [startup+259.999 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 4646 0 0 0 25966 37 0 0 25 0 1 0 454147055 21839872 4303 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5332 4303 231 231 0 5101 0 vsize: 21328 [startup+269.999 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 4797 0 0 0 26965 38 0 0 25 0 1 0 454147055 21979136 4454 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5366 4454 231 231 0 5135 0 vsize: 21464 [startup+280 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 4968 0 0 0 27964 39 0 0 25 0 1 0 454147055 21979136 4625 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5366 4625 231 231 0 5135 0 vsize: 21464 [startup+290 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 5090 0 0 0 28963 40 0 0 25 0 1 0 454147055 22147072 4747 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5407 4747 231 231 0 5176 0 vsize: 21628 [startup+300 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 5264 0 0 0 29963 41 0 0 25 0 1 0 454147055 22147072 4921 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5407 4921 231 231 0 5176 0 vsize: 21628 [startup+310 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 5429 0 0 0 30962 42 0 0 25 0 1 0 454147055 22298624 5086 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5444 5086 231 231 0 5213 0 vsize: 21776 [startup+320.001 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 5824 0 0 0 31961 43 0 0 25 0 1 0 454147055 23871488 5096 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5828 5096 231 231 0 5597 0 vsize: 23312 [startup+330.001 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 5844 0 0 0 32961 44 0 0 25 0 1 0 454147055 23871488 5116 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5828 5116 231 231 0 5597 0 vsize: 23312 [startup+340 s] Raw data (loadavg): 0.99 0.96 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 5862 0 0 0 33960 45 0 0 25 0 1 0 454147055 23871488 5134 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5828 5134 231 231 0 5597 0 vsize: 23312 [startup+350 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 5881 0 0 0 34959 45 0 0 25 0 1 0 454147055 24010752 5153 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5862 5153 231 231 0 5631 0 vsize: 23448 [startup+360 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 5898 0 0 0 35959 46 0 0 25 0 1 0 454147055 24010752 5170 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5862 5170 231 231 0 5631 0 vsize: 23448 [startup+369.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 5916 0 0 0 36959 47 0 0 25 0 1 0 454147055 24010752 5188 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5862 5188 231 231 0 5631 0 vsize: 23448 [startup+379.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 5932 0 0 0 37958 47 0 0 25 0 1 0 454147055 24150016 5204 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5896 5204 231 231 0 5665 0 vsize: 23584 [startup+390 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6025 0 0 0 38957 48 0 0 25 0 1 0 454147055 24150016 5297 4294967295 134512640 135450300 3221224640 3221223472 134549267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5896 5297 231 231 0 5665 0 vsize: 23584 [startup+400 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6088 0 0 0 39957 49 0 0 25 0 1 0 454147055 24150016 5360 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5896 5360 231 231 0 5665 0 vsize: 23584 [startup+410 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6104 0 0 0 40957 49 0 0 25 0 1 0 454147055 24150016 5376 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5896 5376 231 231 0 5665 0 vsize: 23584 [startup+420 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6118 0 0 0 41956 51 0 0 25 0 1 0 454147055 24150016 5390 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5896 5390 231 231 0 5665 0 vsize: 23584 [startup+430 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6138 0 0 0 42955 51 0 0 25 0 1 0 454147055 24342528 5410 4294967295 134512640 135450300 3221224640 3221223456 134546477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5943 5410 231 231 0 5712 0 vsize: 23772 [startup+440 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6154 0 0 0 43955 52 0 0 25 0 1 0 454147055 24342528 5426 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5943 5426 231 231 0 5712 0 vsize: 23772 [startup+449.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6167 0 0 0 44954 52 0 0 25 0 1 0 454147055 24342528 5439 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5943 5439 231 231 0 5712 0 vsize: 23772 [startup+460 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6184 0 0 0 45954 52 0 0 25 0 1 0 454147055 24342528 5456 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5943 5456 231 231 0 5712 0 vsize: 23772 [startup+470 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6198 0 0 0 46953 53 0 0 25 0 1 0 454147055 24481792 5470 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5977 5470 231 231 0 5746 0 vsize: 23908 [startup+480 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6209 0 0 0 47953 53 0 0 25 0 1 0 454147055 24481792 5481 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5977 5481 231 231 0 5746 0 vsize: 23908 [startup+489.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6235 0 0 0 48953 54 0 0 25 0 1 0 454147055 24481792 5507 4294967295 134512640 135450300 3221224640 3221223436 134535392 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5977 5507 231 231 0 5746 0 vsize: 23908 [startup+499.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6245 0 0 0 49953 54 0 0 25 0 1 0 454147055 24481792 5517 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5977 5517 231 231 0 5746 0 vsize: 23908 [startup+510 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6252 0 0 0 50953 54 0 0 25 0 1 0 454147055 24481792 5524 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5977 5524 231 231 0 5746 0 vsize: 23908 [startup+519.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6267 0 0 0 51953 54 0 0 25 0 1 0 454147055 24662016 5539 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6021 5539 231 231 0 5790 0 vsize: 24084 [startup+530 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6274 0 0 0 52953 55 0 0 25 0 1 0 454147055 24662016 5546 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6021 5546 231 231 0 5790 0 vsize: 24084 [startup+539.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6299 0 0 0 53952 56 0 0 25 0 1 0 454147055 24662016 5571 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6021 5571 231 231 0 5790 0 vsize: 24084 [startup+549.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6408 0 0 0 54951 57 0 0 25 0 1 0 454147055 41439232 5680 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10117 5680 231 231 0 9886 0 vsize: 40468 [startup+559.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6551 0 0 0 55950 58 0 0 25 0 1 0 454147055 41439232 5823 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10117 5823 231 231 0 9886 0 vsize: 40468 [startup+569.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6631 0 0 0 56950 58 0 0 25 0 1 0 454147055 41439232 5903 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10117 5903 231 231 0 9886 0 vsize: 40468 [startup+580 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6758 0 0 0 57950 59 0 0 25 0 1 0 454147055 41439232 6030 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10117 6030 231 231 0 9886 0 vsize: 40468 [startup+589.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 6897 0 0 0 58949 60 0 0 25 0 1 0 454147055 41439232 6169 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10117 6169 231 231 0 9886 0 vsize: 40468 [startup+599.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7014 0 0 0 59949 60 0 0 25 0 1 0 454147055 41578496 6286 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10151 6286 231 231 0 9920 0 vsize: 40604 [startup+609.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7049 0 0 0 60948 61 0 0 25 0 1 0 454147055 41578496 6321 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10151 6321 231 231 0 9920 0 vsize: 40604 [startup+619.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7111 0 0 0 61947 62 0 0 25 0 1 0 454147055 41578496 6383 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10151 6383 231 231 0 9920 0 vsize: 40604 [startup+630 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7247 0 0 0 62947 62 0 0 25 0 1 0 454147055 41771008 6519 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10198 6519 231 231 0 9967 0 vsize: 40792 [startup+640 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7338 0 0 0 63946 63 0 0 25 0 1 0 454147055 41771008 6610 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10198 6610 231 231 0 9967 0 vsize: 40792 [startup+650 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7348 0 0 0 64946 64 0 0 25 0 1 0 454147055 41771008 6620 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10198 6620 231 231 0 9967 0 vsize: 40792 [startup+660 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7364 0 0 0 65946 64 0 0 25 0 1 0 454147055 41771008 6636 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10198 6636 231 231 0 9967 0 vsize: 40792 [startup+670 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7376 0 0 0 66945 65 0 0 25 0 1 0 454147055 41771008 6648 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10198 6648 231 231 0 9967 0 vsize: 40792 [startup+680 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7395 0 0 0 67945 66 0 0 25 0 1 0 454147055 42000384 6667 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10254 6667 231 231 0 10023 0 vsize: 41016 [startup+690 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7410 0 0 0 68945 66 0 0 25 0 1 0 454147055 42000384 6682 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10254 6682 231 231 0 10023 0 vsize: 41016 [startup+700 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7424 0 0 0 69945 66 0 0 25 0 1 0 454147055 42000384 6696 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10254 6696 231 231 0 10023 0 vsize: 41016 [startup+710 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7450 0 0 0 70944 67 0 0 25 0 1 0 454147055 42237952 6722 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10312 6722 231 231 0 10081 0 vsize: 41248 [startup+720 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7559 0 0 0 71944 67 0 0 25 0 1 0 454147055 42237952 6831 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10312 6831 231 231 0 10081 0 vsize: 41248 [startup+730 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7622 0 0 0 72943 68 0 0 25 0 1 0 454147055 42237952 6894 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10312 6894 231 231 0 10081 0 vsize: 41248 [startup+740.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7634 0 0 0 73943 68 0 0 25 0 1 0 454147055 42237952 6906 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10312 6906 231 231 0 10081 0 vsize: 41248 [startup+750 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7650 0 0 0 74943 69 0 0 25 0 1 0 454147055 42237952 6922 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10312 6922 231 231 0 10081 0 vsize: 41248 [startup+760.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7663 0 0 0 75942 70 0 0 25 0 1 0 454147055 42237952 6935 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10312 6935 231 231 0 10081 0 vsize: 41248 [startup+770 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7670 0 0 0 76943 70 0 0 25 0 1 0 454147055 42237952 6942 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10312 6942 231 231 0 10081 0 vsize: 41248 [startup+780.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7677 0 0 0 77942 70 0 0 25 0 1 0 454147055 42237952 6949 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10312 6949 231 231 0 10081 0 vsize: 41248 [startup+790 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7688 0 0 0 78942 71 0 0 25 0 1 0 454147055 42237952 6960 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10312 6960 231 231 0 10081 0 vsize: 41248 [startup+800 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7696 0 0 0 79942 71 0 0 25 0 1 0 454147055 42237952 6968 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10312 6968 231 231 0 10081 0 vsize: 41248 [startup+810.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7758 0 0 0 80941 72 0 0 25 0 1 0 454147055 42479616 7030 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10371 7030 231 231 0 10140 0 vsize: 41484 [startup+820 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7790 0 0 0 81941 72 0 0 25 0 1 0 454147055 42479616 7062 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10371 7062 231 231 0 10140 0 vsize: 41484 [startup+830.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7796 0 0 0 82941 72 0 0 25 0 1 0 454147055 42479616 7068 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10371 7068 231 231 0 10140 0 vsize: 41484 [startup+840 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7808 0 0 0 83941 73 0 0 25 0 1 0 454147055 42479616 7080 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10371 7080 231 231 0 10140 0 vsize: 41484 [startup+850 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7860 0 0 0 84941 73 0 0 25 0 1 0 454147055 42479616 7132 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10371 7132 231 231 0 10140 0 vsize: 41484 [startup+860 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7966 0 0 0 85940 74 0 0 25 0 1 0 454147055 42614784 7238 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10404 7238 231 231 0 10173 0 vsize: 41616 [startup+869.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7982 0 0 0 86940 74 0 0 25 0 1 0 454147055 42614784 7254 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10404 7254 231 231 0 10173 0 vsize: 41616 [startup+880 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 7994 0 0 0 87940 75 0 0 25 0 1 0 454147055 42614784 7266 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10404 7266 231 231 0 10173 0 vsize: 41616 [startup+889.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8005 0 0 0 88939 75 0 0 25 0 1 0 454147055 42614784 7277 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10404 7277 231 231 0 10173 0 vsize: 41616 [startup+899.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8014 0 0 0 89939 76 0 0 25 0 1 0 454147055 42762240 7286 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10440 7286 231 231 0 10209 0 vsize: 41760 [startup+909.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8020 0 0 0 90939 76 0 0 25 0 1 0 454147055 42762240 7292 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10440 7292 231 231 0 10209 0 vsize: 41760 [startup+919.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8025 0 0 0 91938 76 0 0 25 0 1 0 454147055 42762240 7297 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10440 7297 231 231 0 10209 0 vsize: 41760 [startup+930 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8034 0 0 0 92938 77 0 0 25 0 1 0 454147055 42762240 7306 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10440 7306 231 231 0 10209 0 vsize: 41760 [startup+939.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8077 0 0 0 93938 78 0 0 25 0 1 0 454147055 42762240 7349 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10440 7349 231 231 0 10209 0 vsize: 41760 [startup+949.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8176 0 0 0 94937 78 0 0 25 0 1 0 454147055 42762240 7448 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10440 7448 231 231 0 10209 0 vsize: 41760 [startup+959.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8207 0 0 0 95937 78 0 0 25 0 1 0 454147055 42762240 7479 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10440 7479 231 231 0 10209 0 vsize: 41760 [startup+969.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8232 0 0 0 96937 79 0 0 25 0 1 0 454147055 42762240 7504 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10440 7504 231 231 0 10209 0 vsize: 41760 [startup+979.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8307 0 0 0 97937 79 0 0 25 0 1 0 454147055 43020288 7579 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10503 7579 231 231 0 10272 0 vsize: 42012 [startup+990 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8438 0 0 0 98936 80 0 0 25 0 1 0 454147055 43020288 7710 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10503 7710 231 231 0 10272 0 vsize: 42012 [startup+1000 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8490 0 0 0 99936 81 0 0 25 0 1 0 454147055 43020288 7762 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10503 7762 231 231 0 10272 0 vsize: 42012 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8505 0 0 0 100936 81 0 0 25 0 1 0 454147055 43020288 7777 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10503 7777 231 231 0 10272 0 vsize: 42012 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8549 0 0 0 101935 81 0 0 25 0 1 0 454147055 43020288 7821 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10503 7821 231 231 0 10272 0 vsize: 42012 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 8653 0 0 0 102935 82 0 0 25 0 1 0 454147055 43020288 7925 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10503 7925 231 231 0 10272 0 vsize: 42012 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9547 0 0 0 103933 84 0 0 25 0 1 0 454147055 46301184 8050 4294967295 134512640 135450300 3221224640 3221223552 134597062 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11304 8050 231 231 0 11073 0 vsize: 45216 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9563 0 0 0 104933 84 0 0 25 0 1 0 454147055 46448640 8066 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11340 8066 231 231 0 11109 0 vsize: 45360 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9578 0 0 0 105933 84 0 0 25 0 1 0 454147055 46448640 8081 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11340 8081 231 231 0 11109 0 vsize: 45360 [startup+1070 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9588 0 0 0 106933 85 0 0 25 0 1 0 454147055 46592000 8091 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8091 231 231 0 11144 0 vsize: 45500 [startup+1080 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9593 0 0 0 107933 85 0 0 25 0 1 0 454147055 46592000 8096 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8096 231 231 0 11144 0 vsize: 45500 [startup+1090 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9597 0 0 0 108933 85 0 0 25 0 1 0 454147055 46592000 8100 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8100 231 231 0 11144 0 vsize: 45500 [startup+1100 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9610 0 0 0 109933 86 0 0 25 0 1 0 454147055 46592000 8113 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8113 231 231 0 11144 0 vsize: 45500 [startup+1110 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9619 0 0 0 110933 86 0 0 25 0 1 0 454147055 46592000 8122 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8122 231 231 0 11144 0 vsize: 45500 [startup+1120 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9638 0 0 0 111933 86 0 0 25 0 1 0 454147055 46592000 8141 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8141 231 231 0 11144 0 vsize: 45500 [startup+1130 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9648 0 0 0 112933 86 0 0 25 0 1 0 454147055 46592000 8151 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8151 231 231 0 11144 0 vsize: 45500 [startup+1140 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9653 0 0 0 113933 86 0 0 25 0 1 0 454147055 46592000 8156 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8156 231 231 0 11144 0 vsize: 45500 [startup+1150 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9664 0 0 0 114933 87 0 0 25 0 1 0 454147055 46592000 8167 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8167 231 231 0 11144 0 vsize: 45500 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9676 0 0 0 115933 87 0 0 25 0 1 0 454147055 46592000 8179 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8179 231 231 0 11144 0 vsize: 45500 [startup+1170 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9681 0 0 0 116933 87 0 0 25 0 1 0 454147055 46592000 8184 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8184 231 231 0 11144 0 vsize: 45500 [startup+1180 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9695 0 0 0 117932 88 0 0 25 0 1 0 454147055 46592000 8198 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11375 8198 231 231 0 11144 0 vsize: 45500 [startup+1190 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9707 0 0 0 118932 88 0 0 25 0 1 0 454147055 46907392 8210 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11452 8210 231 231 0 11221 0 vsize: 45808 [startup+1200 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 19127 Raw data (stat): 19127 (PBS4) R 19126 25347 25346 0 -1 0 9714 0 0 0 119932 89 0 0 25 0 1 0 454147055 46907392 8217 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11452 8217 231 231 0 11221 0 vsize: 45808 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.93 1/54 19127 Raw data (stat): 19127 (PBS4) Z 19126 25347 25346 0 -1 1036 9714 0 0 0 119932 90 0 0 25 0 1 0 454147055 0 0 4294967295 0 0 0 0 0 0 0 7 0 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 ended because it received signal 15 (SIGTERM) Real time (s): 1200.02 CPU time (s): 1200.23 CPU user time (s): 1199.32 CPU system time (s): 0.908861 CPU usage (%): 100.018 Max. virtual memory (Kb): 45808 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####