Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
MD5SUM | 00a81d808a7a59d6e11f17e19e68d826 |
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 | 450 |
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 | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04884 |
Number of variables | 450 |
Total number of constraints | 17794 |
Number of constraints which are clauses | 17794 |
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 wulflinc21 THE 2005-04-17 16:59:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2859 boxname=wulflinc21 idbench=318 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 00a81d808a7a59d6e11f17e19e68d826 /oldhome/oroussel/tmp/wulflinc21/normalized-frb30-15-5.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc21/normalized-frb30-15-5.opb IDLAUNCH: 2859 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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: 833544 kB Buffers: 37704 kB Cached: 141952 kB SwapCached: 0 kB Active: 89732 kB Inactive: 92772 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 833292 kB SwapTotal: 2097892 kB SwapFree: 2097804 kB Dirty: 60 kB Writeback: 0 kB Mapped: 6936 kB Slab: 12792 kB Committed_AS: 63796 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 17:19:33 (client local time) WITH STATUS 0 IN 1200.33 SECONDS stats: 2859 7 1200.33 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc21/normalized-frb30-15-5.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/55 25677 Raw data (stat): 25677 (runsolver) R 25676 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 389406522 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.0001 s] Raw data (loadavg): 0.87 0.94 0.90 2/55 25677 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 2730 0 0 0 992 7 0 0 25 0 1 0 389406522 19324928 2577 4294967295 134512640 135450300 3221224640 3221223104 134532964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4718 2577 231 231 0 4487 0 vsize: 18872 [startup+20.0008 s] Raw data (loadavg): 0.89 0.94 0.90 2/55 25677 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 4418 0 0 0 1988 11 0 0 25 0 1 0 389406522 19464192 4265 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4752 4265 231 231 0 4521 0 vsize: 19008 [startup+30.0004 s] Raw data (loadavg): 0.90 0.94 0.90 2/55 25677 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 5704 0 0 0 2985 15 0 0 25 0 1 0 389406522 36528128 5551 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8918 5551 231 231 0 8687 0 vsize: 35672 [startup+40.001 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 25730 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 7090 0 0 0 3979 20 0 0 25 0 1 0 389406522 37142528 6937 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9068 6938 231 231 0 8837 0 vsize: 36272 [startup+50.1026 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 25730 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 8589 0 0 0 4985 24 0 0 25 0 1 0 389406522 37879808 8436 4294967295 134512640 135450300 3221224640 3221223552 134597367 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9248 8436 231 231 0 9017 0 vsize: 36992 [startup+60.1023 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 25730 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 8697 0 0 0 5985 24 0 0 25 0 1 0 389406522 38318080 8544 4294967295 134512640 135450300 3221224640 3221223024 134602294 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9355 8544 231 231 0 9124 0 vsize: 37420 [startup+70.103 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 25730 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 10177 0 0 0 6981 28 0 0 25 0 1 0 389406522 72294400 10024 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17650 10024 231 231 0 17419 0 vsize: 70600 [startup+80.1027 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 25730 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 10270 0 0 0 7981 29 0 0 25 0 1 0 389406522 72699904 10117 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17749 10117 231 231 0 17518 0 vsize: 70996 [startup+90.1024 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25732 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 11224 0 0 0 8979 31 0 0 25 0 1 0 389406522 74407936 10878 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18166 10878 231 231 0 17935 0 vsize: 72664 [startup+100.102 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25732 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 11506 0 0 0 9978 32 0 0 25 0 1 0 389406522 74833920 11160 4294967295 134512640 135450300 3221224640 3221223104 134532865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18270 11160 231 231 0 18039 0 vsize: 73080 [startup+110.102 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 11675 0 0 0 10977 33 0 0 25 0 1 0 389406522 75124736 11329 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18341 11329 231 231 0 18110 0 vsize: 73364 [startup+120.102 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 12208 0 0 0 11975 35 0 0 25 0 1 0 389406522 75407360 11862 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 11862 231 231 0 18179 0 vsize: 73640 [startup+130.102 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 12262 0 0 0 12974 36 0 0 25 0 1 0 389406522 75546624 11916 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18444 11916 231 231 0 18213 0 vsize: 73776 [startup+140.102 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 12713 0 0 0 13972 38 0 0 25 0 1 0 389406522 75849728 12367 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18518 12367 231 231 0 18287 0 vsize: 74072 [startup+150.101 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 12750 0 0 0 14972 38 0 0 25 0 1 0 389406522 76009472 12404 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18557 12404 231 231 0 18326 0 vsize: 74228 [startup+160.101 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 13371 0 0 0 15970 41 0 0 25 0 1 0 389406522 76791808 13025 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18748 13025 231 231 0 18517 0 vsize: 74992 [startup+170.101 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 14675 0 0 0 16967 44 0 0 25 0 1 0 389406522 77250560 14329 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18860 14329 231 231 0 18629 0 vsize: 75440 [startup+180.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 15748 0 0 0 17964 47 0 0 25 0 1 0 389406522 77680640 15402 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18965 15402 231 231 0 18734 0 vsize: 75860 [startup+190.101 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 15840 0 0 0 18963 48 0 0 25 0 1 0 389406522 78172160 15494 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19085 15494 231 231 0 18854 0 vsize: 76340 [startup+200.101 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 15922 0 0 0 19963 49 0 0 25 0 1 0 389406522 78471168 15576 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19158 15576 231 231 0 18927 0 vsize: 76632 [startup+210.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 15965 0 0 0 20962 50 0 0 25 0 1 0 389406522 78639104 15619 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19199 15619 231 231 0 18968 0 vsize: 76796 [startup+220.101 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16001 0 0 0 21962 50 0 0 25 0 1 0 389406522 78815232 15655 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19242 15655 231 231 0 19011 0 vsize: 76968 [startup+230.101 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16034 0 0 0 22961 51 0 0 25 0 1 0 389406522 78979072 15688 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19282 15688 231 231 0 19051 0 vsize: 77128 [startup+240.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16057 0 0 0 23961 52 0 0 25 0 1 0 389406522 79134720 15711 4294967295 134512640 135450300 3221224640 3221223104 134532964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19320 15711 231 231 0 19089 0 vsize: 77280 [startup+250.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16117 0 0 0 24960 52 0 0 25 0 1 0 389406522 79282176 15771 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19356 15771 231 231 0 19125 0 vsize: 77424 [startup+260.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16177 0 0 0 25960 52 0 0 25 0 1 0 389406522 79581184 15831 4294967295 134512640 135450300 3221224640 3221223104 134532938 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19429 15831 231 231 0 19198 0 vsize: 77716 [startup+270.099 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16219 0 0 0 26960 53 0 0 25 0 1 0 389406522 79728640 15873 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19465 15873 231 231 0 19234 0 vsize: 77860 [startup+280.099 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16250 0 0 0 27959 53 0 0 25 0 1 0 389406522 79880192 15904 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19502 15904 231 231 0 19271 0 vsize: 78008 [startup+290.1 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16280 0 0 0 28959 54 0 0 25 0 1 0 389406522 80035840 15934 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19540 15934 231 231 0 19309 0 vsize: 78160 [startup+300.099 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16346 0 0 0 29959 54 0 0 25 0 1 0 389406522 80183296 16000 4294967295 134512640 135450300 3221224640 3221223552 134597282 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19576 16000 231 231 0 19345 0 vsize: 78304 [startup+310.099 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16786 0 0 0 30958 55 0 0 25 0 1 0 389406522 82075648 16055 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20038 16055 231 231 0 19807 0 vsize: 80152 [startup+320.099 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16818 0 0 0 31958 55 0 0 25 0 1 0 389406522 82075648 16087 4294967295 134512640 135450300 3221224640 3221223168 134543745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20038 16087 231 231 0 19807 0 vsize: 80152 [startup+330.098 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16863 0 0 0 32958 56 0 0 25 0 1 0 389406522 82223104 16132 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20074 16132 231 231 0 19843 0 vsize: 80296 [startup+340.098 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16958 0 0 0 33957 57 0 0 25 0 1 0 389406522 82751488 16227 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20203 16227 231 231 0 19972 0 vsize: 80812 [startup+350.098 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 16972 0 0 0 34957 57 0 0 25 0 1 0 389406522 82751488 16241 4294967295 134512640 135450300 3221224640 3221223456 134537254 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20203 16241 231 231 0 19972 0 vsize: 80812 [startup+360.097 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17020 0 0 0 35957 57 0 0 25 0 1 0 389406522 83054592 16289 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20277 16289 231 231 0 20046 0 vsize: 81108 [startup+370.097 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17073 0 0 0 36957 57 0 0 25 0 1 0 389406522 83218432 16342 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20317 16342 231 231 0 20086 0 vsize: 81268 [startup+380.097 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25734 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17103 0 0 0 37957 58 0 0 25 0 1 0 389406522 83365888 16372 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20353 16372 231 231 0 20122 0 vsize: 81412 [startup+390.098 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17140 0 0 0 38957 58 0 0 25 0 1 0 389406522 83509248 16409 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20388 16409 231 231 0 20157 0 vsize: 81552 [startup+400.098 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17168 0 0 0 39956 58 0 0 25 0 1 0 389406522 83509248 16437 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20388 16437 231 231 0 20157 0 vsize: 81552 [startup+410.097 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17205 0 0 0 40956 59 0 0 25 0 1 0 389406522 83820544 16474 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20464 16474 231 231 0 20233 0 vsize: 81856 [startup+420.096 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17229 0 0 0 41956 59 0 0 25 0 1 0 389406522 83820544 16498 4294967295 134512640 135450300 3221224640 3221223456 134547444 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20464 16498 231 231 0 20233 0 vsize: 81856 [startup+430.096 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17265 0 0 0 42955 60 0 0 25 0 1 0 389406522 84037632 16534 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20517 16534 231 231 0 20286 0 vsize: 82068 [startup+440.096 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17288 0 0 0 43955 60 0 0 25 0 1 0 389406522 84037632 16557 4294967295 134512640 135450300 3221224640 3221223116 134572561 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20517 16557 231 231 0 20286 0 vsize: 82068 [startup+450.096 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17330 0 0 0 44954 61 0 0 25 0 1 0 389406522 84201472 16599 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20557 16599 231 231 0 20326 0 vsize: 82228 [startup+460.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17363 0 0 0 45954 62 0 0 25 0 1 0 389406522 84357120 16632 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20595 16632 231 231 0 20364 0 vsize: 82380 [startup+470.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17386 0 0 0 46954 62 0 0 25 0 1 0 389406522 84357120 16655 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20595 16655 231 231 0 20364 0 vsize: 82380 [startup+480.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17402 0 0 0 47954 62 0 0 25 0 1 0 389406522 84357120 16671 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20595 16671 231 231 0 20364 0 vsize: 82380 [startup+490.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17423 0 0 0 48954 62 0 0 25 0 1 0 389406522 84520960 16692 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20635 16692 231 231 0 20404 0 vsize: 82540 [startup+500.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17441 0 0 0 49953 63 0 0 25 0 1 0 389406522 84520960 16710 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20635 16710 231 231 0 20404 0 vsize: 82540 [startup+510.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17470 0 0 0 50953 64 0 0 25 0 1 0 389406522 84520960 16739 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20635 16739 231 231 0 20404 0 vsize: 82540 [startup+520.096 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17487 0 0 0 51953 64 0 0 25 0 1 0 389406522 84725760 16756 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20685 16756 231 231 0 20454 0 vsize: 82740 [startup+530.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17522 0 0 0 52952 64 0 0 25 0 1 0 389406522 84725760 16791 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20685 16791 231 231 0 20454 0 vsize: 82740 [startup+540.096 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17562 0 0 0 53952 65 0 0 25 0 1 0 389406522 84889600 16831 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20725 16831 231 231 0 20494 0 vsize: 82900 [startup+550.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17590 0 0 0 54952 65 0 0 25 0 1 0 389406522 85065728 16859 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20768 16859 231 231 0 20537 0 vsize: 83072 [startup+560.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17624 0 0 0 55952 65 0 0 25 0 1 0 389406522 85229568 16893 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20808 16893 231 231 0 20577 0 vsize: 83232 [startup+570.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17663 0 0 0 56952 66 0 0 25 0 1 0 389406522 85229568 16932 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20808 16932 231 231 0 20577 0 vsize: 83232 [startup+580.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17701 0 0 0 57951 66 0 0 25 0 1 0 389406522 85393408 16970 4294967295 134512640 135450300 3221224640 3221223104 134532568 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20848 16970 231 231 0 20617 0 vsize: 83392 [startup+590.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17753 0 0 0 58951 67 0 0 25 0 1 0 389406522 85741568 17022 4294967295 134512640 135450300 3221224640 3221223168 134544615 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20933 17022 231 231 0 20702 0 vsize: 83732 [startup+600.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17786 0 0 0 59951 67 0 0 25 0 1 0 389406522 85741568 17055 4294967295 134512640 135450300 3221224640 3221223456 134547493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20933 17055 231 231 0 20702 0 vsize: 83732 [startup+610.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17814 0 0 0 60951 67 0 0 25 0 1 0 389406522 85905408 17083 4294967295 134512640 135450300 3221224640 3221223472 134549299 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20973 17083 231 231 0 20742 0 vsize: 83892 [startup+620.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17835 0 0 0 61951 68 0 0 25 0 1 0 389406522 86097920 17104 4294967295 134512640 135450300 3221224640 3221223456 134547505 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21020 17104 231 231 0 20789 0 vsize: 84080 [startup+630.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17856 0 0 0 62950 68 0 0 25 0 1 0 389406522 86097920 17125 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21020 17125 231 231 0 20789 0 vsize: 84080 [startup+640.095 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17870 0 0 0 63950 69 0 0 25 0 1 0 389406522 86097920 17139 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21020 17139 231 231 0 20789 0 vsize: 84080 [startup+650.094 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17887 0 0 0 64950 69 0 0 25 0 1 0 389406522 86097920 17156 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21020 17156 231 231 0 20789 0 vsize: 84080 [startup+660.094 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17901 0 0 0 65950 69 0 0 25 0 1 0 389406522 86097920 17170 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21020 17170 231 231 0 20789 0 vsize: 84080 [startup+670.094 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17913 0 0 0 66949 70 0 0 25 0 1 0 389406522 86233088 17182 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21053 17182 231 231 0 20822 0 vsize: 84212 [startup+680.093 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17929 0 0 0 67949 70 0 0 25 0 1 0 389406522 86233088 17198 4294967295 134512640 135450300 3221224640 3221223360 134535937 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21053 17198 231 231 0 20822 0 vsize: 84212 [startup+690.094 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17944 0 0 0 68949 70 0 0 25 0 1 0 389406522 86233088 17213 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21053 17213 231 231 0 20822 0 vsize: 84212 [startup+700.094 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17961 0 0 0 69949 71 0 0 25 0 1 0 389406522 86233088 17230 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21053 17230 231 231 0 20822 0 vsize: 84212 [startup+710.093 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 17972 0 0 0 70948 71 0 0 25 0 1 0 389406522 86233088 17241 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21053 17241 231 231 0 20822 0 vsize: 84212 [startup+720.093 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18019 0 0 0 71948 72 0 0 25 0 1 0 389406522 86540288 17288 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21128 17288 231 231 0 20897 0 vsize: 84512 [startup+730.093 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18047 0 0 0 72948 72 0 0 25 0 1 0 389406522 86540288 17316 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21128 17316 231 231 0 20897 0 vsize: 84512 [startup+740.093 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18072 0 0 0 73948 73 0 0 25 0 1 0 389406522 86704128 17341 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21168 17341 231 231 0 20937 0 vsize: 84672 [startup+750.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18090 0 0 0 74947 73 0 0 25 0 1 0 389406522 86704128 17359 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21168 17359 231 231 0 20937 0 vsize: 84672 [startup+760.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18108 0 0 0 75947 73 0 0 25 0 1 0 389406522 86855680 17377 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21205 17377 231 231 0 20974 0 vsize: 84820 [startup+770.093 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18122 0 0 0 76947 74 0 0 25 0 1 0 389406522 86855680 17391 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21205 17391 231 231 0 20974 0 vsize: 84820 [startup+780.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18138 0 0 0 77947 74 0 0 25 0 1 0 389406522 86855680 17407 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21205 17407 231 231 0 20974 0 vsize: 84820 [startup+790.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18153 0 0 0 78947 74 0 0 25 0 1 0 389406522 86855680 17422 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21205 17422 231 231 0 20974 0 vsize: 84820 [startup+800.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18166 0 0 0 79946 75 0 0 25 0 1 0 389406522 86855680 17435 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21205 17435 231 231 0 20974 0 vsize: 84820 [startup+810.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18954 0 0 0 80944 77 0 0 25 0 1 0 389406522 90165248 17454 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22013 17454 231 231 0 21782 0 vsize: 88052 [startup+820.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18971 0 0 0 81944 78 0 0 25 0 1 0 389406522 90165248 17471 4294967295 134512640 135450300 3221224640 3221223152 134545029 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22013 17471 231 231 0 21782 0 vsize: 88052 [startup+830.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 18985 0 0 0 82944 78 0 0 25 0 1 0 389406522 90165248 17485 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22013 17485 231 231 0 21782 0 vsize: 88052 [startup+840.092 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19000 0 0 0 83944 78 0 0 25 0 1 0 389406522 90165248 17500 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22013 17500 231 231 0 21782 0 vsize: 88052 [startup+850.091 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19041 0 0 0 84944 78 0 0 25 0 1 0 389406522 90329088 17541 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22053 17541 231 231 0 21822 0 vsize: 88212 [startup+860.091 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19061 0 0 0 85944 78 0 0 25 0 1 0 389406522 90329088 17561 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22053 17561 231 231 0 21822 0 vsize: 88212 [startup+870.091 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19073 0 0 0 86944 78 0 0 25 0 1 0 389406522 90501120 17573 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22095 17573 231 231 0 21864 0 vsize: 88380 [startup+880.091 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19091 0 0 0 87944 79 0 0 25 0 1 0 389406522 90501120 17591 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22095 17591 231 231 0 21864 0 vsize: 88380 [startup+890.091 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19108 0 0 0 88944 79 0 0 25 0 1 0 389406522 90501120 17608 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22095 17608 231 231 0 21864 0 vsize: 88380 [startup+900.091 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19123 0 0 0 89943 80 0 0 25 0 1 0 389406522 90501120 17623 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22095 17623 231 231 0 21864 0 vsize: 88380 [startup+910.091 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19134 0 0 0 90943 80 0 0 25 0 1 0 389406522 90501120 17634 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22095 17634 231 231 0 21864 0 vsize: 88380 [startup+920.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19149 0 0 0 91943 80 0 0 25 0 1 0 389406522 90501120 17649 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22095 17649 231 231 0 21864 0 vsize: 88380 [startup+930.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19162 0 0 0 92943 80 0 0 25 0 1 0 389406522 90685440 17662 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22140 17662 231 231 0 21909 0 vsize: 88560 [startup+940.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19176 0 0 0 93943 81 0 0 25 0 1 0 389406522 90685440 17676 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22140 17676 231 231 0 21909 0 vsize: 88560 [startup+950.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19197 0 0 0 94943 81 0 0 25 0 1 0 389406522 90685440 17697 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22140 17697 231 231 0 21909 0 vsize: 88560 [startup+960.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19212 0 0 0 95942 82 0 0 25 0 1 0 389406522 90685440 17712 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22140 17712 231 231 0 21909 0 vsize: 88560 [startup+970.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19225 0 0 0 96942 82 0 0 25 0 1 0 389406522 90685440 17725 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22140 17725 231 231 0 21909 0 vsize: 88560 [startup+980.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19241 0 0 0 97942 83 0 0 25 0 1 0 389406522 90685440 17741 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22140 17741 231 231 0 21909 0 vsize: 88560 [startup+990.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19263 0 0 0 98942 83 0 0 25 0 1 0 389406522 90877952 17763 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22187 17763 231 231 0 21956 0 vsize: 88748 [startup+1000.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19276 0 0 0 99941 83 0 0 25 0 1 0 389406522 90877952 17776 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22187 17776 231 231 0 21956 0 vsize: 88748 [startup+1010.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19289 0 0 0 100941 84 0 0 25 0 1 0 389406522 90877952 17789 4294967295 134512640 135450300 3221224640 3221223296 134532771 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22187 17789 231 231 0 21956 0 vsize: 88748 [startup+1020.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19308 0 0 0 101941 84 0 0 25 0 1 0 389406522 90877952 17808 4294967295 134512640 135450300 3221224640 3221223108 134580040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22187 17808 231 231 0 21956 0 vsize: 88748 [startup+1030.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19322 0 0 0 102941 84 0 0 25 0 1 0 389406522 90877952 17822 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22187 17822 231 231 0 21956 0 vsize: 88748 [startup+1040.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19337 0 0 0 103940 85 0 0 25 0 1 0 389406522 90877952 17837 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22187 17837 231 231 0 21956 0 vsize: 88748 [startup+1050.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19374 0 0 0 104940 85 0 0 25 0 1 0 389406522 91041792 17874 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22227 17874 231 231 0 21996 0 vsize: 88908 [startup+1060.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19399 0 0 0 105940 86 0 0 25 0 1 0 389406522 91410432 17899 4294967295 134512640 135450300 3221224640 3221223104 134532784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22317 17899 231 231 0 22086 0 vsize: 89268 [startup+1070.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19420 0 0 0 106940 86 0 0 25 0 1 0 389406522 91410432 17920 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22317 17920 231 231 0 22086 0 vsize: 89268 [startup+1080.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19436 0 0 0 107940 86 0 0 25 0 1 0 389406522 91410432 17936 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22317 17936 231 231 0 22086 0 vsize: 89268 [startup+1090.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19447 0 0 0 108939 87 0 0 25 0 1 0 389406522 91410432 17947 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22317 17947 231 231 0 22086 0 vsize: 89268 [startup+1100.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19467 0 0 0 109939 87 0 0 25 0 1 0 389406522 91410432 17967 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22317 17967 231 231 0 22086 0 vsize: 89268 [startup+1110.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19480 0 0 0 110939 88 0 0 25 0 1 0 389406522 91410432 17980 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22317 17980 231 231 0 22086 0 vsize: 89268 [startup+1120.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19495 0 0 0 111939 88 0 0 25 0 1 0 389406522 91410432 17995 4294967295 134512640 135450300 3221224640 3221223080 134579201 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22317 17995 231 231 0 22086 0 vsize: 89268 [startup+1130.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19510 0 0 0 112939 88 0 0 25 0 1 0 389406522 91627520 18010 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22370 18010 231 231 0 22139 0 vsize: 89480 [startup+1140.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19521 0 0 0 113939 89 0 0 25 0 1 0 389406522 91627520 18021 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22370 18021 231 231 0 22139 0 vsize: 89480 [startup+1150.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19535 0 0 0 114938 89 0 0 25 0 1 0 389406522 91627520 18035 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22370 18035 231 231 0 22139 0 vsize: 89480 [startup+1160.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19551 0 0 0 115938 89 0 0 25 0 1 0 389406522 91627520 18051 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22370 18051 231 231 0 22139 0 vsize: 89480 [startup+1170.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19569 0 0 0 116938 90 0 0 25 0 1 0 389406522 91627520 18069 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22370 18069 231 231 0 22139 0 vsize: 89480 [startup+1180.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19583 0 0 0 117938 90 0 0 25 0 1 0 389406522 91627520 18083 4294967295 134512640 135450300 3221224640 3221223376 134538496 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22370 18083 231 231 0 22139 0 vsize: 89480 [startup+1190.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19598 0 0 0 118938 90 0 0 25 0 1 0 389406522 91627520 18098 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22370 18098 231 231 0 22139 0 vsize: 89480 [startup+1200.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 25736 Raw data (stat): 25677 (PBS4) R 25676 30927 30926 0 -1 0 19614 0 0 0 119937 91 0 0 25 0 1 0 389406522 91627520 18114 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22370 18114 231 231 0 22139 0 vsize: 89480 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.13 s] Raw data (loadavg): 1.00 0.97 0.91 1/55 25736 Raw data (stat): 25677 (PBS4) Z 25676 30927 30926 0 -1 1036 19614 0 0 0 119937 94 0 0 25 0 1 0 389406522 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.13 CPU time (s): 1200.33 CPU user time (s): 1199.38 CPU system time (s): 0.949855 CPU usage (%): 100.017 Max. virtual memory (Kb): 89480 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####