Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb |
MD5SUM | 64e81a7b23abbb8a6da4e2377ea69dee |
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 | 13453 |
Number of constraints which are clauses | 13453 |
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 wulflinc20 THE 2005-04-17 16:22:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1833 boxname=wulflinc20 idbench=204 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 64e81a7b23abbb8a6da4e2377ea69dee /oldhome/oroussel/tmp/wulflinc20/normalized-par32-1.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc20/normalized-par32-1.opb IDLAUNCH: 1833 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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.215 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: 790744 kB Buffers: 37220 kB Cached: 170000 kB SwapCached: 2628 kB Active: 65148 kB Inactive: 147564 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 790492 kB SwapTotal: 2097892 kB SwapFree: 2095264 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6936 kB Slab: 25532 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 16:42:59 (client local time) WITH STATUS 0 IN 1200.21 SECONDS stats: 1833 7 1200.21 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc20/normalized-par32-1.opb ...... #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.84 0.94 0.90 2/54 23765 Raw data (stat): 23765 (runsolver) R 23764 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511922929 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.0011 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 762 0 0 0 997 1 0 0 25 0 1 0 511922929 3760128 709 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 918 709 231 231 0 687 0 vsize: 3672 [startup+20.0016 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 775 0 0 0 1997 1 0 0 25 0 1 0 511922929 3760128 722 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 918 722 231 231 0 687 0 vsize: 3672 [startup+30.0025 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 785 0 0 0 2998 1 0 0 25 0 1 0 511922929 3760128 732 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 918 732 231 231 0 687 0 vsize: 3672 [startup+40.0023 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 837 0 0 0 3998 1 0 0 25 0 1 0 511922929 3895296 784 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 951 784 231 231 0 720 0 vsize: 3804 [startup+50.0017 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 879 0 0 0 4998 2 0 0 25 0 1 0 511922929 4562944 826 4294967295 134512640 135450300 3221224640 3221223248 134537609 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1114 826 231 231 0 883 0 vsize: 4456 [startup+60.0017 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 890 0 0 0 5997 2 0 0 25 0 1 0 511922929 4562944 837 4294967295 134512640 135450300 3221224640 3221223520 134580092 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1114 837 231 231 0 883 0 vsize: 4456 [startup+70.0024 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 906 0 0 0 6998 2 0 0 25 0 1 0 511922929 4562944 853 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1114 853 231 231 0 883 0 vsize: 4456 [startup+80.0029 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 920 0 0 0 7998 2 0 0 25 0 1 0 511922929 4698112 867 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1147 867 231 231 0 916 0 vsize: 4588 [startup+90.0032 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 935 0 0 0 8998 2 0 0 25 0 1 0 511922929 4698112 882 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1147 882 231 231 0 916 0 vsize: 4588 [startup+100.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 945 0 0 0 9998 2 0 0 25 0 1 0 511922929 4698112 892 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1147 892 231 231 0 916 0 vsize: 4588 [startup+110.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 954 0 0 0 10998 2 0 0 25 0 1 0 511922929 4698112 901 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1147 901 231 231 0 916 0 vsize: 4588 [startup+120.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 966 0 0 0 11998 2 0 0 25 0 1 0 511922929 4698112 913 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1147 913 231 231 0 916 0 vsize: 4588 [startup+130.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 983 0 0 0 12999 2 0 0 25 0 1 0 511922929 4698112 930 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1147 930 231 231 0 916 0 vsize: 4588 [startup+140.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 995 0 0 0 13998 2 0 0 25 0 1 0 511922929 4698112 942 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1147 942 231 231 0 916 0 vsize: 4588 [startup+150.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1003 0 0 0 14999 2 0 0 25 0 1 0 511922929 4698112 950 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1147 950 231 231 0 916 0 vsize: 4588 [startup+160.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1014 0 0 0 15999 3 0 0 25 0 1 0 511922929 4698112 961 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1147 961 231 231 0 916 0 vsize: 4588 [startup+170.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1024 0 0 0 16999 3 0 0 25 0 1 0 511922929 4698112 971 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1147 971 231 231 0 916 0 vsize: 4588 [startup+180.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1068 0 0 0 17999 3 0 0 25 0 1 0 511922929 4837376 1015 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1181 1015 231 231 0 950 0 vsize: 4724 [startup+190.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1094 0 0 0 18999 3 0 0 25 0 1 0 511922929 6025216 1041 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1471 1041 231 231 0 1240 0 vsize: 5884 [startup+200.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1104 0 0 0 19999 3 0 0 25 0 1 0 511922929 6025216 1051 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1471 1051 231 231 0 1240 0 vsize: 5884 [startup+210.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1116 0 0 0 21000 3 0 0 25 0 1 0 511922929 6025216 1063 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1471 1063 231 231 0 1240 0 vsize: 5884 [startup+220.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1138 0 0 0 22000 3 0 0 25 0 1 0 511922929 6025216 1085 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1471 1085 231 231 0 1240 0 vsize: 5884 [startup+230.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1163 0 0 0 23000 3 0 0 25 0 1 0 511922929 6025216 1110 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1471 1110 231 231 0 1240 0 vsize: 5884 [startup+240.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1174 0 0 0 24000 3 0 0 25 0 1 0 511922929 6025216 1121 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1471 1121 231 231 0 1240 0 vsize: 5884 [startup+250.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1189 0 0 0 25000 3 0 0 25 0 1 0 511922929 6025216 1136 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1471 1136 231 231 0 1240 0 vsize: 5884 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1203 0 0 0 26000 3 0 0 25 0 1 0 511922929 6025216 1150 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1471 1150 231 231 0 1240 0 vsize: 5884 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1219 0 0 0 27000 3 0 0 25 0 1 0 511922929 6025216 1166 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1471 1166 231 231 0 1240 0 vsize: 5884 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1230 0 0 0 28000 3 0 0 25 0 1 0 511922929 6025216 1177 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1471 1177 231 231 0 1240 0 vsize: 5884 [startup+290.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1243 0 0 0 29000 3 0 0 25 0 1 0 511922929 6172672 1190 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1507 1190 231 231 0 1276 0 vsize: 6028 [startup+300.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1252 0 0 0 30000 3 0 0 25 0 1 0 511922929 6172672 1199 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1507 1199 231 231 0 1276 0 vsize: 6028 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1270 0 0 0 31001 4 0 0 25 0 1 0 511922929 6172672 1217 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1507 1217 231 231 0 1276 0 vsize: 6028 [startup+320.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1377 0 0 0 32000 4 0 0 25 0 1 0 511922929 6565888 1227 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1603 1227 231 231 0 1372 0 vsize: 6412 [startup+330.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1394 0 0 0 33000 4 0 0 25 0 1 0 511922929 6565888 1244 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1603 1244 231 231 0 1372 0 vsize: 6412 [startup+340.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1396 0 0 0 34001 4 0 0 25 0 1 0 511922929 6565888 1246 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1603 1246 231 231 0 1372 0 vsize: 6412 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1416 0 0 0 35001 4 0 0 25 0 1 0 511922929 6713344 1266 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1639 1266 231 231 0 1408 0 vsize: 6556 [startup+360.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1435 0 0 0 36001 4 0 0 25 0 1 0 511922929 6713344 1285 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1639 1285 231 231 0 1408 0 vsize: 6556 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1454 0 0 0 37001 4 0 0 25 0 1 0 511922929 6713344 1304 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1639 1304 231 231 0 1408 0 vsize: 6556 [startup+380.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1481 0 0 0 38001 5 0 0 25 0 1 0 511922929 6713344 1331 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1639 1331 231 231 0 1408 0 vsize: 6556 [startup+390.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1500 0 0 0 39001 5 0 0 25 0 1 0 511922929 6713344 1350 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1639 1350 231 231 0 1408 0 vsize: 6556 [startup+400.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1518 0 0 0 40001 5 0 0 25 0 1 0 511922929 6860800 1368 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1675 1368 231 231 0 1444 0 vsize: 6700 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1537 0 0 0 41001 5 0 0 25 0 1 0 511922929 6860800 1387 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1675 1387 231 231 0 1444 0 vsize: 6700 [startup+420.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1565 0 0 0 42001 5 0 0 25 0 1 0 511922929 6860800 1415 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1675 1415 231 231 0 1444 0 vsize: 6700 [startup+430.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1577 0 0 0 43001 5 0 0 25 0 1 0 511922929 6860800 1427 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1675 1427 231 231 0 1444 0 vsize: 6700 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1591 0 0 0 44001 5 0 0 25 0 1 0 511922929 6860800 1441 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1675 1441 231 231 0 1444 0 vsize: 6700 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1606 0 0 0 45001 5 0 0 25 0 1 0 511922929 8957952 1456 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2187 1456 231 231 0 1956 0 vsize: 8748 [startup+460.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1620 0 0 0 46002 5 0 0 25 0 1 0 511922929 8957952 1470 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2187 1470 231 231 0 1956 0 vsize: 8748 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1633 0 0 0 47002 5 0 0 25 0 1 0 511922929 8957952 1483 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2187 1483 231 231 0 1956 0 vsize: 8748 [startup+480.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1643 0 0 0 48002 6 0 0 25 0 1 0 511922929 8957952 1493 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2187 1493 231 231 0 1956 0 vsize: 8748 [startup+490.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1661 0 0 0 49002 6 0 0 25 0 1 0 511922929 8957952 1511 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2187 1511 231 231 0 1956 0 vsize: 8748 [startup+500.007 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1673 0 0 0 50002 6 0 0 25 0 1 0 511922929 8957952 1523 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2187 1523 231 231 0 1956 0 vsize: 8748 [startup+510.008 s] Raw data (loadavg): 1.14 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1696 0 0 0 51002 6 0 0 25 0 1 0 511922929 8957952 1546 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2187 1546 231 231 0 1956 0 vsize: 8748 [startup+520.007 s] Raw data (loadavg): 1.11 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1710 0 0 0 52002 6 0 0 25 0 1 0 511922929 8957952 1560 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2187 1560 231 231 0 1956 0 vsize: 8748 [startup+530.007 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1730 0 0 0 53002 6 0 0 25 0 1 0 511922929 8957952 1580 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2187 1580 231 231 0 1956 0 vsize: 8748 [startup+540.008 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1754 0 0 0 54002 6 0 0 25 0 1 0 511922929 9084928 1604 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2218 1604 231 231 0 1987 0 vsize: 8872 [startup+550.008 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1766 0 0 0 55002 6 0 0 25 0 1 0 511922929 9084928 1616 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2218 1616 231 231 0 1987 0 vsize: 8872 [startup+560.008 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1776 0 0 0 56002 7 0 0 25 0 1 0 511922929 9084928 1626 4294967295 134512640 135450300 3221224640 3221223360 134535627 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2218 1626 231 231 0 1987 0 vsize: 8872 [startup+570.009 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1791 0 0 0 57002 7 0 0 25 0 1 0 511922929 9084928 1641 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2218 1641 231 231 0 1987 0 vsize: 8872 [startup+580.009 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1801 0 0 0 58002 7 0 0 25 0 1 0 511922929 9084928 1651 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2218 1651 231 231 0 1987 0 vsize: 8872 [startup+590.009 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1812 0 0 0 59002 7 0 0 25 0 1 0 511922929 9084928 1662 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2218 1662 231 231 0 1987 0 vsize: 8872 [startup+600.008 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1831 0 0 0 60002 7 0 0 25 0 1 0 511922929 9203712 1681 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2247 1681 231 231 0 2016 0 vsize: 8988 [startup+610.008 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1833 0 0 0 61002 7 0 0 25 0 1 0 511922929 9203712 1683 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2247 1683 231 231 0 2016 0 vsize: 8988 [startup+620.008 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1835 0 0 0 62002 7 0 0 25 0 1 0 511922929 9203712 1685 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2247 1685 231 231 0 2016 0 vsize: 8988 [startup+630.007 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1843 0 0 0 63002 7 0 0 25 0 1 0 511922929 9203712 1693 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2247 1693 231 231 0 2016 0 vsize: 8988 [startup+640.008 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1851 0 0 0 64002 8 0 0 25 0 1 0 511922929 9203712 1701 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2247 1701 231 231 0 2016 0 vsize: 8988 [startup+650.008 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1855 0 0 0 65003 8 0 0 25 0 1 0 511922929 9203712 1705 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2247 1705 231 231 0 2016 0 vsize: 8988 [startup+660.008 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1860 0 0 0 66003 8 0 0 25 0 1 0 511922929 9203712 1710 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2247 1710 231 231 0 2016 0 vsize: 8988 [startup+670.008 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1866 0 0 0 67003 8 0 0 25 0 1 0 511922929 9363456 1716 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2286 1716 231 231 0 2055 0 vsize: 9144 [startup+680.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1867 0 0 0 68003 8 0 0 25 0 1 0 511922929 9363456 1717 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2286 1717 231 231 0 2055 0 vsize: 9144 [startup+690.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1883 0 0 0 69003 8 0 0 25 0 1 0 511922929 9363456 1733 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2286 1733 231 231 0 2055 0 vsize: 9144 [startup+700.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1884 0 0 0 70003 8 0 0 25 0 1 0 511922929 9363456 1734 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2286 1734 231 231 0 2055 0 vsize: 9144 [startup+710.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1885 0 0 0 71003 8 0 0 25 0 1 0 511922929 9363456 1735 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2286 1735 231 231 0 2055 0 vsize: 9144 [startup+720.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1886 0 0 0 72003 8 0 0 25 0 1 0 511922929 9363456 1736 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2286 1736 231 231 0 2055 0 vsize: 9144 [startup+730.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1892 0 0 0 73003 8 0 0 25 0 1 0 511922929 9363456 1742 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2286 1742 231 231 0 2055 0 vsize: 9144 [startup+740.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1894 0 0 0 74004 8 0 0 25 0 1 0 511922929 9363456 1744 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2286 1744 231 231 0 2055 0 vsize: 9144 [startup+750.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1896 0 0 0 75004 8 0 0 25 0 1 0 511922929 9363456 1746 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2286 1746 231 231 0 2055 0 vsize: 9144 [startup+760.009 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1897 0 0 0 76004 8 0 0 25 0 1 0 511922929 9363456 1747 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2286 1747 231 231 0 2055 0 vsize: 9144 [startup+770.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1917 0 0 0 77004 9 0 0 25 0 1 0 511922929 9490432 1767 4294967295 134512640 135450300 3221224640 3221223392 135069216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1767 231 231 0 2086 0 vsize: 9268 [startup+780.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1928 0 0 0 78004 9 0 0 25 0 1 0 511922929 9490432 1778 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1778 231 231 0 2086 0 vsize: 9268 [startup+790.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1938 0 0 0 79004 9 0 0 25 0 1 0 511922929 9490432 1788 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1788 231 231 0 2086 0 vsize: 9268 [startup+800.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1947 0 0 0 80004 9 0 0 25 0 1 0 511922929 9490432 1797 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1797 231 231 0 2086 0 vsize: 9268 [startup+810.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1961 0 0 0 81004 9 0 0 25 0 1 0 511922929 9490432 1811 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1811 231 231 0 2086 0 vsize: 9268 [startup+820.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1983 0 0 0 82005 9 0 0 25 0 1 0 511922929 9490432 1833 4294967295 134512640 135450300 3221224640 3221223096 134572865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1833 231 231 0 2086 0 vsize: 9268 [startup+830.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1984 0 0 0 83005 9 0 0 25 0 1 0 511922929 9490432 1834 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1834 231 231 0 2086 0 vsize: 9268 [startup+840.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1985 0 0 0 84005 9 0 0 25 0 1 0 511922929 9490432 1835 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1835 231 231 0 2086 0 vsize: 9268 [startup+850.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1985 0 0 0 85005 9 0 0 25 0 1 0 511922929 9490432 1835 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1835 231 231 0 2086 0 vsize: 9268 [startup+860.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1988 0 0 0 86005 9 0 0 25 0 1 0 511922929 9490432 1838 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1838 231 231 0 2086 0 vsize: 9268 [startup+870.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 1989 0 0 0 87005 9 0 0 25 0 1 0 511922929 9490432 1839 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1839 231 231 0 2086 0 vsize: 9268 [startup+880.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2005 0 0 0 88005 9 0 0 25 0 1 0 511922929 9572352 1855 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2337 1855 231 231 0 2106 0 vsize: 9348 [startup+890.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2005 0 0 0 89005 9 0 0 25 0 1 0 511922929 9572352 1855 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2337 1855 231 231 0 2106 0 vsize: 9348 [startup+900.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2006 0 0 0 90005 9 0 0 25 0 1 0 511922929 9572352 1856 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2337 1856 231 231 0 2106 0 vsize: 9348 [startup+910.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2007 0 0 0 91006 9 0 0 25 0 1 0 511922929 9572352 1857 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2337 1857 231 231 0 2106 0 vsize: 9348 [startup+920.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2008 0 0 0 92006 9 0 0 25 0 1 0 511922929 9572352 1858 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2337 1858 231 231 0 2106 0 vsize: 9348 [startup+930.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2009 0 0 0 93006 10 0 0 25 0 1 0 511922929 9572352 1859 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2337 1859 231 231 0 2106 0 vsize: 9348 [startup+940.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2024 0 0 0 94006 10 0 0 25 0 1 0 511922929 9678848 1874 4294967295 134512640 135450300 3221224640 3221223248 134537609 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1874 231 231 0 2132 0 vsize: 9452 [startup+950.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2025 0 0 0 95006 10 0 0 25 0 1 0 511922929 9678848 1875 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1875 231 231 0 2132 0 vsize: 9452 [startup+960.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2025 0 0 0 96006 10 0 0 25 0 1 0 511922929 9678848 1875 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1875 231 231 0 2132 0 vsize: 9452 [startup+970.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2026 0 0 0 97006 10 0 0 25 0 1 0 511922929 9678848 1876 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1876 231 231 0 2132 0 vsize: 9452 [startup+980.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2027 0 0 0 98006 10 0 0 25 0 1 0 511922929 9678848 1877 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1877 231 231 0 2132 0 vsize: 9452 [startup+990.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2028 0 0 0 99006 10 0 0 25 0 1 0 511922929 9678848 1878 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1878 231 231 0 2132 0 vsize: 9452 [startup+1000.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2029 0 0 0 100006 10 0 0 25 0 1 0 511922929 9678848 1879 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1879 231 231 0 2132 0 vsize: 9452 [startup+1010.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2039 0 0 0 101006 10 0 0 25 0 1 0 511922929 9678848 1889 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1889 231 231 0 2132 0 vsize: 9452 [startup+1020.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2040 0 0 0 102006 10 0 0 25 0 1 0 511922929 9678848 1890 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1890 231 231 0 2132 0 vsize: 9452 [startup+1030.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2042 0 0 0 103006 11 0 0 25 0 1 0 511922929 9678848 1892 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1892 231 231 0 2132 0 vsize: 9452 [startup+1040.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2042 0 0 0 104006 11 0 0 25 0 1 0 511922929 9678848 1892 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1892 231 231 0 2132 0 vsize: 9452 [startup+1050.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2043 0 0 0 105006 11 0 0 25 0 1 0 511922929 9678848 1893 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1893 231 231 0 2132 0 vsize: 9452 [startup+1060.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2052 0 0 0 106006 11 0 0 25 0 1 0 511922929 9678848 1902 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1902 231 231 0 2132 0 vsize: 9452 [startup+1070.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2053 0 0 0 107006 11 0 0 25 0 1 0 511922929 9678848 1903 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1903 231 231 0 2132 0 vsize: 9452 [startup+1080.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2054 0 0 0 108006 11 0 0 25 0 1 0 511922929 9678848 1904 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1904 231 231 0 2132 0 vsize: 9452 [startup+1090.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2055 0 0 0 109006 12 0 0 25 0 1 0 511922929 9678848 1905 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1905 231 231 0 2132 0 vsize: 9452 [startup+1100 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2056 0 0 0 110006 12 0 0 25 0 1 0 511922929 9678848 1906 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1906 231 231 0 2132 0 vsize: 9452 [startup+1110 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2057 0 0 0 111006 12 0 0 25 0 1 0 511922929 9678848 1907 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1907 231 231 0 2132 0 vsize: 9452 [startup+1120.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2057 0 0 0 112006 12 0 0 25 0 1 0 511922929 9678848 1907 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1907 231 231 0 2132 0 vsize: 9452 [startup+1130 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2058 0 0 0 113006 12 0 0 25 0 1 0 511922929 9678848 1908 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1908 231 231 0 2132 0 vsize: 9452 [startup+1140 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2070 0 0 0 114006 12 0 0 25 0 1 0 511922929 9781248 1920 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2388 1920 231 231 0 2157 0 vsize: 9552 [startup+1150.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2070 0 0 0 115006 13 0 0 25 0 1 0 511922929 9781248 1920 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2388 1920 231 231 0 2157 0 vsize: 9552 [startup+1160.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2071 0 0 0 116007 13 0 0 25 0 1 0 511922929 9781248 1921 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2388 1921 231 231 0 2157 0 vsize: 9552 [startup+1170.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2072 0 0 0 117007 13 0 0 25 0 1 0 511922929 9781248 1922 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2388 1922 231 231 0 2157 0 vsize: 9552 [startup+1180.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2072 0 0 0 118006 13 0 0 25 0 1 0 511922929 9781248 1922 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2388 1922 231 231 0 2157 0 vsize: 9552 [startup+1190.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2082 0 0 0 119006 13 0 0 25 0 1 0 511922929 9781248 1932 4294967295 134512640 135450300 3221224640 3221223376 134538454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2388 1932 231 231 0 2157 0 vsize: 9552 [startup+1200.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 23765 Raw data (stat): 23765 (PBS4) R 23764 27565 27564 0 -1 0 2083 0 0 0 120006 14 0 0 25 0 1 0 511922929 9781248 1933 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2388 1933 231 231 0 2157 0 vsize: 9552 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.01 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 23765 Raw data (stat): 23765 (PBS4) Z 23764 27565 27564 0 -1 1036 2083 0 0 0 120006 14 0 0 25 0 1 0 511922929 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.01 CPU time (s): 1200.21 CPU user time (s): 1200.07 CPU system time (s): 0.144977 CPU usage (%): 100.017 Max. virtual memory (Kb): 9552 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####