Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-rot.b.opb |
MD5SUM | c5ca4962151c0e84eeae44e16faee495 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 116 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1452 |
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 | 1452 |
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 | 1452 |
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 | 1.04884 |
Number of variables | 1451 |
Total number of constraints | 2984 |
Number of constraints which are clauses | 2932 |
Number of constraints which are cardinality constraints (but not clauses) | 52 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 81 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc18 THE 2005-04-17 15:43:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=645 boxname=wulflinc18 idbench=72 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: c5ca4962151c0e84eeae44e16faee495 /oldhome/oroussel/tmp/wulflinc18/normalized-rot.b.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc18/normalized-rot.b.opb IDLAUNCH: 645 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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.177 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 830812 kB Buffers: 36328 kB Cached: 130428 kB SwapCached: 320 kB Active: 70972 kB Inactive: 98984 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 830560 kB SwapTotal: 2097892 kB SwapFree: 2097572 kB Dirty: 4 kB Writeback: 0 kB Mapped: 6944 kB Slab: 28252 kB Committed_AS: 63704 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 16:03:45 (client local time) WITH STATUS 0 IN 1200.5 SECONDS stats: 645 7 1200.5 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc18/normalized-rot.b.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.00 0.00 0.00 2/55 16106 Raw data (stat): 16106 (runsolver) R 16105 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511680040 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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.0002 s] Raw data (loadavg): 0.15 0.03 0.01 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 894 0 0 0 984 14 0 0 25 0 1 0 511680040 5951488 890 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1453 890 231 231 0 1222 0 vsize: 5812 [startup+20.0011 s] Raw data (loadavg): 0.28 0.06 0.02 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 1837 0 0 0 1982 16 0 0 25 0 1 0 511680040 10346496 1833 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2526 1833 231 231 0 2295 0 vsize: 10104 [startup+30.001 s] Raw data (loadavg): 0.39 0.09 0.03 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 2579 0 0 0 2981 18 0 0 25 0 1 0 511680040 18735104 2575 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4574 2575 231 231 0 4343 0 vsize: 18296 [startup+40.0009 s] Raw data (loadavg): 0.49 0.12 0.04 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 3370 0 0 0 3978 20 0 0 25 0 1 0 511680040 18735104 3366 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4574 3366 231 231 0 4343 0 vsize: 18296 [startup+50.0008 s] Raw data (loadavg): 0.56 0.15 0.05 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 3947 0 0 0 4977 22 0 0 25 0 1 0 511680040 18735104 3943 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4574 3943 231 231 0 4343 0 vsize: 18296 [startup+60.0007 s] Raw data (loadavg): 0.63 0.18 0.06 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 4536 0 0 0 5976 24 0 0 25 0 1 0 511680040 35512320 4532 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8670 4532 231 231 0 8439 0 vsize: 34680 [startup+70.0015 s] Raw data (loadavg): 0.69 0.21 0.07 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 5095 0 0 0 6974 25 0 0 25 0 1 0 511680040 35512320 5091 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8670 5091 231 231 0 8439 0 vsize: 34680 [startup+80.0014 s] Raw data (loadavg): 0.73 0.23 0.08 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 5778 0 0 0 7973 27 0 0 25 0 1 0 511680040 35651584 5774 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8704 5774 231 231 0 8473 0 vsize: 34816 [startup+90.0013 s] Raw data (loadavg): 0.77 0.26 0.09 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 6351 0 0 0 8971 28 0 0 25 0 1 0 511680040 35848192 6298 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8752 6298 231 231 0 8521 0 vsize: 35008 [startup+100.001 s] Raw data (loadavg): 0.81 0.28 0.10 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 6877 0 0 0 9971 29 0 0 25 0 1 0 511680040 35848192 6824 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8752 6824 231 231 0 8521 0 vsize: 35008 [startup+110.001 s] Raw data (loadavg): 0.84 0.30 0.11 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 7364 0 0 0 10969 31 0 0 25 0 1 0 511680040 35848192 7311 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8752 7311 231 231 0 8521 0 vsize: 35008 [startup+120.001 s] Raw data (loadavg): 0.86 0.33 0.12 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 7802 0 0 0 11965 35 0 0 25 0 1 0 511680040 35983360 7749 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8785 7749 231 231 0 8554 0 vsize: 35140 [startup+130.001 s] Raw data (loadavg): 0.88 0.35 0.12 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8184 0 0 0 12958 42 0 0 25 0 1 0 511680040 36114432 8131 4294967295 134512640 135450300 3221224640 3221223156 134544685 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8817 8131 231 231 0 8586 0 vsize: 35268 [startup+140.002 s] Raw data (loadavg): 0.90 0.37 0.13 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8497 0 0 0 13957 43 0 0 25 0 1 0 511680040 36265984 8444 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 8444 231 231 0 8623 0 vsize: 35416 [startup+150.002 s] Raw data (loadavg): 0.92 0.39 0.14 2/55 16106 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8514 0 0 0 14951 49 0 0 25 0 1 0 511680040 36265984 8461 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 8461 231 231 0 8623 0 vsize: 35416 [startup+160.002 s] Raw data (loadavg): 0.93 0.41 0.15 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8530 0 0 0 15949 51 0 0 25 0 1 0 511680040 36397056 8477 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8886 8477 231 231 0 8655 0 vsize: 35544 [startup+170.003 s] Raw data (loadavg): 0.94 0.43 0.16 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8531 0 0 0 16949 52 0 0 25 0 1 0 511680040 36397056 8478 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8886 8478 231 231 0 8655 0 vsize: 35544 [startup+180.002 s] Raw data (loadavg): 0.95 0.45 0.17 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8531 0 0 0 17949 52 0 0 25 0 1 0 511680040 36397056 8478 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8886 8478 231 231 0 8655 0 vsize: 35544 [startup+190.002 s] Raw data (loadavg): 0.95 0.46 0.18 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8533 0 0 0 18950 52 0 0 25 0 1 0 511680040 36397056 8480 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8886 8480 231 231 0 8655 0 vsize: 35544 [startup+200.002 s] Raw data (loadavg): 0.96 0.48 0.19 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8543 0 0 0 19946 56 0 0 25 0 1 0 511680040 36397056 8490 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8886 8490 231 231 0 8655 0 vsize: 35544 [startup+210.002 s] Raw data (loadavg): 0.97 0.50 0.19 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8550 0 0 0 20942 59 0 0 25 0 1 0 511680040 36397056 8497 4294967295 134512640 135450300 3221224640 3221223360 134535965 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8886 8497 231 231 0 8655 0 vsize: 35544 [startup+220.002 s] Raw data (loadavg): 0.97 0.51 0.20 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8557 0 0 0 21942 60 0 0 25 0 1 0 511680040 36397056 8504 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8886 8504 231 231 0 8655 0 vsize: 35544 [startup+230.002 s] Raw data (loadavg): 0.98 0.53 0.21 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8564 0 0 0 22937 65 0 0 25 0 1 0 511680040 36532224 8511 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8511 231 231 0 8688 0 vsize: 35676 [startup+240.003 s] Raw data (loadavg): 0.98 0.54 0.22 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8566 0 0 0 23935 67 0 0 25 0 1 0 511680040 36532224 8513 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8513 231 231 0 8688 0 vsize: 35676 [startup+250.003 s] Raw data (loadavg): 0.98 0.56 0.22 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8566 0 0 0 24935 67 0 0 25 0 1 0 511680040 36532224 8513 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8513 231 231 0 8688 0 vsize: 35676 [startup+260.003 s] Raw data (loadavg): 0.98 0.57 0.23 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8567 0 0 0 25935 67 0 0 25 0 1 0 511680040 36532224 8514 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8514 231 231 0 8688 0 vsize: 35676 [startup+270.002 s] Raw data (loadavg): 0.99 0.59 0.24 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8568 0 0 0 26936 67 0 0 25 0 1 0 511680040 36532224 8515 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8515 231 231 0 8688 0 vsize: 35676 [startup+280.002 s] Raw data (loadavg): 0.99 0.60 0.25 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8587 0 0 0 27928 75 0 0 25 0 1 0 511680040 36532224 8534 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8534 231 231 0 8688 0 vsize: 35676 [startup+290.003 s] Raw data (loadavg): 0.99 0.61 0.26 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8590 0 0 0 28928 75 0 0 25 0 1 0 511680040 36532224 8537 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8537 231 231 0 8688 0 vsize: 35676 [startup+300.003 s] Raw data (loadavg): 0.99 0.62 0.26 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8598 0 0 0 29926 77 0 0 25 0 1 0 511680040 36532224 8545 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8545 231 231 0 8688 0 vsize: 35676 [startup+310.003 s] Raw data (loadavg): 0.99 0.64 0.27 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8602 0 0 0 30922 81 0 0 25 0 1 0 511680040 36532224 8549 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8549 231 231 0 8688 0 vsize: 35676 [startup+320.004 s] Raw data (loadavg): 0.99 0.65 0.28 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8606 0 0 0 31922 82 0 0 25 0 1 0 511680040 36532224 8553 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8553 231 231 0 8688 0 vsize: 35676 [startup+330.004 s] Raw data (loadavg): 0.99 0.66 0.29 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8607 0 0 0 32922 82 0 0 25 0 1 0 511680040 36532224 8554 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8554 231 231 0 8688 0 vsize: 35676 [startup+340.004 s] Raw data (loadavg): 0.99 0.67 0.29 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8607 0 0 0 33922 82 0 0 25 0 1 0 511680040 36532224 8554 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8554 231 231 0 8688 0 vsize: 35676 [startup+350.004 s] Raw data (loadavg): 0.99 0.68 0.30 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8608 0 0 0 34922 82 0 0 25 0 1 0 511680040 36532224 8555 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8919 8555 231 231 0 8688 0 vsize: 35676 [startup+360.004 s] Raw data (loadavg): 0.99 0.69 0.31 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8617 0 0 0 35914 90 0 0 25 0 1 0 511680040 36691968 8564 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8958 8564 231 231 0 8727 0 vsize: 35832 [startup+370.004 s] Raw data (loadavg): 0.99 0.70 0.31 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8619 0 0 0 36912 92 0 0 25 0 1 0 511680040 36691968 8566 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8958 8566 231 231 0 8727 0 vsize: 35832 [startup+380.004 s] Raw data (loadavg): 0.99 0.71 0.32 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8620 0 0 0 37912 92 0 0 25 0 1 0 511680040 36691968 8567 4294967295 134512640 135450300 3221224640 3221223456 134546489 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8958 8567 231 231 0 8727 0 vsize: 35832 [startup+390.005 s] Raw data (loadavg): 0.99 0.72 0.33 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8633 0 0 0 38909 96 0 0 25 0 1 0 511680040 36691968 8580 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8958 8580 231 231 0 8727 0 vsize: 35832 [startup+400.005 s] Raw data (loadavg): 0.99 0.73 0.33 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8640 0 0 0 39906 99 0 0 25 0 1 0 511680040 36691968 8587 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8958 8587 231 231 0 8727 0 vsize: 35832 [startup+410.005 s] Raw data (loadavg): 0.99 0.74 0.34 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8641 0 0 0 40906 99 0 0 25 0 1 0 511680040 36691968 8588 4294967295 134512640 135450300 3221224640 3221223024 134602327 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8958 8588 231 231 0 8727 0 vsize: 35832 [startup+420.005 s] Raw data (loadavg): 0.99 0.74 0.35 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8641 0 0 0 41906 99 0 0 25 0 1 0 511680040 36691968 8588 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8958 8588 231 231 0 8727 0 vsize: 35832 [startup+430.005 s] Raw data (loadavg): 0.99 0.75 0.35 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8642 0 0 0 42906 100 0 0 25 0 1 0 511680040 36691968 8589 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8958 8589 231 231 0 8727 0 vsize: 35832 [startup+440.006 s] Raw data (loadavg): 0.99 0.76 0.36 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8643 0 0 0 43906 100 0 0 25 0 1 0 511680040 36691968 8590 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8958 8590 231 231 0 8727 0 vsize: 35832 [startup+450.005 s] Raw data (loadavg): 0.99 0.77 0.37 2/55 16108 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8666 0 0 0 44900 106 0 0 25 0 1 0 511680040 36827136 8613 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8991 8613 231 231 0 8760 0 vsize: 35964 [startup+460.005 s] Raw data (loadavg): 0.99 0.77 0.37 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8668 0 0 0 45899 107 0 0 25 0 1 0 511680040 36827136 8615 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8991 8615 231 231 0 8760 0 vsize: 35964 [startup+470.005 s] Raw data (loadavg): 0.99 0.78 0.38 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8677 0 0 0 46898 108 0 0 25 0 1 0 511680040 36827136 8624 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8991 8624 231 231 0 8760 0 vsize: 35964 [startup+480.006 s] Raw data (loadavg): 0.99 0.79 0.38 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8775 0 0 0 47894 112 0 0 25 0 1 0 511680040 37220352 8625 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9087 8625 231 231 0 8856 0 vsize: 36348 [startup+490.006 s] Raw data (loadavg): 0.99 0.79 0.39 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8779 0 0 0 48890 116 0 0 25 0 1 0 511680040 37220352 8629 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9087 8629 231 231 0 8856 0 vsize: 36348 [startup+500.006 s] Raw data (loadavg): 0.99 0.80 0.40 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8779 0 0 0 49890 116 0 0 25 0 1 0 511680040 37220352 8629 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9087 8629 231 231 0 8856 0 vsize: 36348 [startup+510.006 s] Raw data (loadavg): 0.99 0.81 0.40 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8780 0 0 0 50890 116 0 0 25 0 1 0 511680040 37220352 8630 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9087 8630 231 231 0 8856 0 vsize: 36348 [startup+520.007 s] Raw data (loadavg): 0.99 0.81 0.41 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8781 0 0 0 51891 116 0 0 25 0 1 0 511680040 37220352 8631 4294967295 134512640 135450300 3221224640 3221223104 134532775 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9087 8631 231 231 0 8856 0 vsize: 36348 [startup+530.007 s] Raw data (loadavg): 0.99 0.82 0.41 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8790 0 0 0 52885 122 0 0 25 0 1 0 511680040 37220352 8640 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9087 8640 231 231 0 8856 0 vsize: 36348 [startup+540.008 s] Raw data (loadavg): 0.99 0.82 0.42 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8797 0 0 0 53885 123 0 0 25 0 1 0 511680040 37380096 8647 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9126 8647 231 231 0 8895 0 vsize: 36504 [startup+550.008 s] Raw data (loadavg): 0.99 0.83 0.43 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8806 0 0 0 54881 126 0 0 25 0 1 0 511680040 37380096 8656 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9126 8656 231 231 0 8895 0 vsize: 36504 [startup+560.008 s] Raw data (loadavg): 0.99 0.83 0.43 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8810 0 0 0 55879 129 0 0 25 0 1 0 511680040 37380096 8660 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9126 8660 231 231 0 8895 0 vsize: 36504 [startup+570.008 s] Raw data (loadavg): 0.99 0.84 0.44 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8810 0 0 0 56879 129 0 0 25 0 1 0 511680040 37380096 8660 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9126 8660 231 231 0 8895 0 vsize: 36504 [startup+580.009 s] Raw data (loadavg): 0.99 0.84 0.44 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8811 0 0 0 57880 129 0 0 25 0 1 0 511680040 37380096 8661 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9126 8661 231 231 0 8895 0 vsize: 36504 [startup+590.01 s] Raw data (loadavg): 0.99 0.85 0.45 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8813 0 0 0 58880 129 0 0 25 0 1 0 511680040 37380096 8663 4294967295 134512640 135450300 3221224640 3221223360 134535898 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9126 8663 231 231 0 8895 0 vsize: 36504 [startup+600.01 s] Raw data (loadavg): 0.99 0.85 0.45 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8828 0 0 0 59879 130 0 0 25 0 1 0 511680040 37380096 8678 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9126 8678 231 231 0 8895 0 vsize: 36504 [startup+610.01 s] Raw data (loadavg): 0.99 0.86 0.46 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8840 0 0 0 60877 131 0 0 25 0 1 0 511680040 37380096 8690 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9126 8690 231 231 0 8895 0 vsize: 36504 [startup+620.011 s] Raw data (loadavg): 0.99 0.86 0.46 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8846 0 0 0 61873 136 0 0 25 0 1 0 511680040 37511168 8696 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9158 8696 231 231 0 8927 0 vsize: 36632 [startup+630.011 s] Raw data (loadavg): 0.99 0.86 0.47 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8851 0 0 0 62869 141 0 0 25 0 1 0 511680040 37511168 8701 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9158 8701 231 231 0 8927 0 vsize: 36632 [startup+640.011 s] Raw data (loadavg): 0.99 0.87 0.47 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8852 0 0 0 63869 141 0 0 25 0 1 0 511680040 37511168 8702 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9158 8702 231 231 0 8927 0 vsize: 36632 [startup+650.011 s] Raw data (loadavg): 0.99 0.87 0.48 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8853 0 0 0 64869 141 0 0 25 0 1 0 511680040 37511168 8703 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9158 8703 231 231 0 8927 0 vsize: 36632 [startup+660.012 s] Raw data (loadavg): 0.99 0.88 0.48 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8854 0 0 0 65869 141 0 0 25 0 1 0 511680040 37511168 8704 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9158 8704 231 231 0 8927 0 vsize: 36632 [startup+670.012 s] Raw data (loadavg): 0.99 0.88 0.49 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8869 0 0 0 66862 148 0 0 25 0 1 0 511680040 37511168 8719 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9158 8719 231 231 0 8927 0 vsize: 36632 [startup+680.012 s] Raw data (loadavg): 0.99 0.88 0.49 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8876 0 0 0 67856 154 0 0 25 0 1 0 511680040 37511168 8726 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9158 8726 231 231 0 8927 0 vsize: 36632 [startup+690.013 s] Raw data (loadavg): 0.99 0.89 0.50 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8880 0 0 0 68854 156 0 0 25 0 1 0 511680040 37511168 8730 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9158 8730 231 231 0 8927 0 vsize: 36632 [startup+700.013 s] Raw data (loadavg): 0.99 0.89 0.50 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8881 0 0 0 69854 156 0 0 25 0 1 0 511680040 37511168 8731 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9158 8731 231 231 0 8927 0 vsize: 36632 [startup+710.013 s] Raw data (loadavg): 0.99 0.89 0.51 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8882 0 0 0 70855 156 0 0 25 0 1 0 511680040 37511168 8732 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9158 8732 231 231 0 8927 0 vsize: 36632 [startup+720.014 s] Raw data (loadavg): 0.99 0.90 0.51 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8883 0 0 0 71855 156 0 0 25 0 1 0 511680040 37511168 8733 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9158 8733 231 231 0 8927 0 vsize: 36632 [startup+730.014 s] Raw data (loadavg): 0.99 0.90 0.52 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8915 0 0 0 72851 160 0 0 25 0 1 0 511680040 37634048 8765 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9188 8765 231 231 0 8957 0 vsize: 36752 [startup+740.015 s] Raw data (loadavg): 0.99 0.90 0.52 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8922 0 0 0 73851 161 0 0 25 0 1 0 511680040 37634048 8772 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9188 8772 231 231 0 8957 0 vsize: 36752 [startup+750.015 s] Raw data (loadavg): 0.99 0.90 0.53 2/55 16110 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8923 0 0 0 74851 161 0 0 25 0 1 0 511680040 37634048 8773 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9188 8773 231 231 0 8957 0 vsize: 36752 [startup+760.015 s] Raw data (loadavg): 0.99 0.91 0.53 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8925 0 0 0 75851 161 0 0 25 0 1 0 511680040 37634048 8775 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9188 8775 231 231 0 8957 0 vsize: 36752 [startup+770.015 s] Raw data (loadavg): 0.99 0.91 0.54 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8929 0 0 0 76851 161 0 0 25 0 1 0 511680040 37785600 8779 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9225 8779 231 231 0 8994 0 vsize: 36900 [startup+780.015 s] Raw data (loadavg): 0.99 0.91 0.54 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8937 0 0 0 77849 163 0 0 25 0 1 0 511680040 37785600 8787 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9225 8787 231 231 0 8994 0 vsize: 36900 [startup+790.016 s] Raw data (loadavg): 0.99 0.91 0.55 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8951 0 0 0 78849 163 0 0 25 0 1 0 511680040 37785600 8801 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9225 8801 231 231 0 8994 0 vsize: 36900 [startup+800.016 s] Raw data (loadavg): 0.99 0.92 0.55 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8956 0 0 0 79849 164 0 0 25 0 1 0 511680040 37785600 8806 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9225 8806 231 231 0 8994 0 vsize: 36900 [startup+810.016 s] Raw data (loadavg): 0.99 0.92 0.56 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8965 0 0 0 80848 164 0 0 25 0 1 0 511680040 37920768 8815 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8815 231 231 0 9027 0 vsize: 37032 [startup+820.016 s] Raw data (loadavg): 0.99 0.92 0.56 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8966 0 0 0 81848 165 0 0 25 0 1 0 511680040 37920768 8816 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8816 231 231 0 9027 0 vsize: 37032 [startup+830.016 s] Raw data (loadavg): 0.99 0.92 0.56 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8967 0 0 0 82848 165 0 0 25 0 1 0 511680040 37920768 8817 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8817 231 231 0 9027 0 vsize: 37032 [startup+840.018 s] Raw data (loadavg): 0.99 0.92 0.57 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8974 0 0 0 83844 170 0 0 25 0 1 0 511680040 37920768 8824 4294967295 134512640 135450300 3221224640 3221223456 134533241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8824 231 231 0 9027 0 vsize: 37032 [startup+850.018 s] Raw data (loadavg): 0.99 0.93 0.57 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8983 0 0 0 84840 174 0 0 25 0 1 0 511680040 37920768 8833 4294967295 134512640 135450300 3221224640 3221223456 134546470 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8833 231 231 0 9027 0 vsize: 37032 [startup+860.018 s] Raw data (loadavg): 0.99 0.93 0.58 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8985 0 0 0 85840 174 0 0 25 0 1 0 511680040 37920768 8835 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8835 231 231 0 9027 0 vsize: 37032 [startup+870.018 s] Raw data (loadavg): 0.99 0.93 0.58 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8987 0 0 0 86840 174 0 0 25 0 1 0 511680040 37920768 8837 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8837 231 231 0 9027 0 vsize: 37032 [startup+880.018 s] Raw data (loadavg): 0.99 0.93 0.58 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8987 0 0 0 87840 174 0 0 25 0 1 0 511680040 37920768 8837 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8837 231 231 0 9027 0 vsize: 37032 [startup+890.019 s] Raw data (loadavg): 0.99 0.93 0.59 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8988 0 0 0 88840 174 0 0 25 0 1 0 511680040 37920768 8838 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8838 231 231 0 9027 0 vsize: 37032 [startup+900.019 s] Raw data (loadavg): 0.99 0.94 0.59 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8990 0 0 0 89840 174 0 0 25 0 1 0 511680040 37920768 8840 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8840 231 231 0 9027 0 vsize: 37032 [startup+910.019 s] Raw data (loadavg): 0.99 0.94 0.59 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8992 0 0 0 90840 174 0 0 25 0 1 0 511680040 37920768 8842 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8842 231 231 0 9027 0 vsize: 37032 [startup+920.018 s] Raw data (loadavg): 0.99 0.94 0.60 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8995 0 0 0 91840 174 0 0 25 0 1 0 511680040 37920768 8845 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8845 231 231 0 9027 0 vsize: 37032 [startup+930.019 s] Raw data (loadavg): 0.99 0.94 0.60 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8997 0 0 0 92840 174 0 0 25 0 1 0 511680040 37920768 8847 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8847 231 231 0 9027 0 vsize: 37032 [startup+940.019 s] Raw data (loadavg): 0.99 0.94 0.61 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8999 0 0 0 93841 174 0 0 25 0 1 0 511680040 37920768 8849 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8849 231 231 0 9027 0 vsize: 37032 [startup+950.019 s] Raw data (loadavg): 0.99 0.94 0.61 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8999 0 0 0 94841 175 0 0 25 0 1 0 511680040 37920768 8849 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8849 231 231 0 9027 0 vsize: 37032 [startup+960.02 s] Raw data (loadavg): 0.99 0.94 0.61 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9010 0 0 0 95841 175 0 0 25 0 1 0 511680040 37920768 8860 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8860 231 231 0 9027 0 vsize: 37032 [startup+970.02 s] Raw data (loadavg): 0.99 0.95 0.62 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9012 0 0 0 96841 175 0 0 25 0 1 0 511680040 37920768 8862 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8862 231 231 0 9027 0 vsize: 37032 [startup+980.02 s] Raw data (loadavg): 0.99 0.95 0.62 2/55 16112 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9012 0 0 0 97841 175 0 0 25 0 1 0 511680040 37920768 8862 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9258 8862 231 231 0 9027 0 vsize: 37032 [startup+990.253 s] Raw data (loadavg): 1.07 0.96 0.63 2/59 16155 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9016 0 0 0 98863 175 0 0 25 0 1 0 511680040 38055936 8866 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8866 231 231 0 9060 0 vsize: 37164 [startup+1000.3 s] Raw data (loadavg): 1.22 1.00 0.65 2/55 16165 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9016 0 0 0 99868 175 0 0 25 0 1 0 511680040 38055936 8866 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8866 231 231 0 9060 0 vsize: 37164 [startup+1010.3 s] Raw data (loadavg): 1.18 1.00 0.65 2/55 16165 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9016 0 0 0 100868 175 0 0 25 0 1 0 511680040 38055936 8866 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8866 231 231 0 9060 0 vsize: 37164 [startup+1020.3 s] Raw data (loadavg): 1.15 1.00 0.65 2/55 16165 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9016 0 0 0 101868 175 0 0 25 0 1 0 511680040 38055936 8866 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8866 231 231 0 9060 0 vsize: 37164 [startup+1030.3 s] Raw data (loadavg): 1.13 1.00 0.65 2/55 16165 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9017 0 0 0 102868 175 0 0 25 0 1 0 511680040 38055936 8867 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8867 231 231 0 9060 0 vsize: 37164 [startup+1040.3 s] Raw data (loadavg): 1.11 1.00 0.66 2/55 16165 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9017 0 0 0 103869 175 0 0 25 0 1 0 511680040 38055936 8867 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8867 231 231 0 9060 0 vsize: 37164 [startup+1050.3 s] Raw data (loadavg): 1.09 1.00 0.66 2/55 16165 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9018 0 0 0 104869 175 0 0 25 0 1 0 511680040 38055936 8868 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8868 231 231 0 9060 0 vsize: 37164 [startup+1060.3 s] Raw data (loadavg): 1.08 1.00 0.66 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9020 0 0 0 105869 175 0 0 25 0 1 0 511680040 38055936 8870 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8870 231 231 0 9060 0 vsize: 37164 [startup+1070.3 s] Raw data (loadavg): 1.06 1.00 0.67 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9020 0 0 0 106869 175 0 0 25 0 1 0 511680040 38055936 8870 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8870 231 231 0 9060 0 vsize: 37164 [startup+1080.3 s] Raw data (loadavg): 1.05 1.00 0.67 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9020 0 0 0 107869 175 0 0 25 0 1 0 511680040 38055936 8870 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8870 231 231 0 9060 0 vsize: 37164 [startup+1090.3 s] Raw data (loadavg): 1.05 1.00 0.67 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9023 0 0 0 108869 175 0 0 25 0 1 0 511680040 38055936 8873 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8873 231 231 0 9060 0 vsize: 37164 [startup+1100.3 s] Raw data (loadavg): 1.04 1.00 0.67 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9023 0 0 0 109869 175 0 0 25 0 1 0 511680040 38055936 8873 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8873 231 231 0 9060 0 vsize: 37164 [startup+1110.3 s] Raw data (loadavg): 1.03 1.00 0.68 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 110870 175 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8876 231 231 0 9060 0 vsize: 37164 [startup+1120.3 s] Raw data (loadavg): 1.03 1.00 0.68 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 111870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8876 231 231 0 9060 0 vsize: 37164 [startup+1130.3 s] Raw data (loadavg): 1.02 1.00 0.68 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 112870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8876 231 231 0 9060 0 vsize: 37164 [startup+1140.3 s] Raw data (loadavg): 1.02 1.00 0.69 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 113870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8876 231 231 0 9060 0 vsize: 37164 [startup+1150.3 s] Raw data (loadavg): 1.02 1.00 0.69 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 114870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8876 231 231 0 9060 0 vsize: 37164 [startup+1160.3 s] Raw data (loadavg): 1.01 1.00 0.69 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 115870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8876 231 231 0 9060 0 vsize: 37164 [startup+1170.3 s] Raw data (loadavg): 1.01 1.00 0.70 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 116870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8876 231 231 0 9060 0 vsize: 37164 [startup+1180.3 s] Raw data (loadavg): 1.01 1.00 0.70 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9029 0 0 0 117870 176 0 0 25 0 1 0 511680040 38055936 8879 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8879 231 231 0 9060 0 vsize: 37164 [startup+1190.3 s] Raw data (loadavg): 1.01 1.00 0.70 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9029 0 0 0 118871 176 0 0 25 0 1 0 511680040 38055936 8879 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8879 231 231 0 9060 0 vsize: 37164 [startup+1200.3 s] Raw data (loadavg): 1.00 1.00 0.70 2/55 16169 Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9029 0 0 0 119871 176 0 0 25 0 1 0 511680040 38055936 8879 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9291 8879 231 231 0 9060 0 vsize: 37164 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.32 s] Raw data (loadavg): 1.00 1.00 0.70 1/55 16169 Raw data (stat): 16106 (PBS4) Z 16105 20024 20023 0 -1 1036 9029 0 0 0 119871 178 0 0 25 0 1 0 511680040 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.32 CPU time (s): 1200.5 CPU user time (s): 1198.71 CPU system time (s): 1.78173 CPU usage (%): 100.015 Max. virtual memory (Kb): 37164 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####