Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb |
MD5SUM | cafd7bd480d889c74d8810dc689bffd8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 736 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1518 |
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 | 1518 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1518 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 23.6604 |
Number of variables | 1518 |
Total number of constraints | 21621 |
Number of constraints which are clauses | 21621 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-04-17 16:02:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1383 boxname=wulflinc20 idbench=154 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: cafd7bd480d889c74d8810dc689bffd8 /oldhome/oroussel/tmp/wulflinc20/normalized-ii32c4.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc20/normalized-ii32c4.opb IDLAUNCH: 1383 /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: 789872 kB Buffers: 37204 kB Cached: 170628 kB SwapCached: 2628 kB Active: 65772 kB Inactive: 147552 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 789620 kB SwapTotal: 2097892 kB SwapFree: 2095264 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6936 kB Slab: 25820 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 16:22:50 (client local time) WITH STATUS 0 IN 1200.34 SECONDS stats: 1383 7 1200.34 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc20/normalized-ii32c4.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.88 0.95 0.78 2/54 23673 Raw data (stat): 23673 (runsolver) R 23672 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511801987 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+9.99973 s] Raw data (loadavg): 0.90 0.95 0.78 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 947 0 0 0 996 2 0 0 25 0 1 0 511801987 5128192 792 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1252 792 231 231 0 1021 0 vsize: 5008 [startup+20.0007 s] Raw data (loadavg): 0.91 0.96 0.78 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 1424 0 0 0 1995 3 0 0 25 0 1 0 511801987 7225344 1269 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1764 1269 231 231 0 1533 0 vsize: 7056 [startup+30.0004 s] Raw data (loadavg): 0.92 0.96 0.79 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 2501 0 0 0 2993 6 0 0 25 0 1 0 511801987 11534336 2346 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2816 2346 231 231 0 2585 0 vsize: 11264 [startup+40.0008 s] Raw data (loadavg): 0.94 0.96 0.79 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 3600 0 0 0 3990 9 0 0 25 0 1 0 511801987 20045824 3445 4294967295 134512640 135450300 3221224640 3221223104 134532823 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4894 3445 231 231 0 4663 0 vsize: 19576 [startup+50.0008 s] Raw data (loadavg): 0.95 0.96 0.79 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 4667 0 0 0 4987 12 0 0 25 0 1 0 511801987 20299776 4512 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4956 4512 231 231 0 4725 0 vsize: 19824 [startup+60.0005 s] Raw data (loadavg): 0.95 0.96 0.79 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 5503 0 0 0 5985 14 0 0 25 0 1 0 511801987 37347328 5348 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9118 5348 231 231 0 8887 0 vsize: 36472 [startup+70.0009 s] Raw data (loadavg): 0.96 0.96 0.79 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 5872 0 0 0 6984 15 0 0 25 0 1 0 511801987 37605376 5717 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9181 5717 231 231 0 8950 0 vsize: 36724 [startup+80.0009 s] Raw data (loadavg): 0.97 0.96 0.80 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 6931 0 0 0 7982 18 0 0 25 0 1 0 511801987 37740544 6776 4294967295 134512640 135450300 3221224640 3221223104 134532878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9214 6776 231 231 0 8983 0 vsize: 36856 [startup+90.0016 s] Raw data (loadavg): 0.97 0.96 0.80 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 8479 0 0 0 8977 23 0 0 25 0 1 0 511801987 37875712 8324 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9247 8324 231 231 0 9016 0 vsize: 36988 [startup+100.001 s] Raw data (loadavg): 0.97 0.96 0.80 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 9432 0 0 0 9975 25 0 0 25 0 1 0 511801987 71565312 9277 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17472 9277 231 231 0 17241 0 vsize: 69888 [startup+110.001 s] Raw data (loadavg): 0.98 0.96 0.80 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 10569 0 0 0 10972 28 0 0 25 0 1 0 511801987 71835648 10414 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17538 10414 231 231 0 17307 0 vsize: 70152 [startup+120.002 s] Raw data (loadavg): 0.98 0.97 0.80 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 11571 0 0 0 11969 32 0 0 25 0 1 0 511801987 71970816 11416 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17571 11416 231 231 0 17340 0 vsize: 70284 [startup+130.001 s] Raw data (loadavg): 0.98 0.97 0.81 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 12807 0 0 0 12965 35 0 0 25 0 1 0 511801987 72892416 12459 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17796 12459 231 231 0 17565 0 vsize: 71184 [startup+140.001 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 13187 0 0 0 13964 37 0 0 25 0 1 0 511801987 73297920 12839 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17895 12839 231 231 0 17664 0 vsize: 71580 [startup+150.002 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 13406 0 0 0 14964 38 0 0 25 0 1 0 511801987 73703424 13058 4294967295 134512640 135450300 3221224640 3221223456 134546470 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17994 13058 231 231 0 17763 0 vsize: 71976 [startup+160.001 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 14149 0 0 0 15962 39 0 0 25 0 1 0 511801987 74129408 13801 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18098 13801 231 231 0 17867 0 vsize: 72392 [startup+170.001 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 15520 0 0 0 16960 42 0 0 25 0 1 0 511801987 74129408 15172 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18098 15172 231 231 0 17867 0 vsize: 72392 [startup+180.001 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16032 0 0 0 17958 44 0 0 25 0 1 0 511801987 74129408 15684 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18098 15684 231 231 0 17867 0 vsize: 72392 [startup+190.001 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16794 0 0 0 18956 46 0 0 25 0 1 0 511801987 74129408 16446 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18098 16446 231 231 0 17867 0 vsize: 72392 [startup+200.001 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 23673 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16803 0 0 0 19955 46 0 0 25 0 1 0 511801987 74129408 16455 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18098 16455 231 231 0 17867 0 vsize: 72392 [startup+210.001 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16813 0 0 0 20955 47 0 0 25 0 1 0 511801987 74129408 16465 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18098 16465 231 231 0 17867 0 vsize: 72392 [startup+220.001 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16823 0 0 0 21955 48 0 0 25 0 1 0 511801987 74268672 16475 4294967295 134512640 135450300 3221224640 3221223024 134579423 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18132 16475 231 231 0 17901 0 vsize: 72528 [startup+230.001 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16835 0 0 0 22954 48 0 0 25 0 1 0 511801987 74268672 16487 4294967295 134512640 135450300 3221224640 3221223376 134538759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18132 16487 231 231 0 17901 0 vsize: 72528 [startup+240.002 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16864 0 0 0 23954 49 0 0 25 0 1 0 511801987 74268672 16516 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18132 16516 231 231 0 17901 0 vsize: 72528 [startup+250.002 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16896 0 0 0 24954 49 0 0 25 0 1 0 511801987 74399744 16548 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18164 16548 231 231 0 17933 0 vsize: 72656 [startup+260.002 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16923 0 0 0 25953 50 0 0 25 0 1 0 511801987 74534912 16575 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18197 16575 231 231 0 17966 0 vsize: 72788 [startup+270.002 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16943 0 0 0 26953 50 0 0 25 0 1 0 511801987 74534912 16595 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18197 16595 231 231 0 17966 0 vsize: 72788 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16983 0 0 0 27953 50 0 0 25 0 1 0 511801987 74801152 16635 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16635 231 231 0 18031 0 vsize: 73048 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 17136 0 0 0 28953 51 0 0 25 0 1 0 511801987 74801152 16788 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 16788 231 231 0 18031 0 vsize: 73048 [startup+300.002 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 18274 0 0 0 29949 55 0 0 25 0 1 0 511801987 74801152 17926 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18262 17926 231 231 0 18031 0 vsize: 73048 [startup+310.002 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 19329 0 0 0 30945 59 0 0 25 0 1 0 511801987 142045184 18981 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34679 18981 231 231 0 34448 0 vsize: 138716 [startup+320.002 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 20228 0 0 0 31942 63 0 0 25 0 1 0 511801987 142045184 19880 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34679 19880 231 231 0 34448 0 vsize: 138716 [startup+330.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 21128 0 0 0 32938 66 0 0 25 0 1 0 511801987 142045184 20780 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34679 20780 231 231 0 34448 0 vsize: 138716 [startup+340.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 21950 0 0 0 33936 69 0 0 25 0 1 0 511801987 142315520 21602 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34745 21602 231 231 0 34514 0 vsize: 138980 [startup+350.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 23005 0 0 0 34932 73 0 0 25 0 1 0 511801987 142315520 22657 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34745 22657 231 231 0 34514 0 vsize: 138980 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 24011 0 0 0 35930 75 0 0 25 0 1 0 511801987 142442496 23663 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34776 23663 231 231 0 34545 0 vsize: 139104 [startup+370.003 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 24761 0 0 0 36928 77 0 0 25 0 1 0 511801987 142442496 24413 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34776 24413 231 231 0 34545 0 vsize: 139104 [startup+380.003 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 25729 0 0 0 37925 80 0 0 25 0 1 0 511801987 142442496 25381 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34776 25381 231 231 0 34545 0 vsize: 139104 [startup+390.004 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 26741 0 0 0 38923 82 0 0 25 0 1 0 511801987 142577664 26393 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34809 26393 231 231 0 34578 0 vsize: 139236 [startup+400.004 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 27761 0 0 0 39920 86 0 0 25 0 1 0 511801987 142577664 27413 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34809 27413 231 231 0 34578 0 vsize: 139236 [startup+410.004 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 28628 0 0 0 40917 89 0 0 25 0 1 0 511801987 142716928 28280 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34843 28280 231 231 0 34612 0 vsize: 139372 [startup+420.005 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 29416 0 0 0 41915 91 0 0 25 0 1 0 511801987 142716928 29068 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34843 29068 231 231 0 34612 0 vsize: 139372 [startup+430.005 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 29853 0 0 0 42914 92 0 0 25 0 1 0 511801987 142856192 29505 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34877 29505 231 231 0 34646 0 vsize: 139508 [startup+440.005 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 30831 0 0 0 43911 95 0 0 25 0 1 0 511801987 142856192 30483 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34877 30483 231 231 0 34646 0 vsize: 139508 [startup+450.005 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 31853 0 0 0 44909 98 0 0 25 0 1 0 511801987 142995456 31505 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34911 31505 231 231 0 34680 0 vsize: 139644 [startup+460.005 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 32859 0 0 0 45907 100 0 0 25 0 1 0 511801987 142995456 32511 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34911 32511 231 231 0 34680 0 vsize: 139644 [startup+470.005 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 33713 0 0 0 46905 102 0 0 25 0 1 0 511801987 143134720 33365 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34945 33365 231 231 0 34714 0 vsize: 139780 [startup+480.005 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 34543 0 0 0 47903 105 0 0 25 0 1 0 511801987 143282176 34195 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34981 34195 231 231 0 34750 0 vsize: 139924 [startup+490.005 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 35036 0 0 0 48902 106 0 0 25 0 1 0 511801987 143282176 34688 4294967295 134512640 135450300 3221224640 3221223456 134547508 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34981 34688 231 231 0 34750 0 vsize: 139924 [startup+500.005 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 35964 0 0 0 49900 108 0 0 25 0 1 0 511801987 277499904 35616 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67749 35616 231 231 0 67518 0 vsize: 270996 [startup+510.005 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 36987 0 0 0 50897 111 0 0 25 0 1 0 511801987 277499904 36639 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67749 36639 231 231 0 67518 0 vsize: 270996 [startup+520.006 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 37880 0 0 0 51895 113 0 0 25 0 1 0 511801987 277639168 37532 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67783 37532 231 231 0 67552 0 vsize: 271132 [startup+530.006 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 38594 0 0 0 52894 114 0 0 25 0 1 0 511801987 277639168 38246 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67783 38246 231 231 0 67552 0 vsize: 271132 [startup+540.006 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 39290 0 0 0 53892 116 0 0 25 0 1 0 511801987 277639168 38942 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67783 38942 231 231 0 67552 0 vsize: 271132 [startup+550.006 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 40055 0 0 0 54891 118 0 0 25 0 1 0 511801987 277639168 39707 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67783 39707 231 231 0 67552 0 vsize: 271132 [startup+560.006 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 40927 0 0 0 55889 120 0 0 25 0 1 0 511801987 277778432 40579 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67817 40579 231 231 0 67586 0 vsize: 271268 [startup+570.007 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 41555 0 0 0 56888 121 0 0 25 0 1 0 511801987 277778432 41207 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67817 41207 231 231 0 67586 0 vsize: 271268 [startup+580.006 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 42170 0 0 0 57887 122 0 0 25 0 1 0 511801987 277909504 41822 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67849 41822 231 231 0 67618 0 vsize: 271396 [startup+590.006 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 43135 0 0 0 58886 124 0 0 25 0 1 0 511801987 277909504 42787 4294967295 134512640 135450300 3221224640 3221223456 134536555 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67849 42787 231 231 0 67618 0 vsize: 271396 [startup+600.006 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 44365 0 0 0 59883 126 0 0 25 0 1 0 511801987 279629824 43632 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68269 43632 231 231 0 68038 0 vsize: 273076 [startup+610.006 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 44921 0 0 0 60882 128 0 0 25 0 1 0 511801987 279629824 44188 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68269 44188 231 231 0 68038 0 vsize: 273076 [startup+620.006 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 45581 0 0 0 61881 129 0 0 25 0 1 0 511801987 279629824 44848 4294967295 134512640 135450300 3221224640 3221223456 134536537 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68269 44848 231 231 0 68038 0 vsize: 273076 [startup+630.007 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 46315 0 0 0 62879 130 0 0 25 0 1 0 511801987 279764992 45582 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68302 45582 231 231 0 68071 0 vsize: 273208 [startup+640.007 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 46796 0 0 0 63878 131 0 0 25 0 1 0 511801987 279908352 46063 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68337 46063 231 231 0 68106 0 vsize: 273348 [startup+650.007 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 47603 0 0 0 64877 132 0 0 25 0 1 0 511801987 279908352 46870 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68337 46870 231 231 0 68106 0 vsize: 273348 [startup+660.007 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 48487 0 0 0 65874 135 0 0 25 0 1 0 511801987 280047616 47754 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68371 47754 231 231 0 68140 0 vsize: 273484 [startup+670.007 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 48977 0 0 0 66874 136 0 0 25 0 1 0 511801987 280195072 48244 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68407 48244 231 231 0 68176 0 vsize: 273628 [startup+680.007 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 49677 0 0 0 67873 137 0 0 25 0 1 0 511801987 280195072 48944 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68407 48944 231 231 0 68176 0 vsize: 273628 [startup+690.008 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 50493 0 0 0 68871 138 0 0 25 0 1 0 511801987 280342528 49760 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68443 49760 231 231 0 68212 0 vsize: 273772 [startup+700.008 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 50569 0 0 0 69871 139 0 0 25 0 1 0 511801987 280342528 49836 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68443 49836 231 231 0 68212 0 vsize: 273772 [startup+710.008 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 51536 0 0 0 70870 141 0 0 25 0 1 0 511801987 280342528 50803 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68443 50803 231 231 0 68212 0 vsize: 273772 [startup+720.009 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 52130 0 0 0 71869 142 0 0 25 0 1 0 511801987 280489984 51397 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68479 51397 231 231 0 68248 0 vsize: 273916 [startup+730.009 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 52564 0 0 0 72868 143 0 0 25 0 1 0 511801987 280489984 51831 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68479 51831 231 231 0 68248 0 vsize: 273916 [startup+740.009 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 53590 0 0 0 73866 145 0 0 25 0 1 0 511801987 280489984 52857 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68479 52857 231 231 0 68248 0 vsize: 273916 [startup+750.009 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 54031 0 0 0 74865 146 0 0 25 0 1 0 511801987 280637440 53298 4294967295 134512640 135450300 3221224640 3221223472 134549469 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68515 53298 231 231 0 68284 0 vsize: 274060 [startup+760.009 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 54624 0 0 0 75864 147 0 0 25 0 1 0 511801987 280637440 53891 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68515 53891 231 231 0 68284 0 vsize: 274060 [startup+770.01 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 55507 0 0 0 76862 149 0 0 25 0 1 0 511801987 280784896 54774 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68551 54774 231 231 0 68320 0 vsize: 274204 [startup+780.009 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 55665 0 0 0 77862 150 0 0 25 0 1 0 511801987 280784896 54932 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68551 54932 231 231 0 68320 0 vsize: 274204 [startup+790.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 56599 0 0 0 78859 153 0 0 25 0 1 0 511801987 280932352 55866 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68587 55866 231 231 0 68356 0 vsize: 274348 [startup+800.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 56899 0 0 0 79858 154 0 0 25 0 1 0 511801987 281079808 56166 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68623 56166 231 231 0 68392 0 vsize: 274492 [startup+810.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 57703 0 0 0 80856 156 0 0 25 0 1 0 511801987 281079808 56970 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68623 56970 231 231 0 68392 0 vsize: 274492 [startup+820.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 58260 0 0 0 81855 157 0 0 25 0 1 0 511801987 281202688 57527 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68653 57527 231 231 0 68422 0 vsize: 274612 [startup+830.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 58745 0 0 0 82854 159 0 0 25 0 1 0 511801987 281350144 58012 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68689 58012 231 231 0 68458 0 vsize: 274756 [startup+840.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 59620 0 0 0 83852 161 0 0 25 0 1 0 511801987 281350144 58887 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68689 58887 231 231 0 68458 0 vsize: 274756 [startup+850.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 59900 0 0 0 84851 162 0 0 25 0 1 0 511801987 281669632 59167 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68767 59167 231 231 0 68536 0 vsize: 275068 [startup+860.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 60835 0 0 0 85849 164 0 0 25 0 1 0 511801987 281669632 60102 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68767 60102 231 231 0 68536 0 vsize: 275068 [startup+870.011 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 60838 0 0 0 86849 164 0 0 25 0 1 0 511801987 281669632 60105 4294967295 134512640 135450300 3221224640 3221223456 134546483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68767 60105 231 231 0 68536 0 vsize: 275068 [startup+880.01 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 60861 0 0 0 87849 164 0 0 25 0 1 0 511801987 281669632 60128 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68767 60128 231 231 0 68536 0 vsize: 275068 [startup+890.011 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 60885 0 0 0 88849 165 0 0 25 0 1 0 511801987 281817088 60152 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68803 60152 231 231 0 68572 0 vsize: 275212 [startup+900.012 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 61590 0 0 0 89848 166 0 0 25 0 1 0 511801987 281817088 60857 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68803 60857 231 231 0 68572 0 vsize: 275212 [startup+910.011 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 62010 0 0 0 90847 167 0 0 25 0 1 0 511801987 281817088 61277 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68803 61277 231 231 0 68572 0 vsize: 275212 [startup+920.011 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 62619 0 0 0 91846 168 0 0 25 0 1 0 511801987 281817088 61886 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68803 61886 231 231 0 68572 0 vsize: 275212 [startup+930.012 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 63286 0 0 0 92844 170 0 0 25 0 1 0 511801987 282095616 62553 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68871 62553 231 231 0 68640 0 vsize: 275484 [startup+940.012 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 63668 0 0 0 93844 171 0 0 25 0 1 0 511801987 282095616 62935 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68871 62935 231 231 0 68640 0 vsize: 275484 [startup+950.012 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 64480 0 0 0 94842 173 0 0 25 0 1 0 511801987 282243072 63747 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68907 63747 231 231 0 68676 0 vsize: 275628 [startup+960.012 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 64672 0 0 0 95842 173 0 0 25 0 1 0 511801987 282243072 63939 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68907 63939 231 231 0 68676 0 vsize: 275628 [startup+970.012 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 64755 0 0 0 96842 174 0 0 25 0 1 0 511801987 282382336 64022 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68941 64022 231 231 0 68710 0 vsize: 275764 [startup+980.012 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 65239 0 0 0 97841 175 0 0 25 0 1 0 511801987 282382336 64506 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68941 64506 231 231 0 68710 0 vsize: 275764 [startup+990.013 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 65931 0 0 0 98840 176 0 0 25 0 1 0 511801987 282669056 65198 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69011 65198 231 231 0 68780 0 vsize: 276044 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 66334 0 0 0 99839 177 0 0 25 0 1 0 511801987 282836992 65601 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69052 65601 231 231 0 68821 0 vsize: 276208 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 67093 0 0 0 100837 179 0 0 25 0 1 0 511801987 282836992 66360 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69052 66360 231 231 0 68821 0 vsize: 276208 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 67374 0 0 0 101837 180 0 0 25 0 1 0 511801987 282836992 66641 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69052 66641 231 231 0 68821 0 vsize: 276208 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 68194 0 0 0 102835 181 0 0 25 0 1 0 511801987 282984448 67461 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69088 67461 231 231 0 68857 0 vsize: 276352 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 68425 0 0 0 103835 182 0 0 25 0 1 0 511801987 283123712 67692 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69122 67692 231 231 0 68891 0 vsize: 276488 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 69320 0 0 0 104833 184 0 0 25 0 1 0 511801987 283262976 68587 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69156 68587 231 231 0 68925 0 vsize: 276624 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 69491 0 0 0 105833 184 0 0 25 0 1 0 511801987 417480704 68758 4294967295 134512640 135450300 3221224640 3221223456 134537260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101924 68758 231 231 0 101693 0 vsize: 407696 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 69502 0 0 0 106833 184 0 0 25 0 1 0 511801987 417480704 68769 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101924 68769 231 231 0 101693 0 vsize: 407696 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 69510 0 0 0 107833 184 0 0 25 0 1 0 511801987 417619968 68777 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101958 68777 231 231 0 101727 0 vsize: 407832 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 69573 0 0 0 108833 185 0 0 25 0 1 0 511801987 417619968 68840 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101958 68840 231 231 0 101727 0 vsize: 407832 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 70022 0 0 0 109832 186 0 0 25 0 1 0 511801987 417619968 69289 4294967295 134512640 135450300 3221224640 3221223456 134536520 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101958 69289 231 231 0 101727 0 vsize: 407832 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 70652 0 0 0 110830 188 0 0 25 0 1 0 511801987 417619968 69919 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101958 69919 231 231 0 101727 0 vsize: 407832 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 71008 0 0 0 111830 189 0 0 25 0 1 0 511801987 417619968 70275 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101958 70275 231 231 0 101727 0 vsize: 407832 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 71683 0 0 0 112828 190 0 0 25 0 1 0 511801987 417755136 70950 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101991 70950 231 231 0 101760 0 vsize: 407964 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 72044 0 0 0 113828 191 0 0 25 0 1 0 511801987 417755136 71311 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101991 71311 231 231 0 101760 0 vsize: 407964 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 72728 0 0 0 114827 192 0 0 25 0 1 0 511801987 417755136 71995 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101991 71995 231 231 0 101760 0 vsize: 407964 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 73059 0 0 0 115826 193 0 0 25 0 1 0 511801987 417755136 72326 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101991 72326 231 231 0 101760 0 vsize: 407964 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 73098 0 0 0 116826 193 0 0 25 0 1 0 511801987 417890304 72365 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102024 72365 231 231 0 101793 0 vsize: 408096 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 73102 0 0 0 117826 193 0 0 25 0 1 0 511801987 417890304 72369 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102024 72369 231 231 0 101793 0 vsize: 408096 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 73134 0 0 0 118826 193 0 0 25 0 1 0 511801987 418029568 72401 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102058 72401 231 231 0 101827 0 vsize: 408232 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 23675 Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 73415 0 0 0 119826 194 0 0 25 0 1 0 511801987 418177024 72682 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 102094 72682 231 231 0 101863 0 vsize: 408376 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.15 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 23675 Raw data (stat): 23673 (PBS4) Z 23672 27565 27564 0 -1 1036 73415 0 0 0 119826 208 0 0 25 0 1 0 511801987 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.15 CPU time (s): 1200.34 CPU user time (s): 1198.26 CPU system time (s): 2.08068 CPU usage (%): 100.016 Max. virtual memory (Kb): 408376 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####