Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb |
MD5SUM | 980dd801f0823d520b47724b99fabded |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 45 |
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 | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 67 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01984 |
Number of variables | 45 |
Total number of constraints | 376 |
Number of constraints which are clauses | 330 |
Number of constraints which are cardinality constraints (but not clauses) | 46 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc26 THE 2005-04-22 01:39:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12343 boxname=wulflinc26 idbench=950 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 980dd801f0823d520b47724b99fabded /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-stein45.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-stein45.opb IDLAUNCH: 12343 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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.061 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: 259364 kB Buffers: 32808 kB Cached: 715396 kB SwapCached: 68 kB Active: 197936 kB Inactive: 553188 kB HighTotal: 131008 kB HighFree: 728 kB LowTotal: 903652 kB LowFree: 258636 kB SwapTotal: 2097892 kB SwapFree: 2097800 kB Dirty: 24 kB Writeback: 0 kB Mapped: 6880 kB Slab: 18604 kB Committed_AS: 63728 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-22 01:59:06 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 12343 7 1200.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-stein45.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.85 0.94 0.90 2/54 14473 Raw data (stat): 14473 (runsolver) R 14472 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549830448 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.001 s] Raw data (loadavg): 0.88 0.94 0.90 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 1296 0 0 0 993 5 0 0 25 0 1 0 549830448 6815744 1243 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1664 1243 231 231 0 1433 0 vsize: 6656 [startup+20.0017 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 1756 0 0 0 1990 8 0 0 25 0 1 0 549830448 7815168 1606 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1908 1606 231 231 0 1677 0 vsize: 7632 [startup+30.0014 s] Raw data (loadavg): 0.91 0.94 0.90 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 2019 0 0 0 2989 10 0 0 25 0 1 0 549830448 12316672 1869 4294967295 134512640 135450300 3221224624 3221223440 134536841 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3007 1869 231 231 0 2776 0 vsize: 12028 [startup+40.001 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 2389 0 0 0 3986 13 0 0 25 0 1 0 549830448 13426688 2046 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3278 2046 231 231 0 3047 0 vsize: 13112 [startup+50.0007 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 2481 0 0 0 4984 15 0 0 25 0 1 0 549830448 13721600 2138 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3350 2138 231 231 0 3119 0 vsize: 13400 [startup+60.0014 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 2568 0 0 0 5983 16 0 0 25 0 1 0 549830448 13873152 2225 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3387 2225 231 231 0 3156 0 vsize: 13548 [startup+70.0011 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 2647 0 0 0 6981 19 0 0 25 0 1 0 549830448 14024704 2304 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3424 2304 231 231 0 3193 0 vsize: 13696 [startup+80.0008 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 2747 0 0 0 7979 20 0 0 25 0 1 0 549830448 14426112 2404 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3522 2404 231 231 0 3291 0 vsize: 14088 [startup+90.0004 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 3258 0 0 0 8978 22 0 0 25 0 1 0 549830448 16195584 2530 4294967295 134512640 135450300 3221224624 3221223564 134530291 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3954 2530 231 231 0 3723 0 vsize: 15816 [startup+100.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 3355 0 0 0 9976 24 0 0 25 0 1 0 549830448 16506880 2627 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4030 2627 231 231 0 3799 0 vsize: 16120 [startup+110.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 3429 0 0 0 10975 26 0 0 25 0 1 0 549830448 16732160 2701 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4085 2701 231 231 0 3854 0 vsize: 16340 [startup+120.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 3501 0 0 0 11973 27 0 0 25 0 1 0 549830448 16932864 2773 4294967295 134512640 135450300 3221224624 3221223440 134536518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4134 2773 231 231 0 3903 0 vsize: 16536 [startup+130.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 3562 0 0 0 12973 28 0 0 25 0 1 0 549830448 16932864 2834 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4134 2834 231 231 0 3903 0 vsize: 16536 [startup+140.009 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 3615 0 0 0 13972 29 0 0 25 0 1 0 549830448 17162240 2887 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4190 2887 231 231 0 3959 0 vsize: 16760 [startup+150.009 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 3679 0 0 0 14971 31 0 0 25 0 1 0 549830448 17162240 2951 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4190 2951 231 231 0 3959 0 vsize: 16760 [startup+160.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 3728 0 0 0 15971 32 0 0 25 0 1 0 549830448 17297408 3000 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4223 3000 231 231 0 3992 0 vsize: 16892 [startup+170.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 3800 0 0 0 16969 33 0 0 25 0 1 0 549830448 17629184 3072 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4304 3072 231 231 0 4073 0 vsize: 17216 [startup+180.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 3870 0 0 0 17968 35 0 0 25 0 1 0 549830448 17629184 3142 4294967295 134512640 135450300 3221224624 3221223440 134537300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4304 3142 231 231 0 4073 0 vsize: 17216 [startup+190.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 4011 0 0 0 18967 36 0 0 25 0 1 0 549830448 17977344 3283 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4389 3283 231 231 0 4158 0 vsize: 17556 [startup+200.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 4099 0 0 0 19966 37 0 0 25 0 1 0 549830448 18333696 3371 4294967295 134512640 135450300 3221224624 3221223440 134537311 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4476 3371 231 231 0 4245 0 vsize: 17904 [startup+210.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 4199 0 0 0 20965 39 0 0 25 0 1 0 549830448 18530304 3471 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4524 3471 231 231 0 4293 0 vsize: 18096 [startup+220.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5046 0 0 0 21963 41 0 0 25 0 1 0 549830448 21848064 3549 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5334 3549 231 231 0 5103 0 vsize: 21336 [startup+230.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5105 0 0 0 22962 42 0 0 25 0 1 0 549830448 22028288 3608 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5378 3608 231 231 0 5147 0 vsize: 21512 [startup+240.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5149 0 0 0 23961 43 0 0 25 0 1 0 549830448 22028288 3652 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5378 3652 231 231 0 5147 0 vsize: 21512 [startup+250.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5208 0 0 0 24960 44 0 0 25 0 1 0 549830448 22028288 3711 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5378 3711 231 231 0 5147 0 vsize: 21512 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5301 0 0 0 25959 45 0 0 25 0 1 0 549830448 22417408 3804 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5473 3804 231 231 0 5242 0 vsize: 21892 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5375 0 0 0 26958 46 0 0 25 0 1 0 549830448 22417408 3878 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5473 3878 231 231 0 5242 0 vsize: 21892 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5436 0 0 0 27958 47 0 0 25 0 1 0 549830448 22622208 3939 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5523 3939 231 231 0 5292 0 vsize: 22092 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5476 0 0 0 28957 48 0 0 25 0 1 0 549830448 22622208 3979 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5523 3979 231 231 0 5292 0 vsize: 22092 [startup+300.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5526 0 0 0 29957 48 0 0 25 0 1 0 549830448 22839296 4029 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5576 4029 231 231 0 5345 0 vsize: 22304 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5576 0 0 0 30956 49 0 0 25 0 1 0 549830448 23035904 4079 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5624 4079 231 231 0 5393 0 vsize: 22496 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5630 0 0 0 31955 51 0 0 25 0 1 0 549830448 23269376 4133 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5681 4133 231 231 0 5450 0 vsize: 22724 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5668 0 0 0 32954 52 0 0 25 0 1 0 549830448 23269376 4171 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5681 4171 231 231 0 5450 0 vsize: 22724 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5717 0 0 0 33954 52 0 0 25 0 1 0 549830448 23515136 4220 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5741 4220 231 231 0 5510 0 vsize: 22964 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5749 0 0 0 34953 53 0 0 25 0 1 0 549830448 23515136 4252 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5741 4252 231 231 0 5510 0 vsize: 22964 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5795 0 0 0 35952 54 0 0 25 0 1 0 549830448 23515136 4298 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5741 4298 231 231 0 5510 0 vsize: 22964 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5833 0 0 0 36951 55 0 0 25 0 1 0 549830448 23515136 4336 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5741 4336 231 231 0 5510 0 vsize: 22964 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5868 0 0 0 37951 56 0 0 25 0 1 0 549830448 23515136 4371 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5741 4371 231 231 0 5510 0 vsize: 22964 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 5944 0 0 0 38950 56 0 0 25 0 1 0 549830448 23973888 4447 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5853 4447 231 231 0 5622 0 vsize: 23412 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6111 0 0 0 39949 58 0 0 25 0 1 0 549830448 23973888 4614 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5853 4614 231 231 0 5622 0 vsize: 23412 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6149 0 0 0 40949 58 0 0 25 0 1 0 549830448 23973888 4652 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5853 4652 231 231 0 5622 0 vsize: 23412 [startup+420.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6195 0 0 0 41948 60 0 0 25 0 1 0 549830448 24252416 4698 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5921 4698 231 231 0 5690 0 vsize: 23684 [startup+430.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6232 0 0 0 42948 60 0 0 25 0 1 0 549830448 24252416 4735 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5921 4735 231 231 0 5690 0 vsize: 23684 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6266 0 0 0 43947 61 0 0 25 0 1 0 549830448 24252416 4769 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5921 4769 231 231 0 5690 0 vsize: 23684 [startup+450.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6315 0 0 0 44946 62 0 0 25 0 1 0 549830448 24252416 4818 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5921 4818 231 231 0 5690 0 vsize: 23684 [startup+460.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6379 0 0 0 45945 63 0 0 25 0 1 0 549830448 24547328 4882 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5993 4882 231 231 0 5762 0 vsize: 23972 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6413 0 0 0 46945 64 0 0 25 0 1 0 549830448 24547328 4916 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5993 4916 231 231 0 5762 0 vsize: 23972 [startup+480.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6453 0 0 0 47944 65 0 0 25 0 1 0 549830448 24547328 4956 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5993 4956 231 231 0 5762 0 vsize: 23972 [startup+490.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6488 0 0 0 48943 66 0 0 25 0 1 0 549830448 24547328 4991 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5993 4991 231 231 0 5762 0 vsize: 23972 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6523 0 0 0 49942 67 0 0 25 0 1 0 549830448 24858624 5026 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6069 5026 231 231 0 5838 0 vsize: 24276 [startup+510.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6559 0 0 0 50942 68 0 0 25 0 1 0 549830448 24858624 5062 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6069 5062 231 231 0 5838 0 vsize: 24276 [startup+520.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6603 0 0 0 51941 68 0 0 25 0 1 0 549830448 24858624 5106 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6069 5106 231 231 0 5838 0 vsize: 24276 [startup+530.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6655 0 0 0 52941 69 0 0 25 0 1 0 549830448 24858624 5158 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6069 5158 231 231 0 5838 0 vsize: 24276 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6709 0 0 0 53940 70 0 0 25 0 1 0 549830448 25190400 5212 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6150 5212 231 231 0 5919 0 vsize: 24600 [startup+550.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6744 0 0 0 54940 70 0 0 25 0 1 0 549830448 25190400 5247 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6150 5247 231 231 0 5919 0 vsize: 24600 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6787 0 0 0 55939 71 0 0 25 0 1 0 549830448 25190400 5290 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6150 5290 231 231 0 5919 0 vsize: 24600 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6818 0 0 0 56939 72 0 0 25 0 1 0 549830448 25190400 5321 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6150 5321 231 231 0 5919 0 vsize: 24600 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6848 0 0 0 57938 73 0 0 25 0 1 0 549830448 25542656 5351 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6236 5351 231 231 0 6005 0 vsize: 24944 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6887 0 0 0 58938 73 0 0 25 0 1 0 549830448 25542656 5390 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6236 5390 231 231 0 6005 0 vsize: 24944 [startup+600.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 6936 0 0 0 59938 74 0 0 25 0 1 0 549830448 25542656 5439 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6236 5439 231 231 0 6005 0 vsize: 24944 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8513 0 0 0 60934 78 0 0 25 0 1 0 549830448 31834112 5479 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7772 5479 231 231 0 7541 0 vsize: 31088 [startup+620.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8541 0 0 0 61934 78 0 0 25 0 1 0 549830448 32206848 5507 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7863 5507 231 231 0 7632 0 vsize: 31452 [startup+630.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8592 0 0 0 62933 79 0 0 25 0 1 0 549830448 32403456 5558 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7911 5558 231 231 0 7680 0 vsize: 31644 [startup+640.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8623 0 0 0 63933 80 0 0 25 0 1 0 549830448 32403456 5589 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7911 5589 231 231 0 7680 0 vsize: 31644 [startup+650.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8661 0 0 0 64932 80 0 0 25 0 1 0 549830448 32403456 5627 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7911 5627 231 231 0 7680 0 vsize: 31644 [startup+660.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8696 0 0 0 65931 81 0 0 25 0 1 0 549830448 32403456 5662 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7911 5662 231 231 0 7680 0 vsize: 31644 [startup+670.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8734 0 0 0 66931 82 0 0 25 0 1 0 549830448 32800768 5700 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8008 5700 231 231 0 7777 0 vsize: 32032 [startup+680.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8768 0 0 0 67930 83 0 0 25 0 1 0 549830448 32800768 5734 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8008 5734 231 231 0 7777 0 vsize: 32032 [startup+690.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8811 0 0 0 68930 83 0 0 25 0 1 0 549830448 32800768 5777 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8008 5777 231 231 0 7777 0 vsize: 32032 [startup+700.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8839 0 0 0 69930 84 0 0 25 0 1 0 549830448 32800768 5805 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8008 5805 231 231 0 7777 0 vsize: 32032 [startup+710.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8872 0 0 0 70929 84 0 0 25 0 1 0 549830448 32800768 5838 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8008 5838 231 231 0 7777 0 vsize: 32032 [startup+720.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8905 0 0 0 71929 85 0 0 25 0 1 0 549830448 32800768 5871 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8008 5871 231 231 0 7777 0 vsize: 32032 [startup+730.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8939 0 0 0 72929 86 0 0 25 0 1 0 549830448 33222656 5905 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8111 5905 231 231 0 7880 0 vsize: 32444 [startup+740.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 8982 0 0 0 73928 86 0 0 25 0 1 0 549830448 33222656 5948 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8111 5948 231 231 0 7880 0 vsize: 32444 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9014 0 0 0 74928 87 0 0 25 0 1 0 549830448 33222656 5980 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8111 5980 231 231 0 7880 0 vsize: 32444 [startup+760.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9053 0 0 0 75927 88 0 0 25 0 1 0 549830448 33222656 6019 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8111 6019 231 231 0 7880 0 vsize: 32444 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9085 0 0 0 76926 89 0 0 25 0 1 0 549830448 33222656 6051 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8111 6051 231 231 0 7880 0 vsize: 32444 [startup+780.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9128 0 0 0 77926 89 0 0 25 0 1 0 549830448 33673216 6094 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8221 6094 231 231 0 7990 0 vsize: 32884 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9156 0 0 0 78925 90 0 0 25 0 1 0 549830448 33673216 6122 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8221 6122 231 231 0 7990 0 vsize: 32884 [startup+800.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9187 0 0 0 79924 91 0 0 25 0 1 0 549830448 33673216 6153 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8221 6153 231 231 0 7990 0 vsize: 32884 [startup+810.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9224 0 0 0 80923 92 0 0 25 0 1 0 549830448 33673216 6190 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8221 6190 231 231 0 7990 0 vsize: 32884 [startup+820.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9257 0 0 0 81923 93 0 0 25 0 1 0 549830448 33673216 6223 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8221 6223 231 231 0 7990 0 vsize: 32884 [startup+830.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9289 0 0 0 82922 94 0 0 25 0 1 0 549830448 33673216 6255 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8221 6255 231 231 0 7990 0 vsize: 32884 [startup+840.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9324 0 0 0 83922 94 0 0 25 0 1 0 549830448 33673216 6290 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8221 6290 231 231 0 7990 0 vsize: 32884 [startup+850.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9362 0 0 0 84921 95 0 0 25 0 1 0 549830448 34148352 6328 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8337 6328 231 231 0 8106 0 vsize: 33348 [startup+860.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9394 0 0 0 85920 96 0 0 25 0 1 0 549830448 34148352 6360 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8337 6360 231 231 0 8106 0 vsize: 33348 [startup+870.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9420 0 0 0 86920 97 0 0 25 0 1 0 549830448 34148352 6386 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8337 6386 231 231 0 8106 0 vsize: 33348 [startup+880.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9451 0 0 0 87919 98 0 0 25 0 1 0 549830448 34148352 6417 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8337 6417 231 231 0 8106 0 vsize: 33348 [startup+890.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9479 0 0 0 88919 98 0 0 25 0 1 0 549830448 34148352 6445 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8337 6445 231 231 0 8106 0 vsize: 33348 [startup+900.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9515 0 0 0 89918 99 0 0 25 0 1 0 549830448 34148352 6481 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8337 6481 231 231 0 8106 0 vsize: 33348 [startup+910.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9550 0 0 0 90917 100 0 0 25 0 1 0 549830448 34148352 6516 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8337 6516 231 231 0 8106 0 vsize: 33348 [startup+920.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9578 0 0 0 91917 101 0 0 25 0 1 0 549830448 34656256 6544 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8461 6544 231 231 0 8230 0 vsize: 33844 [startup+930.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9607 0 0 0 92916 101 0 0 25 0 1 0 549830448 34656256 6573 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8461 6573 231 231 0 8230 0 vsize: 33844 [startup+940.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9635 0 0 0 93915 102 0 0 25 0 1 0 549830448 34656256 6601 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8461 6601 231 231 0 8230 0 vsize: 33844 [startup+950.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9658 0 0 0 94915 103 0 0 25 0 1 0 549830448 34656256 6624 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8461 6624 231 231 0 8230 0 vsize: 33844 [startup+960.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9681 0 0 0 95914 104 0 0 25 0 1 0 549830448 34656256 6647 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8461 6647 231 231 0 8230 0 vsize: 33844 [startup+970.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9703 0 0 0 96914 105 0 0 25 0 1 0 549830448 34656256 6669 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8461 6669 231 231 0 8230 0 vsize: 33844 [startup+980.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9734 0 0 0 97913 105 0 0 25 0 1 0 549830448 34656256 6700 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8461 6700 231 231 0 8230 0 vsize: 33844 [startup+990.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9763 0 0 0 98913 106 0 0 25 0 1 0 549830448 34656256 6729 4294967295 134512640 135450300 3221224624 3221223360 134538739 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8461 6729 231 231 0 8230 0 vsize: 33844 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9794 0 0 0 99912 107 0 0 25 0 1 0 549830448 34656256 6760 4294967295 134512640 135450300 3221224624 3221223440 134536422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8461 6760 231 231 0 8230 0 vsize: 33844 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9828 0 0 0 100912 107 0 0 25 0 1 0 549830448 35192832 6794 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8592 6794 231 231 0 8361 0 vsize: 34368 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9853 0 0 0 101911 108 0 0 25 0 1 0 549830448 35192832 6819 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8592 6819 231 231 0 8361 0 vsize: 34368 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9880 0 0 0 102910 109 0 0 25 0 1 0 549830448 35192832 6846 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8592 6846 231 231 0 8361 0 vsize: 34368 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9914 0 0 0 103910 110 0 0 25 0 1 0 549830448 35192832 6880 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8592 6880 231 231 0 8361 0 vsize: 34368 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9947 0 0 0 104910 110 0 0 25 0 1 0 549830448 35192832 6913 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8592 6913 231 231 0 8361 0 vsize: 34368 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9971 0 0 0 105909 110 0 0 25 0 1 0 549830448 35192832 6937 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8592 6937 231 231 0 8361 0 vsize: 34368 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 9998 0 0 0 106909 111 0 0 25 0 1 0 549830448 35192832 6964 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8592 6964 231 231 0 8361 0 vsize: 34368 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10035 0 0 0 107909 112 0 0 25 0 1 0 549830448 35192832 7001 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8592 7001 231 231 0 8361 0 vsize: 34368 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10054 0 0 0 108908 112 0 0 25 0 1 0 549830448 35192832 7020 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8592 7020 231 231 0 8361 0 vsize: 34368 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10086 0 0 0 109908 113 0 0 25 0 1 0 549830448 35192832 7052 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8592 7052 231 231 0 8361 0 vsize: 34368 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10112 0 0 0 110908 113 0 0 25 0 1 0 549830448 35766272 7078 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8732 7078 231 231 0 8501 0 vsize: 34928 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10138 0 0 0 111908 114 0 0 25 0 1 0 549830448 35766272 7104 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8732 7104 231 231 0 8501 0 vsize: 34928 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10171 0 0 0 112907 114 0 0 25 0 1 0 549830448 35766272 7137 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8732 7137 231 231 0 8501 0 vsize: 34928 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10205 0 0 0 113907 115 0 0 25 0 1 0 549830448 35766272 7171 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8732 7171 231 231 0 8501 0 vsize: 34928 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10226 0 0 0 114907 115 0 0 25 0 1 0 549830448 35766272 7192 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8732 7192 231 231 0 8501 0 vsize: 34928 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10244 0 0 0 115906 115 0 0 25 0 1 0 549830448 35766272 7210 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8732 7210 231 231 0 8501 0 vsize: 34928 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10281 0 0 0 116906 116 0 0 25 0 1 0 549830448 35766272 7247 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8732 7247 231 231 0 8501 0 vsize: 34928 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10303 0 0 0 117906 116 0 0 25 0 1 0 549830448 35766272 7269 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8732 7269 231 231 0 8501 0 vsize: 34928 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10332 0 0 0 118905 117 0 0 25 0 1 0 549830448 35766272 7298 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8732 7298 231 231 0 8501 0 vsize: 34928 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14473 Raw data (stat): 14473 (PBS4) R 14472 22612 22611 0 -1 0 10353 0 0 0 119905 118 0 0 25 0 1 0 549830448 35766272 7319 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8732 7319 231 231 0 8501 0 vsize: 34928 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 14473 Raw data (stat): 14473 (PBS4) Z 14472 22612 22611 0 -1 1036 10353 0 0 0 119905 119 0 0 25 0 1 0 549830448 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.04 CPU time (s): 1200.25 CPU user time (s): 1199.05 CPU system time (s): 1.19682 CPU usage (%): 100.017 Max. virtual memory (Kb): 34928 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####