Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb |
MD5SUM | 00855a9538cee8df79108d56ee6867b4 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5046 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1989 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 382524 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 382524 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.28 |
Number of variables | 1989 |
Total number of constraints | 2086 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2085 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1989 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-04-21 09:32:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11901 boxname=wulflinc25 idbench=916 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 00855a9538cee8df79108d56ee6867b4 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-l152lav.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-l152lav.opb IDLAUNCH: 11901 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 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: 573380 kB Buffers: 18996 kB Cached: 421932 kB SwapCached: 732 kB Active: 41592 kB Inactive: 401364 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 573128 kB SwapTotal: 2097892 kB SwapFree: 2096248 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5024 kB Slab: 12548 kB Committed_AS: 63592 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 09:52:06 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 11901 7 1200.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-l152lav.opb ...... #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.95 0.93 2/54 557 Raw data (stat): 557 (runsolver) R 556 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544033183 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.87 0.95 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 428 0 0 0 995 3 0 0 25 0 1 0 544033183 2445312 424 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 597 424 231 231 0 366 0 vsize: 2388 [startup+20.0013 s] Raw data (loadavg): 0.89 0.95 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 548 0 0 0 1995 4 0 0 25 0 1 0 544033183 3121152 544 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 762 544 231 231 0 531 0 vsize: 3048 [startup+30.0016 s] Raw data (loadavg): 0.91 0.95 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 661 0 0 0 2994 5 0 0 25 0 1 0 544033183 4169728 657 4294967295 134512640 135450300 3221224624 3221223232 134537648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1018 657 231 231 0 787 0 vsize: 4072 [startup+40.0016 s] Raw data (loadavg): 0.92 0.95 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 794 0 0 0 3994 5 0 0 25 0 1 0 544033183 4325376 790 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1056 790 231 231 0 825 0 vsize: 4224 [startup+50.0011 s] Raw data (loadavg): 0.93 0.96 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 947 0 0 0 4992 7 0 0 25 0 1 0 544033183 4460544 943 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1089 943 231 231 0 858 0 vsize: 4356 [startup+60.0014 s] Raw data (loadavg): 0.94 0.96 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 1083 0 0 0 5990 9 0 0 25 0 1 0 544033183 6828032 1079 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1667 1079 231 231 0 1436 0 vsize: 6668 [startup+70.0013 s] Raw data (loadavg): 0.95 0.96 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 1188 0 0 0 6990 10 0 0 25 0 1 0 544033183 6828032 1184 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1667 1184 231 231 0 1436 0 vsize: 6668 [startup+80.0019 s] Raw data (loadavg): 0.96 0.96 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 1304 0 0 0 7989 11 0 0 25 0 1 0 544033183 6963200 1300 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1700 1300 231 231 0 1469 0 vsize: 6800 [startup+90.0012 s] Raw data (loadavg): 0.96 0.96 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 1437 0 0 0 8988 12 0 0 25 0 1 0 544033183 7299072 1433 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1782 1433 231 231 0 1551 0 vsize: 7128 [startup+100.001 s] Raw data (loadavg): 0.97 0.96 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 1547 0 0 0 9987 13 0 0 25 0 1 0 544033183 7299072 1543 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1782 1543 231 231 0 1551 0 vsize: 7128 [startup+110.002 s] Raw data (loadavg): 0.97 0.96 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 1636 0 0 0 10986 14 0 0 25 0 1 0 544033183 11493376 1632 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2806 1632 231 231 0 2575 0 vsize: 11224 [startup+120.002 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 1766 0 0 0 11985 15 0 0 25 0 1 0 544033183 11493376 1762 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2806 1762 231 231 0 2575 0 vsize: 11224 [startup+130.003 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 1921 0 0 0 12985 16 0 0 25 0 1 0 544033183 11628544 1917 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2839 1917 231 231 0 2608 0 vsize: 11356 [startup+140.003 s] Raw data (loadavg): 0.98 0.96 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 2070 0 0 0 13984 17 0 0 25 0 1 0 544033183 11628544 2066 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2839 2066 231 231 0 2608 0 vsize: 11356 [startup+150.002 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 2237 0 0 0 14983 18 0 0 25 0 1 0 544033183 11628544 2233 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2839 2233 231 231 0 2608 0 vsize: 11356 [startup+160.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 2318 0 0 0 15982 20 0 0 25 0 1 0 544033183 11763712 2314 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2872 2314 231 231 0 2641 0 vsize: 11488 [startup+170.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 2577 0 0 0 16981 21 0 0 25 0 1 0 544033183 11894784 2573 4294967295 134512640 135450300 3221224624 3221223552 134539671 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2904 2573 231 231 0 2673 0 vsize: 11616 [startup+180.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 2744 0 0 0 17980 22 0 0 25 0 1 0 544033183 12091392 2691 4294967295 134512640 135450300 3221224624 3221223360 134537999 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2952 2691 231 231 0 2721 0 vsize: 11808 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 2874 0 0 0 18979 23 0 0 25 0 1 0 544033183 20611072 2821 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5032 2821 231 231 0 4801 0 vsize: 20128 [startup+200.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3040 0 0 0 19978 24 0 0 25 0 1 0 544033183 20611072 2987 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5032 2987 231 231 0 4801 0 vsize: 20128 [startup+210.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3133 0 0 0 20977 25 0 0 25 0 1 0 544033183 20746240 3080 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5065 3080 231 231 0 4834 0 vsize: 20260 [startup+220.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3241 0 0 0 21976 26 0 0 25 0 1 0 544033183 20746240 3188 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5065 3188 231 231 0 4834 0 vsize: 20260 [startup+230.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3306 0 0 0 22975 28 0 0 25 0 1 0 544033183 20881408 3253 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5098 3253 231 231 0 4867 0 vsize: 20392 [startup+240.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3408 0 0 0 23974 29 0 0 25 0 1 0 544033183 20881408 3355 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5098 3355 231 231 0 4867 0 vsize: 20392 [startup+250.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3564 0 0 0 24972 31 0 0 25 0 1 0 544033183 21159936 3511 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5166 3511 231 231 0 4935 0 vsize: 20664 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3568 0 0 0 25971 32 0 0 25 0 1 0 544033183 21159936 3515 4294967295 134512640 135450300 3221224624 3221223232 134537639 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5166 3515 231 231 0 4935 0 vsize: 20664 [startup+270.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3572 0 0 0 26970 33 0 0 25 0 1 0 544033183 21159936 3519 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5166 3519 231 231 0 4935 0 vsize: 20664 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3586 0 0 0 27970 34 0 0 25 0 1 0 544033183 21159936 3533 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5166 3533 231 231 0 4935 0 vsize: 20664 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3595 0 0 0 28969 35 0 0 25 0 1 0 544033183 21159936 3542 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5166 3542 231 231 0 4935 0 vsize: 20664 [startup+300.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3603 0 0 0 29969 35 0 0 25 0 1 0 544033183 21159936 3550 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5166 3550 231 231 0 4935 0 vsize: 20664 [startup+310.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3640 0 0 0 30968 36 0 0 25 0 1 0 544033183 21327872 3587 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5207 3587 231 231 0 4976 0 vsize: 20828 [startup+320.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3645 0 0 0 31967 37 0 0 25 0 1 0 544033183 21327872 3592 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5207 3592 231 231 0 4976 0 vsize: 20828 [startup+330.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3650 0 0 0 32967 38 0 0 25 0 1 0 544033183 21327872 3597 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5207 3597 231 231 0 4976 0 vsize: 20828 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3657 0 0 0 33967 38 0 0 25 0 1 0 544033183 21475328 3604 4294967295 134512640 135450300 3221224624 3221223360 134538002 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5243 3604 231 231 0 5012 0 vsize: 20972 [startup+350.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3662 0 0 0 34966 39 0 0 25 0 1 0 544033183 21475328 3609 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5243 3609 231 231 0 5012 0 vsize: 20972 [startup+360.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3678 0 0 0 35965 40 0 0 25 0 1 0 544033183 21475328 3625 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5243 3625 231 231 0 5012 0 vsize: 20972 [startup+370.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3681 0 0 0 36964 41 0 0 25 0 1 0 544033183 21475328 3628 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5243 3628 231 231 0 5012 0 vsize: 20972 [startup+380.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3688 0 0 0 37963 42 0 0 25 0 1 0 544033183 21475328 3635 4294967295 134512640 135450300 3221224624 3221223360 134538020 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5243 3635 231 231 0 5012 0 vsize: 20972 [startup+390.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3689 0 0 0 38963 43 0 0 25 0 1 0 544033183 21475328 3636 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5243 3636 231 231 0 5012 0 vsize: 20972 [startup+400.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3793 0 0 0 39962 44 0 0 25 0 1 0 544033183 21868544 3643 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5339 3643 231 231 0 5108 0 vsize: 21356 [startup+410.002 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3796 0 0 0 40961 45 0 0 25 0 1 0 544033183 21868544 3646 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5339 3646 231 231 0 5108 0 vsize: 21356 [startup+420.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3805 0 0 0 41960 46 0 0 25 0 1 0 544033183 22003712 3655 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5372 3655 231 231 0 5141 0 vsize: 21488 [startup+430.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3807 0 0 0 42959 48 0 0 25 0 1 0 544033183 22003712 3657 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5372 3657 231 231 0 5141 0 vsize: 21488 [startup+440.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3814 0 0 0 43958 48 0 0 25 0 1 0 544033183 22003712 3664 4294967295 134512640 135450300 3221224624 3221223360 134538690 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5372 3664 231 231 0 5141 0 vsize: 21488 [startup+450 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3822 0 0 0 44957 49 0 0 25 0 1 0 544033183 22003712 3672 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5372 3672 231 231 0 5141 0 vsize: 21488 [startup+460 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3830 0 0 0 45957 50 0 0 25 0 1 0 544033183 22003712 3680 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5372 3680 231 231 0 5141 0 vsize: 21488 [startup+470 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3837 0 0 0 46957 51 0 0 25 0 1 0 544033183 22003712 3687 4294967295 134512640 135450300 3221224624 3221222976 134533239 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5372 3687 231 231 0 5141 0 vsize: 21488 [startup+480 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3860 0 0 0 47956 52 0 0 25 0 1 0 544033183 22163456 3710 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5411 3710 231 231 0 5180 0 vsize: 21644 [startup+490 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3862 0 0 0 48955 52 0 0 25 0 1 0 544033183 22163456 3712 4294967295 134512640 135450300 3221224624 3221223360 134538007 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5411 3712 231 231 0 5180 0 vsize: 21644 [startup+499.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3869 0 0 0 49954 54 0 0 25 0 1 0 544033183 22163456 3719 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5411 3719 231 231 0 5180 0 vsize: 21644 [startup+510 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3872 0 0 0 50954 54 0 0 25 0 1 0 544033183 22163456 3722 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5411 3722 231 231 0 5180 0 vsize: 21644 [startup+520 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3877 0 0 0 51953 55 0 0 25 0 1 0 544033183 22163456 3727 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5411 3727 231 231 0 5180 0 vsize: 21644 [startup+529.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3884 0 0 0 52953 55 0 0 25 0 1 0 544033183 22163456 3734 4294967295 134512640 135450300 3221224624 3221223104 134534885 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5411 3734 231 231 0 5180 0 vsize: 21644 [startup+540 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3889 0 0 0 53953 56 0 0 25 0 1 0 544033183 22163456 3739 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5411 3739 231 231 0 5180 0 vsize: 21644 [startup+549.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3896 0 0 0 54952 56 0 0 25 0 1 0 544033183 22163456 3746 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5411 3746 231 231 0 5180 0 vsize: 21644 [startup+560 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3905 0 0 0 55952 57 0 0 25 0 1 0 544033183 22163456 3755 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5411 3755 231 231 0 5180 0 vsize: 21644 [startup+570 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3908 0 0 0 56952 57 0 0 25 0 1 0 544033183 22163456 3758 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5411 3758 231 231 0 5180 0 vsize: 21644 [startup+580 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3918 0 0 0 57950 59 0 0 25 0 1 0 544033183 22298624 3768 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5444 3768 231 231 0 5213 0 vsize: 21776 [startup+590 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3922 0 0 0 58950 60 0 0 25 0 1 0 544033183 22298624 3772 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5444 3772 231 231 0 5213 0 vsize: 21776 [startup+600 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3966 0 0 0 59949 61 0 0 25 0 1 0 544033183 22450176 3816 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5481 3816 231 231 0 5250 0 vsize: 21924 [startup+610.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3969 0 0 0 60948 62 0 0 25 0 1 0 544033183 22450176 3819 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5481 3819 231 231 0 5250 0 vsize: 21924 [startup+620.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3974 0 0 0 61948 62 0 0 25 0 1 0 544033183 22450176 3824 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5481 3824 231 231 0 5250 0 vsize: 21924 [startup+630 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3979 0 0 0 62947 63 0 0 25 0 1 0 544033183 22450176 3829 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5481 3829 231 231 0 5250 0 vsize: 21924 [startup+640 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3982 0 0 0 63947 63 0 0 25 0 1 0 544033183 22450176 3832 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5481 3832 231 231 0 5250 0 vsize: 21924 [startup+649.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3986 0 0 0 64947 64 0 0 25 0 1 0 544033183 22450176 3836 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5481 3836 231 231 0 5250 0 vsize: 21924 [startup+660 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3991 0 0 0 65946 64 0 0 25 0 1 0 544033183 22450176 3841 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5481 3841 231 231 0 5250 0 vsize: 21924 [startup+670.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 3999 0 0 0 66946 65 0 0 25 0 1 0 544033183 22450176 3849 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5481 3849 231 231 0 5250 0 vsize: 21924 [startup+680 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4013 0 0 0 67945 66 0 0 25 0 1 0 544033183 22585344 3863 4294967295 134512640 135450300 3221224624 3221223360 134538023 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5514 3863 231 231 0 5283 0 vsize: 22056 [startup+690 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4023 0 0 0 68944 67 0 0 25 0 1 0 544033183 22585344 3873 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5514 3873 231 231 0 5283 0 vsize: 22056 [startup+699.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4030 0 0 0 69944 68 0 0 25 0 1 0 544033183 22585344 3880 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5514 3880 231 231 0 5283 0 vsize: 22056 [startup+710 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4041 0 0 0 70943 69 0 0 25 0 1 0 544033183 22585344 3891 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5514 3891 231 231 0 5283 0 vsize: 22056 [startup+720 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4047 0 0 0 71942 69 0 0 25 0 1 0 544033183 22720512 3897 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5547 3897 231 231 0 5316 0 vsize: 22188 [startup+729.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4057 0 0 0 72941 71 0 0 25 0 1 0 544033183 22720512 3907 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5547 3907 231 231 0 5316 0 vsize: 22188 [startup+739.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4065 0 0 0 73940 72 0 0 25 0 1 0 544033183 22720512 3915 4294967295 134512640 135450300 3221224624 3221223344 134535555 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5547 3915 231 231 0 5316 0 vsize: 22188 [startup+749.998 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4073 0 0 0 74940 72 0 0 25 0 1 0 544033183 22720512 3923 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5547 3923 231 231 0 5316 0 vsize: 22188 [startup+759.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4082 0 0 0 75939 74 0 0 25 0 1 0 544033183 22720512 3932 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5547 3932 231 231 0 5316 0 vsize: 22188 [startup+769.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4090 0 0 0 76939 74 0 0 25 0 1 0 544033183 22855680 3940 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5580 3940 231 231 0 5349 0 vsize: 22320 [startup+779.998 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4110 0 0 0 77938 75 0 0 25 0 1 0 544033183 22855680 3960 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5580 3960 231 231 0 5349 0 vsize: 22320 [startup+789.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4117 0 0 0 78937 76 0 0 25 0 1 0 544033183 22855680 3967 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5580 3967 231 231 0 5349 0 vsize: 22320 [startup+799.998 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4120 0 0 0 79937 76 0 0 25 0 1 0 544033183 22855680 3970 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5580 3970 231 231 0 5349 0 vsize: 22320 [startup+809.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4316 0 0 0 80935 78 0 0 25 0 1 0 544033183 23642112 3973 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5772 3973 231 231 0 5541 0 vsize: 23088 [startup+819.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4321 0 0 0 81935 78 0 0 25 0 1 0 544033183 23642112 3978 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5772 3978 231 231 0 5541 0 vsize: 23088 [startup+829.998 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4355 0 0 0 82934 80 0 0 25 0 1 0 544033183 23822336 4012 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 4012 231 231 0 5585 0 vsize: 23264 [startup+839.998 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4360 0 0 0 83933 81 0 0 25 0 1 0 544033183 23822336 4017 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 4017 231 231 0 5585 0 vsize: 23264 [startup+849.997 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4361 0 0 0 84932 82 0 0 25 0 1 0 544033183 23822336 4018 4294967295 134512640 135450300 3221224624 3221223488 134539289 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 4018 231 231 0 5585 0 vsize: 23264 [startup+859.998 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4364 0 0 0 85931 83 0 0 25 0 1 0 544033183 23822336 4021 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 4021 231 231 0 5585 0 vsize: 23264 [startup+869.997 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4371 0 0 0 86931 84 0 0 25 0 1 0 544033183 23822336 4028 4294967295 134512640 135450300 3221224624 3221223360 134538007 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 4028 231 231 0 5585 0 vsize: 23264 [startup+879.997 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4378 0 0 0 87930 84 0 0 25 0 1 0 544033183 23822336 4035 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 4035 231 231 0 5585 0 vsize: 23264 [startup+889.997 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4381 0 0 0 88930 85 0 0 25 0 1 0 544033183 23822336 4038 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 4038 231 231 0 5585 0 vsize: 23264 [startup+899.996 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4383 0 0 0 89929 86 0 0 25 0 1 0 544033183 23822336 4040 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 4040 231 231 0 5585 0 vsize: 23264 [startup+909.997 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4386 0 0 0 90929 86 0 0 25 0 1 0 544033183 23822336 4043 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 4043 231 231 0 5585 0 vsize: 23264 [startup+919.997 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4387 0 0 0 91928 87 0 0 25 0 1 0 544033183 23822336 4044 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 4044 231 231 0 5585 0 vsize: 23264 [startup+929.996 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4393 0 0 0 92928 88 0 0 25 0 1 0 544033183 23957504 4050 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5849 4050 231 231 0 5618 0 vsize: 23396 [startup+939.996 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4398 0 0 0 93927 89 0 0 25 0 1 0 544033183 23957504 4055 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5849 4055 231 231 0 5618 0 vsize: 23396 [startup+949.995 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4407 0 0 0 94926 90 0 0 25 0 1 0 544033183 23957504 4064 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5849 4064 231 231 0 5618 0 vsize: 23396 [startup+959.996 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4409 0 0 0 95925 91 0 0 25 0 1 0 544033183 23957504 4066 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5849 4067 231 231 0 5618 0 vsize: 23396 [startup+969.996 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4415 0 0 0 96924 93 0 0 25 0 1 0 544033183 23957504 4072 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5849 4072 231 231 0 5618 0 vsize: 23396 [startup+979.995 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4420 0 0 0 97923 93 0 0 25 0 1 0 544033183 23957504 4077 4294967295 134512640 135450300 3221224624 3221223456 134549846 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5849 4077 231 231 0 5618 0 vsize: 23396 [startup+989.996 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4431 0 0 0 98923 94 0 0 25 0 1 0 544033183 23957504 4088 4294967295 134512640 135450300 3221224624 3221223360 134538007 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5849 4088 231 231 0 5618 0 vsize: 23396 [startup+999.995 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4437 0 0 0 99923 94 0 0 25 0 1 0 544033183 23957504 4094 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5849 4094 231 231 0 5618 0 vsize: 23396 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4445 0 0 0 100922 95 0 0 25 0 1 0 544033183 24092672 4102 4294967295 134512640 135450300 3221224624 3221223360 134538646 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5882 4102 231 231 0 5651 0 vsize: 23528 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4454 0 0 0 101921 96 0 0 25 0 1 0 544033183 24092672 4111 4294967295 134512640 135450300 3221224624 3221223440 134537248 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5882 4111 231 231 0 5651 0 vsize: 23528 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4484 0 0 0 102921 97 0 0 25 0 1 0 544033183 24092672 4141 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5882 4141 231 231 0 5651 0 vsize: 23528 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4486 0 0 0 103920 98 0 0 25 0 1 0 544033183 24092672 4143 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5882 4143 231 231 0 5651 0 vsize: 23528 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4488 0 0 0 104920 98 0 0 25 0 1 0 544033183 24092672 4145 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5882 4145 231 231 0 5651 0 vsize: 23528 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4492 0 0 0 105919 99 0 0 25 0 1 0 544033183 24092672 4149 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5882 4149 231 231 0 5651 0 vsize: 23528 [startup+1069.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4570 0 0 0 106918 100 0 0 25 0 1 0 544033183 24227840 4227 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5915 4227 231 231 0 5684 0 vsize: 23660 [startup+1079.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4600 0 0 0 107918 100 0 0 25 0 1 0 544033183 24227840 4257 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5915 4257 231 231 0 5684 0 vsize: 23660 [startup+1089.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4604 0 0 0 108917 101 0 0 25 0 1 0 544033183 24227840 4261 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5915 4261 231 231 0 5684 0 vsize: 23660 [startup+1099.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4612 0 0 0 109916 102 0 0 25 0 1 0 544033183 24227840 4269 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5915 4269 231 231 0 5684 0 vsize: 23660 [startup+1109.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4614 0 0 0 110914 104 0 0 25 0 1 0 544033183 24227840 4271 4294967295 134512640 135450300 3221224624 3221223360 134537999 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5915 4271 231 231 0 5684 0 vsize: 23660 [startup+1119.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4617 0 0 0 111914 105 0 0 25 0 1 0 544033183 24227840 4274 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5915 4274 231 231 0 5684 0 vsize: 23660 [startup+1129.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4621 0 0 0 112913 106 0 0 25 0 1 0 544033183 24227840 4278 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5915 4278 231 231 0 5684 0 vsize: 23660 [startup+1139.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4626 0 0 0 113913 106 0 0 25 0 1 0 544033183 24227840 4283 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5915 4283 231 231 0 5684 0 vsize: 23660 [startup+1149.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4653 0 0 0 114912 107 0 0 25 0 1 0 544033183 24420352 4310 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5962 4310 231 231 0 5731 0 vsize: 23848 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4656 0 0 0 115911 108 0 0 25 0 1 0 544033183 24420352 4313 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5962 4313 231 231 0 5731 0 vsize: 23848 [startup+1169.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4663 0 0 0 116911 109 0 0 25 0 1 0 544033183 24420352 4320 4294967295 134512640 135450300 3221224624 3221223360 134538002 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5962 4320 231 231 0 5731 0 vsize: 23848 [startup+1179.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4667 0 0 0 117910 110 0 0 25 0 1 0 544033183 24420352 4324 4294967295 134512640 135450300 3221224624 3221223344 134535755 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5962 4324 231 231 0 5731 0 vsize: 23848 [startup+1189.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4669 0 0 0 118909 111 0 0 25 0 1 0 544033183 24420352 4326 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5962 4326 231 231 0 5731 0 vsize: 23848 [startup+1199.99 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 557 Raw data (stat): 557 (PBS4) R 556 28099 28098 0 -1 0 4679 0 0 0 119909 111 0 0 25 0 1 0 544033183 24420352 4336 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5962 4336 231 231 0 5731 0 vsize: 23848 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.01 s] Raw data (loadavg): 0.99 0.97 0.93 1/54 557 Raw data (stat): 557 (PBS4) Z 556 28099 28098 0 -1 1036 4679 0 0 0 119909 112 0 0 25 0 1 0 544033183 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200 CPU time (s): 1200.22 CPU user time (s): 1199.09 CPU system time (s): 1.12883 CPU usage (%): 100.018 Max. virtual memory (Kb): 23848 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####