Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
MD5SUM | b3a3f977e810fc2043ea057a8d94a7d8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -34 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 945 |
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 | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.07 |
Number of variables | 945 |
Total number of constraints | 58245 |
Number of constraints which are clauses | 58245 |
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 | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc30 THE 2005-04-17 17:03:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2976 boxname=wulflinc30 idbench=331 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: b3a3f977e810fc2043ea057a8d94a7d8 /oldhome/oroussel/tmp/wulflinc30/normalized-frb45-21-3.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-frb45-21-3.opb IDLAUNCH: 2976 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 701552 kB Buffers: 39244 kB Cached: 252000 kB SwapCached: 0 kB Active: 93828 kB Inactive: 200304 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 701300 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6940 kB Slab: 33156 kB Committed_AS: 63492 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 17:23:46 (client local time) WITH STATUS 0 IN 1200.27 SECONDS stats: 2976 7 1200.27 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-frb45-21-3.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.98 0.92 2/54 3651 Raw data (stat): 3651 (runsolver) R 3650 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512165585 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0001 s] Raw data (loadavg): 0.88 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 3262 0 0 0 991 8 0 0 25 0 1 0 512165585 20619264 2916 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5034 2916 231 231 0 4803 0 vsize: 20136 [startup+20.0009 s] Raw data (loadavg): 0.89 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 5013 0 0 0 1987 12 0 0 25 0 1 0 512165585 20754432 4667 4294967295 134512640 135450300 3221224640 3221223472 134549514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5067 4667 231 231 0 4836 0 vsize: 20268 [startup+30.0009 s] Raw data (loadavg): 0.91 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 7050 0 0 0 2981 18 0 0 25 0 1 0 512165585 37806080 6704 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9230 6704 231 231 0 8999 0 vsize: 36920 [startup+40.0004 s] Raw data (loadavg): 0.92 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 9040 0 0 0 3976 23 0 0 25 0 1 0 512165585 37806080 8694 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9230 8694 231 231 0 8999 0 vsize: 36920 [startup+50.0012 s] Raw data (loadavg): 0.93 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 10664 0 0 0 4973 26 0 0 25 0 1 0 512165585 71495680 10318 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17455 10318 231 231 0 17224 0 vsize: 69820 [startup+60.0013 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 11879 0 0 0 5971 29 0 0 25 0 1 0 512165585 71639040 11533 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17490 11533 231 231 0 17259 0 vsize: 69960 [startup+70.0018 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 13494 0 0 0 6967 32 0 0 25 0 1 0 512165585 71639040 13148 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17490 13149 231 231 0 17259 0 vsize: 69960 [startup+80.0016 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 15184 0 0 0 7964 36 0 0 25 0 1 0 512165585 73490432 14453 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17942 14453 231 231 0 17711 0 vsize: 71768 [startup+90.0017 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 16112 0 0 0 8962 39 0 0 25 0 1 0 512165585 74612736 15381 4294967295 134512640 135450300 3221224640 3221223376 134538743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18216 15381 231 231 0 17985 0 vsize: 72864 [startup+100.002 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 16782 0 0 0 9960 41 0 0 25 0 1 0 512165585 75726848 16051 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18488 16051 231 231 0 18257 0 vsize: 73952 [startup+110.002 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 18278 0 0 0 10958 43 0 0 25 0 1 0 512165585 76038144 17547 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18564 17547 231 231 0 18333 0 vsize: 74256 [startup+120.003 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 19487 0 0 0 11953 47 0 0 25 0 1 0 512165585 143765504 18756 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35099 18756 231 231 0 34868 0 vsize: 140396 [startup+130.002 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 19913 0 0 0 12953 48 0 0 25 0 1 0 512165585 143765504 19182 4294967295 134512640 135450300 3221224640 3221223116 134572098 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35099 19182 231 231 0 34868 0 vsize: 140396 [startup+140.002 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 19957 0 0 0 13953 48 0 0 25 0 1 0 512165585 143912960 19226 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35135 19226 231 231 0 34904 0 vsize: 140540 [startup+150.003 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 20207 0 0 0 14952 49 0 0 25 0 1 0 512165585 144187392 19476 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35202 19476 231 231 0 34971 0 vsize: 140808 [startup+160.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3651 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 21497 0 0 0 15950 52 0 0 25 0 1 0 512165585 144334848 20766 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35238 20766 231 231 0 35007 0 vsize: 140952 [startup+170.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 22794 0 0 0 16947 54 0 0 25 0 1 0 512165585 144605184 22063 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35304 22063 231 231 0 35073 0 vsize: 141216 [startup+180.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 22907 0 0 0 17947 55 0 0 25 0 1 0 512165585 145039360 22176 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35410 22176 231 231 0 35179 0 vsize: 141640 [startup+190.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 22938 0 0 0 18947 55 0 0 25 0 1 0 512165585 145195008 22207 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35448 22207 231 231 0 35217 0 vsize: 141792 [startup+200.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 22975 0 0 0 19946 56 0 0 25 0 1 0 512165585 145338368 22244 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35483 22244 231 231 0 35252 0 vsize: 141932 [startup+210.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 23194 0 0 0 20946 56 0 0 25 0 1 0 512165585 145612800 22463 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35550 22463 231 231 0 35319 0 vsize: 142200 [startup+220.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 24488 0 0 0 21943 59 0 0 25 0 1 0 512165585 145752064 23757 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35584 23757 231 231 0 35353 0 vsize: 142336 [startup+230.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 24583 0 0 0 22943 60 0 0 25 0 1 0 512165585 146173952 23852 4294967295 134512640 135450300 3221224640 3221223024 134602494 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35687 23852 231 231 0 35456 0 vsize: 142748 [startup+240.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 24587 0 0 0 23943 60 0 0 25 0 1 0 512165585 146173952 23856 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35687 23856 231 231 0 35456 0 vsize: 142748 [startup+250.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 24625 0 0 0 24943 60 0 0 25 0 1 0 512165585 146337792 23894 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35727 23894 231 231 0 35496 0 vsize: 142908 [startup+260.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 24663 0 0 0 25943 60 0 0 25 0 1 0 512165585 146477056 23932 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35761 23932 231 231 0 35530 0 vsize: 143044 [startup+270.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 25528 0 0 0 26940 63 0 0 25 0 1 0 512165585 146751488 24797 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35828 24797 231 231 0 35597 0 vsize: 143312 [startup+280.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 25855 0 0 0 27940 63 0 0 25 0 1 0 512165585 147374080 25124 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35980 25124 231 231 0 35749 0 vsize: 143920 [startup+290.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 25870 0 0 0 28940 64 0 0 25 0 1 0 512165585 147374080 25139 4294967295 134512640 135450300 3221224640 3221223360 134535548 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35980 25139 231 231 0 35749 0 vsize: 143920 [startup+300.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 25914 0 0 0 29940 64 0 0 25 0 1 0 512165585 147509248 25183 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36013 25183 231 231 0 35782 0 vsize: 144052 [startup+310.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 25971 0 0 0 30940 64 0 0 25 0 1 0 512165585 147816448 25240 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36088 25240 231 231 0 35857 0 vsize: 144352 [startup+320.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 26024 0 0 0 31939 65 0 0 25 0 1 0 512165585 147980288 25293 4294967295 134512640 135450300 3221224640 3221223024 134579576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36128 25293 231 231 0 35897 0 vsize: 144512 [startup+330.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 26779 0 0 0 32937 67 0 0 25 0 1 0 512165585 148115456 26048 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36161 26048 231 231 0 35930 0 vsize: 144644 [startup+340.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 26902 0 0 0 33937 67 0 0 25 0 1 0 512165585 148721664 26171 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36309 26171 231 231 0 36078 0 vsize: 145236 [startup+350.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 26977 0 0 0 34937 68 0 0 25 0 1 0 512165585 149049344 26246 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36389 26246 231 231 0 36158 0 vsize: 145556 [startup+360.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 26981 0 0 0 35937 68 0 0 25 0 1 0 512165585 149049344 26250 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36389 26250 231 231 0 36158 0 vsize: 145556 [startup+370.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27051 0 0 0 36937 68 0 0 25 0 1 0 512165585 149495808 26320 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36498 26320 231 231 0 36267 0 vsize: 145992 [startup+380.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27130 0 0 0 37937 68 0 0 25 0 1 0 512165585 149839872 26399 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36582 26399 231 231 0 36351 0 vsize: 146328 [startup+390.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27152 0 0 0 38936 69 0 0 25 0 1 0 512165585 149987328 26421 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36618 26421 231 231 0 36387 0 vsize: 146472 [startup+400.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27219 0 0 0 39936 69 0 0 25 0 1 0 512165585 150274048 26488 4294967295 134512640 135450300 3221224640 3221223360 134535518 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36688 26488 231 231 0 36457 0 vsize: 146752 [startup+410.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27271 0 0 0 40936 69 0 0 25 0 1 0 512165585 150601728 26540 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36768 26540 231 231 0 36537 0 vsize: 147072 [startup+420.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27305 0 0 0 41936 70 0 0 25 0 1 0 512165585 150773760 26574 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36810 26574 231 231 0 36579 0 vsize: 147240 [startup+430.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27948 0 0 0 42935 71 0 0 25 0 1 0 512165585 150773760 27217 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36810 27217 231 231 0 36579 0 vsize: 147240 [startup+440.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28171 0 0 0 43935 72 0 0 25 0 1 0 512165585 150773760 27440 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36810 27440 231 231 0 36579 0 vsize: 147240 [startup+450.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28200 0 0 0 44934 72 0 0 25 0 1 0 512165585 150937600 27469 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36850 27469 231 231 0 36619 0 vsize: 147400 [startup+460.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28203 0 0 0 45934 72 0 0 25 0 1 0 512165585 150937600 27472 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36850 27472 231 231 0 36619 0 vsize: 147400 [startup+470.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28237 0 0 0 46934 72 0 0 25 0 1 0 512165585 151113728 27506 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36893 27506 231 231 0 36662 0 vsize: 147572 [startup+480.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28248 0 0 0 47934 73 0 0 25 0 1 0 512165585 151113728 27517 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36893 27517 231 231 0 36662 0 vsize: 147572 [startup+490.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28565 0 0 0 48933 74 0 0 25 0 1 0 512165585 151261184 27834 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36929 27834 231 231 0 36698 0 vsize: 147716 [startup+500.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28583 0 0 0 49933 74 0 0 25 0 1 0 512165585 151261184 27852 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36929 27852 231 231 0 36698 0 vsize: 147716 [startup+510.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28601 0 0 0 50933 74 0 0 25 0 1 0 512165585 151408640 27870 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36965 27870 231 231 0 36734 0 vsize: 147860 [startup+520.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28623 0 0 0 51933 75 0 0 25 0 1 0 512165585 151572480 27892 4294967295 134512640 135450300 3221224640 3221223456 134547900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37005 27892 231 231 0 36774 0 vsize: 148020 [startup+530.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28645 0 0 0 52933 75 0 0 25 0 1 0 512165585 151572480 27914 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37005 27914 231 231 0 36774 0 vsize: 148020 [startup+540.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28660 0 0 0 53933 75 0 0 25 0 1 0 512165585 151572480 27929 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37005 27929 231 231 0 36774 0 vsize: 148020 [startup+550.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28899 0 0 0 54932 76 0 0 25 0 1 0 512165585 151719936 28168 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37041 28168 231 231 0 36810 0 vsize: 148164 [startup+560.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28939 0 0 0 55932 77 0 0 25 0 1 0 512165585 152018944 28208 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37114 28208 231 231 0 36883 0 vsize: 148456 [startup+570.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28971 0 0 0 56932 77 0 0 25 0 1 0 512165585 152018944 28240 4294967295 134512640 135450300 3221224640 3221223024 134579530 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37114 28240 231 231 0 36883 0 vsize: 148456 [startup+580.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29010 0 0 0 57931 77 0 0 25 0 1 0 512165585 152174592 28279 4294967295 134512640 135450300 3221224640 3221223360 134535901 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37152 28279 231 231 0 36921 0 vsize: 148608 [startup+590.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29018 0 0 0 58931 78 0 0 25 0 1 0 512165585 152174592 28287 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37152 28287 231 231 0 36921 0 vsize: 148608 [startup+600.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29206 0 0 0 59931 78 0 0 25 0 1 0 512165585 152338432 28475 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37192 28475 231 231 0 36961 0 vsize: 148768 [startup+610.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29234 0 0 0 60931 78 0 0 25 0 1 0 512165585 152477696 28503 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37226 28503 231 231 0 36995 0 vsize: 148904 [startup+620.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29241 0 0 0 61931 79 0 0 25 0 1 0 512165585 152477696 28510 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37226 28510 231 231 0 36995 0 vsize: 148904 [startup+630.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29270 0 0 0 62931 79 0 0 25 0 1 0 512165585 152653824 28539 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37269 28539 231 231 0 37038 0 vsize: 149076 [startup+640.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29313 0 0 0 63931 79 0 0 25 0 1 0 512165585 152801280 28582 4294967295 134512640 135450300 3221224640 3221223104 134532784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37305 28582 231 231 0 37074 0 vsize: 149220 [startup+650.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29335 0 0 0 64930 80 0 0 25 0 1 0 512165585 152801280 28604 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37305 28604 231 231 0 37074 0 vsize: 149220 [startup+660.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29472 0 0 0 65930 80 0 0 25 0 1 0 512165585 152801280 28741 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37305 28741 231 231 0 37074 0 vsize: 149220 [startup+670.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29514 0 0 0 66930 81 0 0 25 0 1 0 512165585 153112576 28783 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37381 28783 231 231 0 37150 0 vsize: 149524 [startup+680.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29539 0 0 0 67929 81 0 0 25 0 1 0 512165585 153112576 28808 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37381 28808 231 231 0 37150 0 vsize: 149524 [startup+690.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29544 0 0 0 68929 81 0 0 25 0 1 0 512165585 153112576 28813 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37381 28813 231 231 0 37150 0 vsize: 149524 [startup+700.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29606 0 0 0 69929 82 0 0 25 0 1 0 512165585 153440256 28875 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37461 28875 231 231 0 37230 0 vsize: 149844 [startup+710.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29626 0 0 0 70929 82 0 0 25 0 1 0 512165585 153440256 28895 4294967295 134512640 135450300 3221224640 3221223104 134532859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37461 28895 231 231 0 37230 0 vsize: 149844 [startup+720.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29729 0 0 0 71928 83 0 0 25 0 1 0 512165585 153604096 28998 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37501 28998 231 231 0 37270 0 vsize: 150004 [startup+730.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29739 0 0 0 72928 83 0 0 25 0 1 0 512165585 153604096 29008 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37501 29008 231 231 0 37270 0 vsize: 150004 [startup+740.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29756 0 0 0 73928 84 0 0 25 0 1 0 512165585 153604096 29025 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37501 29025 231 231 0 37270 0 vsize: 150004 [startup+750.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29766 0 0 0 74928 84 0 0 25 0 1 0 512165585 153604096 29035 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37501 29035 231 231 0 37270 0 vsize: 150004 [startup+760.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29787 0 0 0 75928 84 0 0 25 0 1 0 512165585 153767936 29056 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37541 29056 231 231 0 37310 0 vsize: 150164 [startup+770.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29845 0 0 0 76928 85 0 0 25 0 1 0 512165585 153767936 29114 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37541 29114 231 231 0 37310 0 vsize: 150164 [startup+780.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29893 0 0 0 77927 85 0 0 25 0 1 0 512165585 154054656 29162 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37611 29162 231 231 0 37380 0 vsize: 150444 [startup+790.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29922 0 0 0 78927 85 0 0 25 0 1 0 512165585 154054656 29191 4294967295 134512640 135450300 3221224640 3221223248 134537768 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37611 29191 231 231 0 37380 0 vsize: 150444 [startup+800.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29938 0 0 0 79927 86 0 0 25 0 1 0 512165585 154054656 29207 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37611 29207 231 231 0 37380 0 vsize: 150444 [startup+810.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29970 0 0 0 80926 86 0 0 25 0 1 0 512165585 154345472 29239 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37682 29239 231 231 0 37451 0 vsize: 150728 [startup+820.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29982 0 0 0 81926 87 0 0 25 0 1 0 512165585 154345472 29251 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37682 29251 231 231 0 37451 0 vsize: 150728 [startup+830.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30033 0 0 0 82926 87 0 0 25 0 1 0 512165585 154345472 29302 4294967295 134512640 135450300 3221224640 3221223024 134602468 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37682 29302 231 231 0 37451 0 vsize: 150728 [startup+840.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30050 0 0 0 83926 87 0 0 25 0 1 0 512165585 154492928 29319 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37718 29319 231 231 0 37487 0 vsize: 150872 [startup+850.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30062 0 0 0 84926 88 0 0 25 0 1 0 512165585 154492928 29331 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37718 29331 231 231 0 37487 0 vsize: 150872 [startup+860.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30073 0 0 0 85926 88 0 0 25 0 1 0 512165585 154492928 29342 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37718 29342 231 231 0 37487 0 vsize: 150872 [startup+870.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30076 0 0 0 86925 89 0 0 25 0 1 0 512165585 154492928 29345 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37718 29345 231 231 0 37487 0 vsize: 150872 [startup+880.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30097 0 0 0 87925 89 0 0 25 0 1 0 512165585 154640384 29366 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37754 29366 231 231 0 37523 0 vsize: 151016 [startup+890.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30132 0 0 0 88925 89 0 0 25 0 1 0 512165585 154640384 29401 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37754 29401 231 231 0 37523 0 vsize: 151016 [startup+900.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30159 0 0 0 89925 90 0 0 25 0 1 0 512165585 154640384 29428 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37754 29428 231 231 0 37523 0 vsize: 151016 [startup+910.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30167 0 0 0 90925 90 0 0 25 0 1 0 512165585 154640384 29436 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37754 29436 231 231 0 37523 0 vsize: 151016 [startup+920.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30179 0 0 0 91925 90 0 0 25 0 1 0 512165585 154841088 29448 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37803 29448 231 231 0 37572 0 vsize: 151212 [startup+930.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30202 0 0 0 92925 91 0 0 25 0 1 0 512165585 154841088 29471 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37803 29471 231 231 0 37572 0 vsize: 151212 [startup+940.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30239 0 0 0 93925 91 0 0 25 0 1 0 512165585 154841088 29508 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37803 29508 231 231 0 37572 0 vsize: 151212 [startup+950.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30253 0 0 0 94925 91 0 0 25 0 1 0 512165585 154841088 29522 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37803 29522 231 231 0 37572 0 vsize: 151212 [startup+960.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30261 0 0 0 95924 91 0 0 25 0 1 0 512165585 154841088 29530 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37803 29530 231 231 0 37572 0 vsize: 151212 [startup+970.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30286 0 0 0 96925 91 0 0 25 0 1 0 512165585 154980352 29555 4294967295 134512640 135450300 3221224640 3221223168 134544615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37837 29555 231 231 0 37606 0 vsize: 151348 [startup+980.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30317 0 0 0 97925 91 0 0 25 0 1 0 512165585 155119616 29586 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37871 29586 231 231 0 37640 0 vsize: 151484 [startup+990.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30341 0 0 0 98924 92 0 0 25 0 1 0 512165585 155279360 29610 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37910 29610 231 231 0 37679 0 vsize: 151640 [startup+1000.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30354 0 0 0 99925 92 0 0 25 0 1 0 512165585 155279360 29623 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37910 29623 231 231 0 37679 0 vsize: 151640 [startup+1010.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30391 0 0 0 100924 92 0 0 25 0 1 0 512165585 155426816 29660 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37946 29660 231 231 0 37715 0 vsize: 151784 [startup+1020.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30420 0 0 0 101924 93 0 0 25 0 1 0 512165585 155574272 29689 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37982 29689 231 231 0 37751 0 vsize: 151928 [startup+1030.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30433 0 0 0 102924 93 0 0 25 0 1 0 512165585 155574272 29702 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37982 29702 231 231 0 37751 0 vsize: 151928 [startup+1040.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30449 0 0 0 103924 93 0 0 25 0 1 0 512165585 155754496 29718 4294967295 134512640 135450300 3221224640 3221223472 134549498 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38026 29718 231 231 0 37795 0 vsize: 152104 [startup+1050.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30462 0 0 0 104924 93 0 0 25 0 1 0 512165585 155754496 29731 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38026 29731 231 231 0 37795 0 vsize: 152104 [startup+1060.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30478 0 0 0 105925 93 0 0 25 0 1 0 512165585 155754496 29747 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38026 29747 231 231 0 37795 0 vsize: 152104 [startup+1070.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30489 0 0 0 106925 93 0 0 25 0 1 0 512165585 155754496 29758 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38026 29758 231 231 0 37795 0 vsize: 152104 [startup+1080.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30493 0 0 0 107925 93 0 0 25 0 1 0 512165585 155754496 29762 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38026 29762 231 231 0 37795 0 vsize: 152104 [startup+1090.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30514 0 0 0 108925 93 0 0 25 0 1 0 512165585 155754496 29783 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38026 29783 231 231 0 37795 0 vsize: 152104 [startup+1100.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30530 0 0 0 109924 94 0 0 25 0 1 0 512165585 155893760 29799 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38060 29799 231 231 0 37829 0 vsize: 152240 [startup+1110.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31321 0 0 0 110923 95 0 0 25 0 1 0 512165585 159174656 29821 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38861 29821 231 231 0 38630 0 vsize: 155444 [startup+1120.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31340 0 0 0 111923 96 0 0 25 0 1 0 512165585 159174656 29840 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38861 29840 231 231 0 38630 0 vsize: 155444 [startup+1130.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31356 0 0 0 112923 96 0 0 25 0 1 0 512165585 159322112 29856 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38897 29856 231 231 0 38666 0 vsize: 155588 [startup+1140.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31364 0 0 0 113923 96 0 0 25 0 1 0 512165585 159322112 29864 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38897 29864 231 231 0 38666 0 vsize: 155588 [startup+1150.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31386 0 0 0 114923 97 0 0 25 0 1 0 512165585 159322112 29886 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38897 29886 231 231 0 38666 0 vsize: 155588 [startup+1160.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31389 0 0 0 115923 97 0 0 25 0 1 0 512165585 159322112 29889 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38897 29889 231 231 0 38666 0 vsize: 155588 [startup+1170.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31411 0 0 0 116923 97 0 0 25 0 1 0 512165585 159322112 29911 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38897 29911 231 231 0 38666 0 vsize: 155588 [startup+1180.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31430 0 0 0 117923 97 0 0 25 0 1 0 512165585 159469568 29930 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38933 29930 231 231 0 38702 0 vsize: 155732 [startup+1190.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31440 0 0 0 118923 97 0 0 25 0 1 0 512165585 159469568 29940 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38933 29940 231 231 0 38702 0 vsize: 155732 [startup+1200.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3653 Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31456 0 0 0 119922 98 0 0 25 0 1 0 512165585 159604736 29956 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38966 29956 231 231 0 38735 0 vsize: 155864 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.07 s] Raw data (loadavg): 0.99 0.98 0.92 1/54 3653 Raw data (stat): 3651 (PBS4) Z 3650 11931 11930 0 -1 1036 31456 0 0 0 119923 103 0 0 25 0 1 0 512165585 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.07 CPU time (s): 1200.27 CPU user time (s): 1199.23 CPU system time (s): 1.03884 CPU usage (%): 100.016 Max. virtual memory (Kb): 155864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####