Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb |
MD5SUM | 9689869ef48b5a0c26d142f61d149c48 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 51200 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 123 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1061759 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 128000000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 268469758 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.08 |
Number of variables | 17883 |
Total number of constraints | 4322 |
Number of constraints which are clauses | 426 |
Number of constraints which are cardinality constraints (but not clauses) | 1177 |
Number of constraints which are nor clauses,nor cardinality constraints | 2719 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 55 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-04-20 23:35:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20195 boxname=wulflinc5 idbench=1554 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 9689869ef48b5a0c26d142f61d149c48 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-railway_8_1_0.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-railway_8_1_0.opb IDLAUNCH: 20195 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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 : 2 cpu MHz : 451.007 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: 443136 kB Buffers: 39220 kB Cached: 526512 kB SwapCached: 2272 kB Active: 222444 kB Inactive: 348500 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 442884 kB SwapTotal: 2097136 kB SwapFree: 2094864 kB Dirty: 24 kB Writeback: 0 kB Mapped: 6940 kB Slab: 14984 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-20 23:55:59 (client local time) WITH STATUS 0 IN 1200.21 SECONDS stats: 20195 7 1200.21 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-railway_8_1_0.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.84 0.94 0.90 2/54 12613 Raw data (stat): 12613 (runsolver) R 12612 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 482224380 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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.87 0.94 0.90 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 1779 0 0 0 989 10 0 0 25 0 1 0 482224380 8462336 1775 4294967295 134512640 135450300 3221224624 3221223232 134537664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2066 1775 231 231 0 1835 0 vsize: 8264 [startup+20.0011 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 2000 0 0 0 1982 17 0 0 25 0 1 0 482224380 9445376 1996 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2306 1996 231 231 0 2075 0 vsize: 9224 [startup+30.0023 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 2206 0 0 0 2976 23 0 0 25 0 1 0 482224380 10108928 2202 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2468 2202 231 231 0 2237 0 vsize: 9872 [startup+40.002 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 2593 0 0 0 3970 28 0 0 25 0 1 0 482224380 13590528 2554 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3318 2554 231 231 0 3087 0 vsize: 13272 [startup+50.0023 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 2892 0 0 0 4968 30 0 0 25 0 1 0 482224380 14307328 2734 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3493 2734 231 231 0 3262 0 vsize: 13972 [startup+60.0021 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3053 0 0 0 5967 32 0 0 25 0 1 0 482224380 14446592 2825 4294967295 134512640 135450300 3221224624 3221223232 134537764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3527 2825 231 231 0 3296 0 vsize: 14108 [startup+70.0028 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3141 0 0 0 6965 34 0 0 25 0 1 0 482224380 14766080 2878 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3605 2878 231 231 0 3374 0 vsize: 14420 [startup+80.004 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3231 0 0 0 7964 35 0 0 25 0 1 0 482224380 14766080 2898 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3605 2898 231 231 0 3374 0 vsize: 14420 [startup+90.0033 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3302 0 0 0 8963 36 0 0 25 0 1 0 482224380 14897152 2934 4294967295 134512640 135450300 3221224624 3221223440 134537308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3637 2934 231 231 0 3406 0 vsize: 14548 [startup+100.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3419 0 0 0 9961 38 0 0 25 0 1 0 482224380 15036416 2981 4294967295 134512640 135450300 3221224624 3221223232 134537648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3671 2981 231 231 0 3440 0 vsize: 14684 [startup+110.004 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3509 0 0 0 10960 39 0 0 25 0 1 0 482224380 15200256 3036 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3711 3036 231 231 0 3480 0 vsize: 14844 [startup+120.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3775 0 0 0 11958 41 0 0 25 0 1 0 482224380 15728640 3135 4294967295 134512640 135450300 3221224624 3221223360 134538020 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3840 3135 231 231 0 3609 0 vsize: 15360 [startup+130.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3840 0 0 0 12956 43 0 0 25 0 1 0 482224380 15888384 3165 4294967295 134512640 135450300 3221224624 3221223564 134530260 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3879 3165 231 231 0 3648 0 vsize: 15516 [startup+140.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 3953 0 0 0 13954 45 0 0 25 0 1 0 482224380 16019456 3243 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3911 3243 231 231 0 3680 0 vsize: 15644 [startup+150.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4089 0 0 0 14952 47 0 0 25 0 1 0 482224380 16289792 3309 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3977 3309 231 231 0 3746 0 vsize: 15908 [startup+160.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4188 0 0 0 15950 49 0 0 25 0 1 0 482224380 16437248 3373 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4013 3373 231 231 0 3782 0 vsize: 16052 [startup+170.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4342 0 0 0 16949 50 0 0 25 0 1 0 482224380 16719872 3492 4294967295 134512640 135450300 3221224624 3221223084 134572888 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4082 3492 231 231 0 3851 0 vsize: 16328 [startup+180.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4493 0 0 0 17946 52 0 0 25 0 1 0 482224380 16719872 3573 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4082 3573 231 231 0 3851 0 vsize: 16328 [startup+190.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4579 0 0 0 18945 54 0 0 25 0 1 0 482224380 16719872 3624 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4082 3624 231 231 0 3851 0 vsize: 16328 [startup+200.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4650 0 0 0 19945 54 0 0 25 0 1 0 482224380 16867328 3660 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4118 3660 231 231 0 3887 0 vsize: 16472 [startup+210.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4717 0 0 0 20944 56 0 0 25 0 1 0 482224380 17002496 3692 4294967295 134512640 135450300 3221224624 3221222976 134533246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4151 3692 231 231 0 3920 0 vsize: 16604 [startup+220.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4824 0 0 0 21942 57 0 0 25 0 1 0 482224380 17137664 3729 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4184 3729 231 231 0 3953 0 vsize: 16736 [startup+230.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4928 0 0 0 22941 59 0 0 25 0 1 0 482224380 21483520 3798 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5245 3798 231 231 0 5014 0 vsize: 20980 [startup+240.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 4989 0 0 0 23939 61 0 0 25 0 1 0 482224380 21630976 3824 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5281 3824 231 231 0 5050 0 vsize: 21124 [startup+250.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5034 0 0 0 24938 62 0 0 25 0 1 0 482224380 21630976 3834 4294967295 134512640 135450300 3221224624 3221223232 134537621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5281 3834 231 231 0 5050 0 vsize: 21124 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5083 0 0 0 25937 63 0 0 25 0 1 0 482224380 21630976 3848 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5281 3848 231 231 0 5050 0 vsize: 21124 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5181 0 0 0 26935 65 0 0 25 0 1 0 482224380 21770240 3876 4294967295 134512640 135450300 3221224624 3221223536 134597331 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5315 3876 231 231 0 5084 0 vsize: 21260 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5249 0 0 0 27934 66 0 0 25 0 1 0 482224380 21909504 3909 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5349 3909 231 231 0 5118 0 vsize: 21396 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5365 0 0 0 28932 69 0 0 25 0 1 0 482224380 21909504 3990 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5349 3990 231 231 0 5118 0 vsize: 21396 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5496 0 0 0 29930 71 0 0 25 0 1 0 482224380 21909504 4086 4294967295 134512640 135450300 3221224624 3221223360 134537879 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5349 4086 231 231 0 5118 0 vsize: 21396 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5861 0 0 0 30928 73 0 0 25 0 1 0 482224380 22831104 4188 4294967295 134512640 135450300 3221224624 3221223360 134538084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5574 4188 231 231 0 5343 0 vsize: 22296 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5913 0 0 0 31927 74 0 0 25 0 1 0 482224380 22831104 4205 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5574 4205 231 231 0 5343 0 vsize: 22296 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 5974 0 0 0 32926 76 0 0 25 0 1 0 482224380 22978560 4231 4294967295 134512640 135450300 3221224624 3221223564 134530387 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5610 4231 231 231 0 5379 0 vsize: 22440 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6026 0 0 0 33925 77 0 0 25 0 1 0 482224380 22978560 4248 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5610 4248 231 231 0 5379 0 vsize: 22440 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6085 0 0 0 34923 79 0 0 25 0 1 0 482224380 23126016 4272 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5646 4272 231 231 0 5415 0 vsize: 22584 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6188 0 0 0 35922 81 0 0 25 0 1 0 482224380 23281664 4340 4294967295 134512640 135450300 3221224624 3221223076 134533412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5684 4340 231 231 0 5453 0 vsize: 22736 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6235 0 0 0 36921 82 0 0 25 0 1 0 482224380 23281664 4352 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5684 4352 231 231 0 5453 0 vsize: 22736 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6322 0 0 0 37920 84 0 0 25 0 1 0 482224380 23441408 4404 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5723 4404 231 231 0 5492 0 vsize: 22892 [startup+390.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6418 0 0 0 38919 85 0 0 25 0 1 0 482224380 23605248 4430 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5763 4430 231 231 0 5532 0 vsize: 23052 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6464 0 0 0 39917 87 0 0 25 0 1 0 482224380 23605248 4441 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5763 4441 231 231 0 5532 0 vsize: 23052 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6512 0 0 0 40916 88 0 0 25 0 1 0 482224380 23605248 4454 4294967295 134512640 135450300 3221224624 3221223232 134537600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5763 4454 231 231 0 5532 0 vsize: 23052 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6596 0 0 0 41915 89 0 0 25 0 1 0 482224380 23605248 4468 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5763 4468 231 231 0 5532 0 vsize: 23052 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6627 0 0 0 42912 92 0 0 25 0 1 0 482224380 23769088 4499 4294967295 134512640 135450300 3221224624 3221223484 134539316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5803 4499 231 231 0 5572 0 vsize: 23212 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6718 0 0 0 43911 94 0 0 25 0 1 0 482224380 23769088 4520 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5803 4520 231 231 0 5572 0 vsize: 23212 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6764 0 0 0 44909 96 0 0 25 0 1 0 482224380 23769088 4531 4294967295 134512640 135450300 3221224624 3221223360 134538084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5803 4531 231 231 0 5572 0 vsize: 23212 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 6846 0 0 0 45908 97 0 0 25 0 1 0 482224380 23924736 4578 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5841 4578 231 231 0 5610 0 vsize: 23364 [startup+470.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7003 0 0 0 46906 99 0 0 25 0 1 0 482224380 24059904 4700 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5874 4700 231 231 0 5643 0 vsize: 23496 [startup+480.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7083 0 0 0 47905 100 0 0 25 0 1 0 482224380 24059904 4745 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5874 4745 231 231 0 5643 0 vsize: 23496 [startup+490.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7153 0 0 0 48904 101 0 0 25 0 1 0 482224380 24059904 4780 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5874 4780 231 231 0 5643 0 vsize: 23496 [startup+500.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7321 0 0 0 49903 103 0 0 25 0 1 0 482224380 24059904 4878 4294967295 134512640 135450300 3221224624 3221223360 134538418 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5874 4878 231 231 0 5643 0 vsize: 23496 [startup+510.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7461 0 0 0 50901 105 0 0 25 0 1 0 482224380 24195072 4983 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5907 4983 231 231 0 5676 0 vsize: 23628 [startup+520.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7532 0 0 0 51900 106 0 0 25 0 1 0 482224380 24195072 5019 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5907 5019 231 231 0 5676 0 vsize: 23628 [startup+530.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7623 0 0 0 52899 107 0 0 25 0 1 0 482224380 24195072 5040 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5907 5040 231 231 0 5676 0 vsize: 23628 [startup+540.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7671 0 0 0 53898 108 0 0 25 0 1 0 482224380 24317952 5053 4294967295 134512640 135450300 3221224624 3221223552 134539679 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5937 5053 231 231 0 5706 0 vsize: 23748 [startup+550.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7746 0 0 0 54897 109 0 0 25 0 1 0 482224380 24317952 5093 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5937 5093 231 231 0 5706 0 vsize: 23748 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7842 0 0 0 55897 110 0 0 25 0 1 0 482224380 24317952 5154 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5937 5154 231 231 0 5706 0 vsize: 23748 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 7931 0 0 0 56896 111 0 0 25 0 1 0 482224380 24317952 5173 4294967295 134512640 135450300 3221224624 3221223360 134538788 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5937 5173 231 231 0 5706 0 vsize: 23748 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8070 0 0 0 57894 113 0 0 25 0 1 0 482224380 24625152 5277 4294967295 134512640 135450300 3221224624 3221223360 134538276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6012 5277 231 231 0 5781 0 vsize: 24048 [startup+590.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8197 0 0 0 58894 114 0 0 25 0 1 0 482224380 24625152 5369 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6012 5369 231 231 0 5781 0 vsize: 24048 [startup+600.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8290 0 0 0 59892 115 0 0 25 0 1 0 482224380 24625152 5427 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6012 5427 231 231 0 5781 0 vsize: 24048 [startup+610.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8340 0 0 0 60891 117 0 0 25 0 1 0 482224380 24625152 5442 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6012 5442 231 231 0 5781 0 vsize: 24048 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8392 0 0 0 61890 118 0 0 25 0 1 0 482224380 24760320 5459 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6045 5459 231 231 0 5814 0 vsize: 24180 [startup+630.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8485 0 0 0 62889 119 0 0 25 0 1 0 482224380 24760320 5482 4294967295 134512640 135450300 3221224624 3221223360 134537984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6045 5482 231 231 0 5814 0 vsize: 24180 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8577 0 0 0 63888 120 0 0 25 0 1 0 482224380 24760320 5539 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6045 5539 231 231 0 5814 0 vsize: 24180 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8621 0 0 0 64887 122 0 0 25 0 1 0 482224380 24760320 5548 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6045 5548 231 231 0 5814 0 vsize: 24180 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8668 0 0 0 65885 124 0 0 25 0 1 0 482224380 24760320 5560 4294967295 134512640 135450300 3221224624 3221223232 134537606 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6045 5560 231 231 0 5814 0 vsize: 24180 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8722 0 0 0 66884 125 0 0 25 0 1 0 482224380 24944640 5579 4294967295 134512640 135450300 3221224624 3221223280 134532777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6090 5579 231 231 0 5859 0 vsize: 24360 [startup+680.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8771 0 0 0 67883 126 0 0 25 0 1 0 482224380 25071616 5593 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6121 5593 231 231 0 5890 0 vsize: 24484 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8853 0 0 0 68881 128 0 0 25 0 1 0 482224380 25214976 5640 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6156 5640 231 231 0 5925 0 vsize: 24624 [startup+700.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 8894 0 0 0 69881 128 0 0 25 0 1 0 482224380 25214976 5646 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6156 5646 231 231 0 5925 0 vsize: 24624 [startup+710.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9319 0 0 0 70879 130 0 0 25 0 1 0 482224380 26787840 5651 4294967295 134512640 135450300 3221224624 3221223232 134537621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6540 5651 231 231 0 6309 0 vsize: 26160 [startup+720.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9378 0 0 0 71878 132 0 0 25 0 1 0 482224380 26935296 5675 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6576 5675 231 231 0 6345 0 vsize: 26304 [startup+730.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9425 0 0 0 72877 133 0 0 25 0 1 0 482224380 26935296 5687 4294967295 134512640 135450300 3221224624 3221223232 134537606 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6576 5687 231 231 0 6345 0 vsize: 26304 [startup+740.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9508 0 0 0 73876 134 0 0 25 0 1 0 482224380 26935296 5700 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6576 5700 231 231 0 6345 0 vsize: 26304 [startup+750.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9550 0 0 0 74876 135 0 0 25 0 1 0 482224380 26935296 5707 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6576 5707 231 231 0 6345 0 vsize: 26304 [startup+760.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9595 0 0 0 75875 136 0 0 25 0 1 0 482224380 26935296 5717 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6576 5717 231 231 0 6345 0 vsize: 26304 [startup+770.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9658 0 0 0 76873 137 0 0 25 0 1 0 482224380 26935296 5745 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6576 5745 231 231 0 6345 0 vsize: 26304 [startup+780.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9708 0 0 0 77873 138 0 0 25 0 1 0 482224380 27070464 5760 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6609 5760 231 231 0 6378 0 vsize: 26436 [startup+790.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9795 0 0 0 78872 139 0 0 25 0 1 0 482224380 27070464 5812 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6609 5812 231 231 0 6378 0 vsize: 26436 [startup+800.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 9925 0 0 0 79869 142 0 0 25 0 1 0 482224380 35459072 5907 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8657 5907 231 231 0 8426 0 vsize: 34628 [startup+810.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10091 0 0 0 80868 144 0 0 25 0 1 0 482224380 35655680 6003 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8705 6003 231 231 0 8474 0 vsize: 34820 [startup+820.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10135 0 0 0 81867 145 0 0 25 0 1 0 482224380 35655680 6012 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8705 6012 231 231 0 8474 0 vsize: 34820 [startup+830.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10181 0 0 0 82866 146 0 0 25 0 1 0 482224380 35655680 6023 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8705 6023 231 231 0 8474 0 vsize: 34820 [startup+840.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10272 0 0 0 83865 147 0 0 25 0 1 0 482224380 35811328 6044 4294967295 134512640 135450300 3221224624 3221223488 134539289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8743 6044 231 231 0 8512 0 vsize: 34972 [startup+850.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10313 0 0 0 84864 148 0 0 25 0 1 0 482224380 35811328 6050 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8743 6050 231 231 0 8512 0 vsize: 34972 [startup+860.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10362 0 0 0 85863 149 0 0 25 0 1 0 482224380 35811328 6064 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8743 6064 231 231 0 8512 0 vsize: 34972 [startup+870.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10410 0 0 0 86861 152 0 0 25 0 1 0 482224380 35811328 6077 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8743 6077 231 231 0 8512 0 vsize: 34972 [startup+880.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10459 0 0 0 87860 153 0 0 25 0 1 0 482224380 35811328 6091 4294967295 134512640 135450300 3221224624 3221223360 134537999 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8743 6091 231 231 0 8512 0 vsize: 34972 [startup+890.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10563 0 0 0 88859 154 0 0 25 0 1 0 482224380 35811328 6125 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8743 6125 231 231 0 8512 0 vsize: 34972 [startup+900.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10606 0 0 0 89857 156 0 0 25 0 1 0 482224380 35811328 6133 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8743 6133 231 231 0 8512 0 vsize: 34972 [startup+910.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10651 0 0 0 90856 157 0 0 25 0 1 0 482224380 35934208 6143 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8773 6143 231 231 0 8542 0 vsize: 35092 [startup+920.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10752 0 0 0 91854 160 0 0 25 0 1 0 482224380 35934208 6209 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8773 6209 231 231 0 8542 0 vsize: 35092 [startup+930.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10869 0 0 0 92852 161 0 0 25 0 1 0 482224380 35934208 6291 4294967295 134512640 135450300 3221224624 3221223232 134537616 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8773 6291 231 231 0 8542 0 vsize: 35092 [startup+940.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10937 0 0 0 93851 163 0 0 25 0 1 0 482224380 35934208 6324 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8773 6324 231 231 0 8542 0 vsize: 35092 [startup+950.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 10981 0 0 0 94850 164 0 0 25 0 1 0 482224380 35934208 6333 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8773 6333 231 231 0 8542 0 vsize: 35092 [startup+960.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11031 0 0 0 95849 165 0 0 25 0 1 0 482224380 35934208 6348 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8773 6348 231 231 0 8542 0 vsize: 35092 [startup+970.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11140 0 0 0 96847 167 0 0 25 0 1 0 482224380 36065280 6422 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8805 6422 231 231 0 8574 0 vsize: 35220 [startup+980.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11242 0 0 0 97845 169 0 0 25 0 1 0 482224380 36065280 6489 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8805 6489 231 231 0 8574 0 vsize: 35220 [startup+990.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11423 0 0 0 98844 170 0 0 25 0 1 0 482224380 36274176 6600 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8856 6600 231 231 0 8625 0 vsize: 35424 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11572 0 0 0 99843 172 0 0 25 0 1 0 482224380 36409344 6714 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8889 6714 231 231 0 8658 0 vsize: 35556 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11668 0 0 0 100841 174 0 0 25 0 1 0 482224380 36409344 6775 4294967295 134512640 135450300 3221224624 3221223360 134538427 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8889 6775 231 231 0 8658 0 vsize: 35556 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11759 0 0 0 101840 175 0 0 25 0 1 0 482224380 36409344 6866 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8889 6866 231 231 0 8658 0 vsize: 35556 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11867 0 0 0 102839 177 0 0 25 0 1 0 482224380 36409344 6904 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8889 6904 231 231 0 8658 0 vsize: 35556 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11911 0 0 0 103837 178 0 0 25 0 1 0 482224380 36409344 6913 4294967295 134512640 135450300 3221224624 3221223548 134539745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8889 6913 231 231 0 8658 0 vsize: 35556 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 11953 0 0 0 104837 179 0 0 25 0 1 0 482224380 36409344 6920 4294967295 134512640 135450300 3221224624 3221223360 134537999 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8889 6920 231 231 0 8658 0 vsize: 35556 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12012 0 0 0 105836 180 0 0 25 0 1 0 482224380 36630528 6944 4294967295 134512640 135450300 3221224624 3221223360 134538724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8943 6944 231 231 0 8712 0 vsize: 35772 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12059 0 0 0 106835 181 0 0 25 0 1 0 482224380 36630528 6956 4294967295 134512640 135450300 3221224624 3221223232 134537639 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8943 6956 231 231 0 8712 0 vsize: 35772 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12101 0 0 0 107834 182 0 0 25 0 1 0 482224380 36630528 6963 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8943 6963 231 231 0 8712 0 vsize: 35772 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12192 0 0 0 108832 184 0 0 25 0 1 0 482224380 36765696 6984 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8976 6984 231 231 0 8745 0 vsize: 35904 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12242 0 0 0 109832 185 0 0 25 0 1 0 482224380 36765696 6999 4294967295 134512640 135450300 3221224624 3221223488 134539347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8976 6999 231 231 0 8745 0 vsize: 35904 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12283 0 0 0 110830 186 0 0 25 0 1 0 482224380 36765696 7005 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8976 7005 231 231 0 8745 0 vsize: 35904 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12329 0 0 0 111829 188 0 0 25 0 1 0 482224380 36765696 7016 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8976 7016 231 231 0 8745 0 vsize: 35904 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12381 0 0 0 112828 189 0 0 25 0 1 0 482224380 36765696 7033 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8976 7033 231 231 0 8745 0 vsize: 35904 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12428 0 0 0 113827 190 0 0 25 0 1 0 482224380 36765696 7045 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8976 7045 231 231 0 8745 0 vsize: 35904 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12471 0 0 0 114826 191 0 0 25 0 1 0 482224380 36765696 7053 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8976 7053 231 231 0 8745 0 vsize: 35904 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12522 0 0 0 115824 193 0 0 25 0 1 0 482224380 36876288 7069 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9003 7069 231 231 0 8772 0 vsize: 36012 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12598 0 0 0 116823 195 0 0 25 0 1 0 482224380 36876288 7075 4294967295 134512640 135450300 3221224624 3221223360 134538427 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9003 7075 231 231 0 8772 0 vsize: 36012 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12637 0 0 0 117822 196 0 0 25 0 1 0 482224380 36876288 7079 4294967295 134512640 135450300 3221224624 3221223360 134538245 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9003 7079 231 231 0 8772 0 vsize: 36012 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12682 0 0 0 118821 197 0 0 25 0 1 0 482224380 36876288 7089 4294967295 134512640 135450300 3221224624 3221223232 134537616 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9003 7089 231 231 0 8772 0 vsize: 36012 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12613 Raw data (stat): 12613 (PBS4) R 12612 24215 24214 0 -1 0 12699 0 0 0 119819 199 0 0 25 0 1 0 482224380 36876288 7106 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9003 7106 231 231 0 8772 0 vsize: 36012 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 12613 Raw data (stat): 12613 (PBS4) Z 12612 24215 24214 0 -1 1036 12699 0 0 0 119819 201 0 0 25 0 1 0 482224380 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.21 CPU user time (s): 1198.19 CPU system time (s): 2.01469 CPU usage (%): 100.014 Max. virtual memory (Kb): 36012 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####