Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb |
MD5SUM | 48ed39004ec868a1cad026c865b17eb2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 6352 |
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 | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 6352 |
Total number of constraints | 13429 |
Number of constraints which are clauses | 13429 |
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 | 1 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-04-17 16:23:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1851 boxname=wulflinc2 idbench=206 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 48ed39004ec868a1cad026c865b17eb2 /oldhome/oroussel/tmp/wulflinc2/normalized-par32-2.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc2/normalized-par32-2.opb IDLAUNCH: 1851 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 851284 kB Buffers: 36756 kB Cached: 124672 kB SwapCached: 4 kB Active: 66880 kB Inactive: 97432 kB HighTotal: 131008 kB HighFree: 2464 kB LowTotal: 903652 kB LowFree: 848820 kB SwapTotal: 2097136 kB SwapFree: 2097132 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6924 kB Slab: 13504 kB Committed_AS: 71672 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 16:43:07 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 1851 7 1200.23 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc2/normalized-par32-2.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.92 0.98 0.88 2/54 12476 Raw data (stat): 12476 (runsolver) R 12475 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453705019 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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+9.99991 s] Raw data (loadavg): 0.93 0.98 0.89 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 766 0 0 0 996 3 0 0 25 0 1 0 453705019 3735552 713 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 912 713 231 231 0 681 0 vsize: 3648 [startup+20.0003 s] Raw data (loadavg): 0.94 0.98 0.89 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 780 0 0 0 1995 3 0 0 25 0 1 0 453705019 3735552 727 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 912 727 231 231 0 681 0 vsize: 3648 [startup+30.0007 s] Raw data (loadavg): 0.95 0.98 0.89 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 787 0 0 0 2996 3 0 0 25 0 1 0 453705019 3735552 734 4294967295 134512640 135450300 3221224640 3221223248 134537667 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 912 734 231 231 0 681 0 vsize: 3648 [startup+40.0017 s] Raw data (loadavg): 0.96 0.98 0.89 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 792 0 0 0 3996 3 0 0 25 0 1 0 453705019 3735552 739 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 912 739 231 231 0 681 0 vsize: 3648 [startup+50.0024 s] Raw data (loadavg): 0.96 0.98 0.89 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 805 0 0 0 4996 3 0 0 25 0 1 0 453705019 3891200 752 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 950 752 231 231 0 719 0 vsize: 3800 [startup+60.0018 s] Raw data (loadavg): 0.97 0.98 0.89 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 813 0 0 0 5996 3 0 0 25 0 1 0 453705019 3891200 760 4294967295 134512640 135450300 3221224640 3221223248 134537627 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 950 760 231 231 0 719 0 vsize: 3800 [startup+70.0028 s] Raw data (loadavg): 0.97 0.98 0.89 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 826 0 0 0 6997 3 0 0 25 0 1 0 453705019 3891200 773 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 950 773 231 231 0 719 0 vsize: 3800 [startup+80.0038 s] Raw data (loadavg): 0.98 0.98 0.89 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 836 0 0 0 7997 3 0 0 25 0 1 0 453705019 4415488 783 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 783 231 231 0 847 0 vsize: 4312 [startup+90.0039 s] Raw data (loadavg): 0.98 0.98 0.89 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 846 0 0 0 8997 3 0 0 25 0 1 0 453705019 4415488 793 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 793 231 231 0 847 0 vsize: 4312 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.89 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 855 0 0 0 9997 3 0 0 25 0 1 0 453705019 4415488 802 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 802 231 231 0 847 0 vsize: 4312 [startup+110.004 s] Raw data (loadavg): 0.98 0.98 0.89 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 865 0 0 0 10997 3 0 0 25 0 1 0 453705019 4415488 812 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 812 231 231 0 847 0 vsize: 4312 [startup+120.004 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 875 0 0 0 11997 3 0 0 25 0 1 0 453705019 4415488 822 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 822 231 231 0 847 0 vsize: 4312 [startup+130.004 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 887 0 0 0 12997 3 0 0 25 0 1 0 453705019 4415488 834 4294967295 134512640 135450300 3221224640 3221223248 134537667 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 834 231 231 0 847 0 vsize: 4312 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 899 0 0 0 13997 3 0 0 25 0 1 0 453705019 4415488 846 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 846 231 231 0 847 0 vsize: 4312 [startup+150.005 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 912 0 0 0 14998 3 0 0 25 0 1 0 453705019 4415488 859 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 859 231 231 0 847 0 vsize: 4312 [startup+160.005 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 922 0 0 0 15998 3 0 0 25 0 1 0 453705019 4415488 869 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 869 231 231 0 847 0 vsize: 4312 [startup+170.006 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 935 0 0 0 16998 3 0 0 25 0 1 0 453705019 4415488 882 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 882 231 231 0 847 0 vsize: 4312 [startup+180.005 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 949 0 0 0 17998 3 0 0 25 0 1 0 453705019 4415488 896 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 896 231 231 0 847 0 vsize: 4312 [startup+190.006 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 960 0 0 0 18998 4 0 0 25 0 1 0 453705019 4415488 907 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 907 231 231 0 847 0 vsize: 4312 [startup+200.006 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 979 0 0 0 19998 4 0 0 25 0 1 0 453705019 5464064 926 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1334 926 231 231 0 1103 0 vsize: 5336 [startup+210.005 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1014 0 0 0 20998 4 0 0 25 0 1 0 453705019 5599232 961 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1367 961 231 231 0 1136 0 vsize: 5468 [startup+220.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1061 0 0 0 21999 4 0 0 25 0 1 0 453705019 5734400 1008 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1400 1008 231 231 0 1169 0 vsize: 5600 [startup+230.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1090 0 0 0 22999 4 0 0 25 0 1 0 453705019 5881856 1037 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1436 1037 231 231 0 1205 0 vsize: 5744 [startup+240.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1119 0 0 0 23999 4 0 0 25 0 1 0 453705019 5881856 1066 4294967295 134512640 135450300 3221224640 3221223376 134538059 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1436 1066 231 231 0 1205 0 vsize: 5744 [startup+250.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1136 0 0 0 24999 4 0 0 25 0 1 0 453705019 5881856 1083 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1436 1083 231 231 0 1205 0 vsize: 5744 [startup+260.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1158 0 0 0 25999 4 0 0 25 0 1 0 453705019 5881856 1105 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1436 1105 231 231 0 1205 0 vsize: 5744 [startup+270.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1183 0 0 0 26999 4 0 0 25 0 1 0 453705019 6029312 1130 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1472 1130 231 231 0 1241 0 vsize: 5888 [startup+280.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1201 0 0 0 27999 4 0 0 25 0 1 0 453705019 6029312 1148 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1472 1148 231 231 0 1241 0 vsize: 5888 [startup+290.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1215 0 0 0 28999 5 0 0 25 0 1 0 453705019 6029312 1162 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1472 1162 231 231 0 1241 0 vsize: 5888 [startup+300.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1229 0 0 0 29999 5 0 0 25 0 1 0 453705019 6029312 1176 4294967295 134512640 135450300 3221224640 3221223248 134537603 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1472 1176 231 231 0 1241 0 vsize: 5888 [startup+310.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1239 0 0 0 30999 5 0 0 25 0 1 0 453705019 6029312 1186 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1472 1186 231 231 0 1241 0 vsize: 5888 [startup+320.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1249 0 0 0 31999 5 0 0 25 0 1 0 453705019 6029312 1196 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1472 1196 231 231 0 1241 0 vsize: 5888 [startup+330.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1260 0 0 0 32999 5 0 0 25 0 1 0 453705019 6029312 1207 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1472 1207 231 231 0 1241 0 vsize: 5888 [startup+340.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1277 0 0 0 33999 6 0 0 25 0 1 0 453705019 6123520 1224 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1495 1224 231 231 0 1264 0 vsize: 5980 [startup+350.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1379 0 0 0 34999 6 0 0 25 0 1 0 453705019 6516736 1229 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1591 1229 231 231 0 1360 0 vsize: 6364 [startup+360.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1397 0 0 0 35999 6 0 0 25 0 1 0 453705019 6516736 1247 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1591 1247 231 231 0 1360 0 vsize: 6364 [startup+370.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1419 0 0 0 36999 6 0 0 25 0 1 0 453705019 6516736 1269 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1591 1269 231 231 0 1360 0 vsize: 6364 [startup+380.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1440 0 0 0 38000 6 0 0 25 0 1 0 453705019 6516736 1290 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1591 1290 231 231 0 1360 0 vsize: 6364 [startup+390.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1469 0 0 0 39000 6 0 0 25 0 1 0 453705019 6651904 1319 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1624 1319 231 231 0 1393 0 vsize: 6496 [startup+400.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1484 0 0 0 40000 6 0 0 25 0 1 0 453705019 6651904 1334 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1624 1334 231 231 0 1393 0 vsize: 6496 [startup+410.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1500 0 0 0 41000 6 0 0 25 0 1 0 453705019 6651904 1350 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1624 1350 231 231 0 1393 0 vsize: 6496 [startup+420.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1533 0 0 0 42000 6 0 0 25 0 1 0 453705019 6774784 1383 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1654 1383 231 231 0 1423 0 vsize: 6616 [startup+430.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1557 0 0 0 43000 6 0 0 25 0 1 0 453705019 8871936 1407 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2166 1407 231 231 0 1935 0 vsize: 8664 [startup+440.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1572 0 0 0 44000 6 0 0 25 0 1 0 453705019 8871936 1422 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2166 1422 231 231 0 1935 0 vsize: 8664 [startup+450.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1596 0 0 0 45000 7 0 0 25 0 1 0 453705019 8871936 1446 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2166 1446 231 231 0 1935 0 vsize: 8664 [startup+460.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1615 0 0 0 46000 7 0 0 25 0 1 0 453705019 8871936 1465 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2166 1465 231 231 0 1935 0 vsize: 8664 [startup+470.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1630 0 0 0 47000 7 0 0 25 0 1 0 453705019 8871936 1480 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2166 1480 231 231 0 1935 0 vsize: 8664 [startup+480.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1641 0 0 0 48001 7 0 0 25 0 1 0 453705019 8871936 1491 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2166 1491 231 231 0 1935 0 vsize: 8664 [startup+490.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1656 0 0 0 49000 7 0 0 25 0 1 0 453705019 9007104 1506 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1506 231 231 0 1968 0 vsize: 8796 [startup+500.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1682 0 0 0 50000 7 0 0 25 0 1 0 453705019 9007104 1532 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1532 231 231 0 1968 0 vsize: 8796 [startup+510.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1696 0 0 0 51001 8 0 0 25 0 1 0 453705019 9007104 1546 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1546 231 231 0 1968 0 vsize: 8796 [startup+520.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1714 0 0 0 52001 8 0 0 25 0 1 0 453705019 9007104 1564 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1564 231 231 0 1968 0 vsize: 8796 [startup+530.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1728 0 0 0 53001 8 0 0 25 0 1 0 453705019 9007104 1578 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1578 231 231 0 1968 0 vsize: 8796 [startup+540.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1742 0 0 0 54001 8 0 0 25 0 1 0 453705019 9007104 1592 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1592 231 231 0 1968 0 vsize: 8796 [startup+550.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1752 0 0 0 55001 8 0 0 25 0 1 0 453705019 9007104 1602 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1602 231 231 0 1968 0 vsize: 8796 [startup+560.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1766 0 0 0 56001 8 0 0 25 0 1 0 453705019 9007104 1616 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1616 231 231 0 1968 0 vsize: 8796 [startup+570.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1766 0 0 0 57001 8 0 0 25 0 1 0 453705019 9007104 1616 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1616 231 231 0 1968 0 vsize: 8796 [startup+580.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1767 0 0 0 58001 8 0 0 25 0 1 0 453705019 9007104 1617 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1617 231 231 0 1968 0 vsize: 8796 [startup+590.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1768 0 0 0 59002 8 0 0 25 0 1 0 453705019 9007104 1618 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1618 231 231 0 1968 0 vsize: 8796 [startup+600.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1768 0 0 0 60002 8 0 0 25 0 1 0 453705019 9007104 1618 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1618 231 231 0 1968 0 vsize: 8796 [startup+610.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1769 0 0 0 61002 8 0 0 25 0 1 0 453705019 9007104 1619 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1619 231 231 0 1968 0 vsize: 8796 [startup+620.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1780 0 0 0 62002 8 0 0 25 0 1 0 453705019 9093120 1630 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2220 1630 231 231 0 1989 0 vsize: 8880 [startup+630.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1781 0 0 0 63002 8 0 0 25 0 1 0 453705019 9093120 1631 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2220 1631 231 231 0 1989 0 vsize: 8880 [startup+640.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1781 0 0 0 64002 8 0 0 25 0 1 0 453705019 9093120 1631 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2220 1631 231 231 0 1989 0 vsize: 8880 [startup+650.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1782 0 0 0 65003 8 0 0 25 0 1 0 453705019 9093120 1632 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2220 1632 231 231 0 1989 0 vsize: 8880 [startup+660.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1782 0 0 0 66003 8 0 0 25 0 1 0 453705019 9093120 1632 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2220 1632 231 231 0 1989 0 vsize: 8880 [startup+670.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1790 0 0 0 67003 8 0 0 25 0 1 0 453705019 9093120 1640 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2220 1640 231 231 0 1989 0 vsize: 8880 [startup+680.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1794 0 0 0 68003 8 0 0 25 0 1 0 453705019 9093120 1644 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2220 1644 231 231 0 1989 0 vsize: 8880 [startup+690.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1813 0 0 0 69003 8 0 0 25 0 1 0 453705019 9236480 1663 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2255 1663 231 231 0 2024 0 vsize: 9020 [startup+700.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1815 0 0 0 70003 9 0 0 25 0 1 0 453705019 9236480 1665 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2255 1665 231 231 0 2024 0 vsize: 9020 [startup+710.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1829 0 0 0 71003 9 0 0 25 0 1 0 453705019 9236480 1679 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2255 1679 231 231 0 2024 0 vsize: 9020 [startup+720.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1841 0 0 0 72004 9 0 0 25 0 1 0 453705019 9236480 1691 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2255 1691 231 231 0 2024 0 vsize: 9020 [startup+730.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1854 0 0 0 73004 9 0 0 25 0 1 0 453705019 9236480 1704 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2255 1704 231 231 0 2024 0 vsize: 9020 [startup+740.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1876 0 0 0 74003 9 0 0 25 0 1 0 453705019 9236480 1726 4294967295 134512640 135450300 3221224640 3221223504 134539119 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2255 1726 231 231 0 2024 0 vsize: 9020 [startup+750.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1886 0 0 0 75003 10 0 0 25 0 1 0 453705019 9236480 1736 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2255 1736 231 231 0 2024 0 vsize: 9020 [startup+760.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1899 0 0 0 76003 10 0 0 25 0 1 0 453705019 9236480 1749 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2255 1749 231 231 0 2024 0 vsize: 9020 [startup+770.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1913 0 0 0 77004 10 0 0 25 0 1 0 453705019 9236480 1763 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2255 1763 231 231 0 2024 0 vsize: 9020 [startup+780.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1926 0 0 0 78004 10 0 0 25 0 1 0 453705019 9236480 1776 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2255 1776 231 231 0 2024 0 vsize: 9020 [startup+790.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1937 0 0 0 79004 10 0 0 25 0 1 0 453705019 9236480 1787 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2255 1787 231 231 0 2024 0 vsize: 9020 [startup+800.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1964 0 0 0 80004 10 0 0 25 0 1 0 453705019 9355264 1814 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1814 231 231 0 2053 0 vsize: 9136 [startup+810.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1977 0 0 0 81004 10 0 0 25 0 1 0 453705019 9355264 1827 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1827 231 231 0 2053 0 vsize: 9136 [startup+820.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 1988 0 0 0 82004 10 0 0 25 0 1 0 453705019 9355264 1838 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1838 231 231 0 2053 0 vsize: 9136 [startup+830.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2000 0 0 0 83004 10 0 0 25 0 1 0 453705019 9355264 1850 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1850 231 231 0 2053 0 vsize: 9136 [startup+840.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2009 0 0 0 84004 10 0 0 25 0 1 0 453705019 9355264 1859 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1859 231 231 0 2053 0 vsize: 9136 [startup+850.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2020 0 0 0 85004 10 0 0 25 0 1 0 453705019 9355264 1870 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1870 231 231 0 2053 0 vsize: 9136 [startup+860.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2028 0 0 0 86005 10 0 0 25 0 1 0 453705019 9355264 1878 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1878 231 231 0 2053 0 vsize: 9136 [startup+870.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2037 0 0 0 87005 10 0 0 25 0 1 0 453705019 9355264 1887 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1887 231 231 0 2053 0 vsize: 9136 [startup+880.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2046 0 0 0 88005 10 0 0 25 0 1 0 453705019 9355264 1896 4294967295 134512640 135450300 3221224640 3221223504 134539194 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1896 231 231 0 2053 0 vsize: 9136 [startup+890.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2049 0 0 0 89005 10 0 0 25 0 1 0 453705019 9355264 1899 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1899 231 231 0 2053 0 vsize: 9136 [startup+900.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2049 0 0 0 90005 10 0 0 25 0 1 0 453705019 9355264 1899 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1899 231 231 0 2053 0 vsize: 9136 [startup+910.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2050 0 0 0 91005 11 0 0 25 0 1 0 453705019 9355264 1900 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1900 231 231 0 2053 0 vsize: 9136 [startup+920.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2056 0 0 0 92006 11 0 0 25 0 1 0 453705019 9355264 1906 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1906 231 231 0 2053 0 vsize: 9136 [startup+930.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2057 0 0 0 93006 11 0 0 25 0 1 0 453705019 9355264 1907 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1907 231 231 0 2053 0 vsize: 9136 [startup+940.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2059 0 0 0 94006 11 0 0 25 0 1 0 453705019 9355264 1909 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2284 1909 231 231 0 2053 0 vsize: 9136 [startup+950.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2072 0 0 0 95006 11 0 0 25 0 1 0 453705019 9457664 1922 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1922 231 231 0 2078 0 vsize: 9236 [startup+960.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2072 0 0 0 96006 11 0 0 25 0 1 0 453705019 9457664 1922 4294967295 134512640 135450300 3221224640 3221223248 134537600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1922 231 231 0 2078 0 vsize: 9236 [startup+970.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2074 0 0 0 97006 11 0 0 25 0 1 0 453705019 9457664 1924 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1924 231 231 0 2078 0 vsize: 9236 [startup+980.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2074 0 0 0 98006 12 0 0 25 0 1 0 453705019 9457664 1924 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1924 231 231 0 2078 0 vsize: 9236 [startup+990.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2085 0 0 0 99006 12 0 0 25 0 1 0 453705019 9457664 1935 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1935 231 231 0 2078 0 vsize: 9236 [startup+1000.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2086 0 0 0 100006 12 0 0 25 0 1 0 453705019 9457664 1936 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1936 231 231 0 2078 0 vsize: 9236 [startup+1010.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2086 0 0 0 101006 12 0 0 25 0 1 0 453705019 9457664 1936 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1936 231 231 0 2078 0 vsize: 9236 [startup+1020.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2087 0 0 0 102006 12 0 0 25 0 1 0 453705019 9457664 1937 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1937 231 231 0 2078 0 vsize: 9236 [startup+1030.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2087 0 0 0 103006 12 0 0 25 0 1 0 453705019 9457664 1937 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1937 231 231 0 2078 0 vsize: 9236 [startup+1040.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2088 0 0 0 104006 12 0 0 25 0 1 0 453705019 9457664 1938 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1938 231 231 0 2078 0 vsize: 9236 [startup+1050.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2088 0 0 0 105007 12 0 0 25 0 1 0 453705019 9457664 1938 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1938 231 231 0 2078 0 vsize: 9236 [startup+1060.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2089 0 0 0 106007 12 0 0 25 0 1 0 453705019 9457664 1939 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1939 231 231 0 2078 0 vsize: 9236 [startup+1070.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2095 0 0 0 107007 12 0 0 25 0 1 0 453705019 9457664 1945 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1945 231 231 0 2078 0 vsize: 9236 [startup+1080.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2096 0 0 0 108007 12 0 0 25 0 1 0 453705019 9457664 1946 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1946 231 231 0 2078 0 vsize: 9236 [startup+1090.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2096 0 0 0 109007 13 0 0 25 0 1 0 453705019 9457664 1946 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1946 231 231 0 2078 0 vsize: 9236 [startup+1100.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2097 0 0 0 110007 13 0 0 25 0 1 0 453705019 9457664 1947 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1947 231 231 0 2078 0 vsize: 9236 [startup+1110.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2098 0 0 0 111007 13 0 0 25 0 1 0 453705019 9457664 1948 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1948 231 231 0 2078 0 vsize: 9236 [startup+1120.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2101 0 0 0 112007 13 0 0 25 0 1 0 453705019 9457664 1951 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1951 231 231 0 2078 0 vsize: 9236 [startup+1130.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2104 0 0 0 113007 13 0 0 25 0 1 0 453705019 9457664 1954 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1954 231 231 0 2078 0 vsize: 9236 [startup+1140.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2120 0 0 0 114007 13 0 0 25 0 1 0 453705019 9592832 1970 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2342 1970 231 231 0 2111 0 vsize: 9368 [startup+1150.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2121 0 0 0 115007 14 0 0 25 0 1 0 453705019 9592832 1971 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2342 1971 231 231 0 2111 0 vsize: 9368 [startup+1160.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2123 0 0 0 116007 14 0 0 25 0 1 0 453705019 9592832 1973 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2342 1973 231 231 0 2111 0 vsize: 9368 [startup+1170.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2132 0 0 0 117007 14 0 0 25 0 1 0 453705019 9592832 1982 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2342 1982 231 231 0 2111 0 vsize: 9368 [startup+1180.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2146 0 0 0 118007 14 0 0 25 0 1 0 453705019 9592832 1996 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2342 1996 231 231 0 2111 0 vsize: 9368 [startup+1190.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2167 0 0 0 119007 14 0 0 25 0 1 0 453705019 9592832 2017 4294967295 134512640 135450300 3221224640 3221223376 134538015 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2342 2017 231 231 0 2111 0 vsize: 9368 [startup+1200.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 12476 Raw data (stat): 12476 (PBS4) R 12475 20937 20936 0 -1 0 2168 0 0 0 120007 14 0 0 25 0 1 0 453705019 9592832 2018 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2342 2018 231 231 0 2111 0 vsize: 9368 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.03 s] Raw data (loadavg): 0.99 0.98 0.91 1/54 12476 Raw data (stat): 12476 (PBS4) Z 12475 20937 20936 0 -1 1036 2168 0 0 0 120007 15 0 0 25 0 1 0 453705019 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.03 CPU time (s): 1200.23 CPU user time (s): 1200.08 CPU system time (s): 0.150977 CPU usage (%): 100.017 Max. virtual memory (Kb): 9368 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####