Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb |
MD5SUM | 098fe473d82d5f7d4121673eb775be76 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 22199 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 572 |
Biggest coefficient in the objective function | 5000 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 547769 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 5000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 547769 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 30.1944 |
Number of variables | 572 |
Total number of constraints | 716 |
Number of constraints which are clauses | 3 |
Number of constraints which are cardinality constraints (but not clauses) | 644 |
Number of constraints which are nor clauses,nor cardinality constraints | 69 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 518 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-04-22 03:25:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11758 boxname=wulflinc31 idbench=905 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 098fe473d82d5f7d4121673eb775be76 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-cracpb1.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-cracpb1.opb IDLAUNCH: 11758 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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.153 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: 654952 kB Buffers: 28388 kB Cached: 326944 kB SwapCached: 580 kB Active: 117208 kB Inactive: 240064 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 654700 kB SwapTotal: 2097892 kB SwapFree: 2096356 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5024 kB Slab: 16816 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-22 03:45:18 (client local time) WITH STATUS 0 IN 1200.39 SECONDS stats: 11758 7 1200.39 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-cracpb1.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.93 0.97 0.91 2/54 9726 Raw data (stat): 9726 (runsolver) R 9725 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550448460 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.0006 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 1220 0 0 0 995 3 0 0 25 0 1 0 550448460 5988352 1216 4294967295 134512640 135450300 3221224624 3221223344 134535681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1462 1216 231 231 0 1231 0 vsize: 5848 [startup+20.0015 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 1534 0 0 0 1993 6 0 0 25 0 1 0 550448460 10383360 1530 4294967295 134512640 135450300 3221224624 3221223060 134579553 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2535 1530 231 231 0 2304 0 vsize: 10140 [startup+30.0038 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 2427 0 0 0 2990 9 0 0 25 0 1 0 550448460 10518528 2423 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2568 2423 231 231 0 2337 0 vsize: 10272 [startup+40.0033 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 2532 0 0 0 3988 11 0 0 25 0 1 0 550448460 10985472 2479 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2682 2479 231 231 0 2451 0 vsize: 10728 [startup+50.0043 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 2584 0 0 0 4986 13 0 0 25 0 1 0 550448460 11120640 2531 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2715 2531 231 231 0 2484 0 vsize: 10860 [startup+60.0049 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 2644 0 0 0 5985 14 0 0 25 0 1 0 550448460 11255808 2591 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2748 2591 231 231 0 2517 0 vsize: 10992 [startup+70.0062 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 2767 0 0 0 6984 15 0 0 25 0 1 0 550448460 11784192 2617 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2877 2617 231 231 0 2646 0 vsize: 11508 [startup+80.0071 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 2808 0 0 0 7983 17 0 0 25 0 1 0 550448460 11784192 2658 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2877 2658 231 231 0 2646 0 vsize: 11508 [startup+90.0074 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 3721 0 0 0 8980 20 0 0 25 0 1 0 550448460 20443136 3571 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4991 3571 231 231 0 4760 0 vsize: 19964 [startup+100.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 3739 0 0 0 9978 21 0 0 25 0 1 0 550448460 20443136 3589 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4991 3589 231 231 0 4760 0 vsize: 19964 [startup+110.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 3777 0 0 0 10977 23 0 0 25 0 1 0 550448460 20578304 3627 4294967295 134512640 135450300 3221224624 3221223232 134537616 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5024 3627 231 231 0 4793 0 vsize: 20096 [startup+120.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 3892 0 0 0 11978 24 0 0 25 0 1 0 550448460 20713472 3742 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5057 3742 231 231 0 4826 0 vsize: 20228 [startup+130.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 4641 0 0 0 12975 27 0 0 25 0 1 0 550448460 20840448 4491 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5088 4491 231 231 0 4857 0 vsize: 20352 [startup+140.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 5586 0 0 0 13972 30 0 0 25 0 1 0 550448460 37752832 5436 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9217 5436 231 231 0 8986 0 vsize: 36868 [startup+150.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 6270 0 0 0 14969 33 0 0 25 0 1 0 550448460 38809600 5927 4294967295 134512640 135450300 3221224624 3221223232 134537761 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9475 5927 231 231 0 9244 0 vsize: 37900 [startup+160.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 7166 0 0 0 15966 36 0 0 25 0 1 0 550448460 39088128 6823 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9543 6823 231 231 0 9312 0 vsize: 38172 [startup+170.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 7784 0 0 0 16964 39 0 0 25 0 1 0 550448460 39088128 7441 4294967295 134512640 135450300 3221224624 3221223344 134535925 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9543 7441 231 231 0 9312 0 vsize: 38172 [startup+180.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 8286 0 0 0 17962 41 0 0 25 0 1 0 550448460 39088128 7943 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9543 7943 231 231 0 9312 0 vsize: 38172 [startup+190.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 8349 0 0 0 18961 42 0 0 25 0 1 0 550448460 39366656 8006 4294967295 134512640 135450300 3221224624 3221223344 134535901 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9611 8006 231 231 0 9380 0 vsize: 38444 [startup+200.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 8381 0 0 0 19960 43 0 0 25 0 1 0 550448460 39366656 8038 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9611 8038 231 231 0 9380 0 vsize: 38444 [startup+210.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 8439 0 0 0 20959 44 0 0 25 0 1 0 550448460 39645184 8096 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9679 8096 231 231 0 9448 0 vsize: 38716 [startup+220.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 8482 0 0 0 21958 45 0 0 25 0 1 0 550448460 39780352 8139 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9712 8139 231 231 0 9481 0 vsize: 38848 [startup+230.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 8528 0 0 0 22957 47 0 0 25 0 1 0 550448460 39919616 8185 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9746 8185 231 231 0 9515 0 vsize: 38984 [startup+240.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 8578 0 0 0 23957 47 0 0 25 0 1 0 550448460 40058880 8235 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9780 8235 231 231 0 9549 0 vsize: 39120 [startup+250.139 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 9358 0 0 0 24964 51 0 0 25 0 1 0 550448460 40194048 9015 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9813 9015 231 231 0 9582 0 vsize: 39252 [startup+260.139 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 9726 0 0 0 25962 53 0 0 25 0 1 0 550448460 40648704 9383 4294967295 134512640 135450300 3221224624 3221223440 134537285 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9924 9383 231 231 0 9693 0 vsize: 39696 [startup+270.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10055 0 0 0 26960 55 0 0 25 0 1 0 550448460 40824832 9712 4294967295 134512640 135450300 3221224624 3221223440 134537311 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9967 9712 231 231 0 9736 0 vsize: 39868 [startup+280.141 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10074 0 0 0 27959 57 0 0 25 0 1 0 550448460 40824832 9731 4294967295 134512640 135450300 3221224624 3221223152 134544615 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9967 9731 231 231 0 9736 0 vsize: 39868 [startup+290.141 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10089 0 0 0 28958 57 0 0 25 0 1 0 550448460 40824832 9746 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9967 9746 231 231 0 9736 0 vsize: 39868 [startup+300.141 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10105 0 0 0 29957 58 0 0 25 0 1 0 550448460 40824832 9762 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9967 9762 231 231 0 9736 0 vsize: 39868 [startup+310.141 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10117 0 0 0 30956 59 0 0 25 0 1 0 550448460 40824832 9774 4294967295 134512640 135450300 3221224624 3221223152 134544171 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9967 9774 231 231 0 9736 0 vsize: 39868 [startup+320.142 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10133 0 0 0 31956 60 0 0 25 0 1 0 550448460 40964096 9790 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10001 9790 231 231 0 9770 0 vsize: 40004 [startup+330.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10197 0 0 0 32955 61 0 0 25 0 1 0 550448460 41103360 9854 4294967295 134512640 135450300 3221224624 3221223088 134532759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10035 9854 231 231 0 9804 0 vsize: 40140 [startup+340.142 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10595 0 0 0 33954 62 0 0 25 0 1 0 550448460 42676224 9867 4294967295 134512640 135450300 3221224624 3221223152 134544641 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10419 9867 231 231 0 10188 0 vsize: 41676 [startup+350.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10626 0 0 0 34953 63 0 0 25 0 1 0 550448460 42807296 9898 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10451 9898 231 231 0 10220 0 vsize: 41804 [startup+360.144 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10647 0 0 0 35953 64 0 0 25 0 1 0 550448460 42807296 9919 4294967295 134512640 135450300 3221224624 3221223500 134529370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10451 9919 231 231 0 10220 0 vsize: 41804 [startup+370.144 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10665 0 0 0 36952 65 0 0 25 0 1 0 550448460 42942464 9937 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10484 9937 231 231 0 10253 0 vsize: 41936 [startup+380.145 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10689 0 0 0 37951 66 0 0 25 0 1 0 550448460 42942464 9961 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10484 9961 231 231 0 10253 0 vsize: 41936 [startup+390.145 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10709 0 0 0 38950 66 0 0 25 0 1 0 550448460 42942464 9981 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10484 9981 231 231 0 10253 0 vsize: 41936 [startup+400.145 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10770 0 0 0 39950 67 0 0 25 0 1 0 550448460 43114496 10042 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10526 10042 231 231 0 10295 0 vsize: 42104 [startup+410.145 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10784 0 0 0 40949 68 0 0 25 0 1 0 550448460 43114496 10056 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10526 10056 231 231 0 10295 0 vsize: 42104 [startup+420.146 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10811 0 0 0 41948 69 0 0 25 0 1 0 550448460 43245568 10083 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10558 10083 231 231 0 10327 0 vsize: 42232 [startup+430.147 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10852 0 0 0 42948 70 0 0 25 0 1 0 550448460 43245568 10124 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10558 10124 231 231 0 10327 0 vsize: 42232 [startup+440.146 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10868 0 0 0 43947 71 0 0 25 0 1 0 550448460 43388928 10140 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10593 10140 231 231 0 10362 0 vsize: 42372 [startup+450.148 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10883 0 0 0 44946 72 0 0 25 0 1 0 550448460 43388928 10155 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10593 10155 231 231 0 10362 0 vsize: 42372 [startup+460.147 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10905 0 0 0 45946 72 0 0 25 0 1 0 550448460 43524096 10177 4294967295 134512640 135450300 3221224624 3221223360 134538023 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10626 10177 231 231 0 10395 0 vsize: 42504 [startup+470.147 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10919 0 0 0 46945 73 0 0 25 0 1 0 550448460 43524096 10191 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10626 10191 231 231 0 10395 0 vsize: 42504 [startup+480.149 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10948 0 0 0 47944 74 0 0 25 0 1 0 550448460 43667456 10220 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10661 10220 231 231 0 10430 0 vsize: 42644 [startup+490.148 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 10967 0 0 0 48944 75 0 0 25 0 1 0 550448460 43667456 10239 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10661 10239 231 231 0 10430 0 vsize: 42644 [startup+500.148 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11029 0 0 0 49943 76 0 0 25 0 1 0 550448460 43855872 10301 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10707 10301 231 231 0 10476 0 vsize: 42828 [startup+510.148 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11042 0 0 0 50943 76 0 0 25 0 1 0 550448460 43855872 10314 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10707 10314 231 231 0 10476 0 vsize: 42828 [startup+520.149 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11053 0 0 0 51942 77 0 0 25 0 1 0 550448460 43855872 10325 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10707 10325 231 231 0 10476 0 vsize: 42828 [startup+530.149 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11069 0 0 0 52942 78 0 0 25 0 1 0 550448460 43991040 10341 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10740 10341 231 231 0 10509 0 vsize: 42960 [startup+540.149 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11084 0 0 0 53942 78 0 0 25 0 1 0 550448460 43991040 10356 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10740 10356 231 231 0 10509 0 vsize: 42960 [startup+550.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11104 0 0 0 54942 78 0 0 25 0 1 0 550448460 43991040 10376 4294967295 134512640 135450300 3221224624 3221223100 134572341 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10740 10376 231 231 0 10509 0 vsize: 42960 [startup+560.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11129 0 0 0 55941 79 0 0 25 0 1 0 550448460 44126208 10401 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10773 10401 231 231 0 10542 0 vsize: 43092 [startup+570.157 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11151 0 0 0 56941 80 0 0 25 0 1 0 550448460 44126208 10423 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10773 10423 231 231 0 10542 0 vsize: 43092 [startup+580.165 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11229 0 0 0 57942 80 0 0 25 0 1 0 550448460 44515328 10501 4294967295 134512640 135450300 3221224624 3221223536 134597365 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10868 10501 231 231 0 10637 0 vsize: 43472 [startup+590.164 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11243 0 0 0 58942 80 0 0 25 0 1 0 550448460 44515328 10515 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10868 10515 231 231 0 10637 0 vsize: 43472 [startup+600.165 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11261 0 0 0 59941 81 0 0 25 0 1 0 550448460 44515328 10533 4294967295 134512640 135450300 3221224624 3221223536 134597075 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10868 10533 231 231 0 10637 0 vsize: 43472 [startup+610.164 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11287 0 0 0 60940 82 0 0 25 0 1 0 550448460 44515328 10559 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10868 10559 231 231 0 10637 0 vsize: 43472 [startup+620.165 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11302 0 0 0 61940 83 0 0 25 0 1 0 550448460 44658688 10574 4294967295 134512640 135450300 3221224624 3221223104 134580016 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10903 10574 231 231 0 10672 0 vsize: 43612 [startup+630.166 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11323 0 0 0 62940 83 0 0 25 0 1 0 550448460 44658688 10595 4294967295 134512640 135450300 3221224624 3221223456 134549505 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10903 10595 231 231 0 10672 0 vsize: 43612 [startup+640.166 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11339 0 0 0 63939 83 0 0 25 0 1 0 550448460 44658688 10611 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10903 10611 231 231 0 10672 0 vsize: 43612 [startup+650.167 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11362 0 0 0 64939 84 0 0 25 0 1 0 550448460 44797952 10634 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10937 10634 231 231 0 10706 0 vsize: 43748 [startup+660.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11387 0 0 0 65939 84 0 0 25 0 1 0 550448460 44797952 10659 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10937 10659 231 231 0 10706 0 vsize: 43748 [startup+670.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11405 0 0 0 66938 85 0 0 25 0 1 0 550448460 44797952 10677 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10937 10677 231 231 0 10706 0 vsize: 43748 [startup+680.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11554 0 0 0 67938 86 0 0 25 0 1 0 550448460 45461504 10826 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11099 10826 231 231 0 10868 0 vsize: 44396 [startup+690.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11565 0 0 0 68937 87 0 0 25 0 1 0 550448460 45461504 10837 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11099 10837 231 231 0 10868 0 vsize: 44396 [startup+700.169 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11574 0 0 0 69937 87 0 0 25 0 1 0 550448460 45461504 10846 4294967295 134512640 135450300 3221224624 3221223440 134547889 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11099 10846 231 231 0 10868 0 vsize: 44396 [startup+710.169 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11583 0 0 0 70937 88 0 0 25 0 1 0 550448460 45461504 10855 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11099 10855 231 231 0 10868 0 vsize: 44396 [startup+720.17 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 11615 0 0 0 71936 88 0 0 25 0 1 0 550448460 45617152 10887 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11137 10887 231 231 0 10906 0 vsize: 44548 [startup+730.171 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12395 0 0 0 72934 90 0 0 25 0 1 0 550448460 48762880 10898 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11905 10898 231 231 0 11674 0 vsize: 47620 [startup+740.17 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12405 0 0 0 73933 92 0 0 25 0 1 0 550448460 48762880 10908 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11905 10908 231 231 0 11674 0 vsize: 47620 [startup+750.172 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12415 0 0 0 74933 92 0 0 25 0 1 0 550448460 48762880 10918 4294967295 134512640 135450300 3221224624 3221223456 134549311 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11905 10918 231 231 0 11674 0 vsize: 47620 [startup+760.171 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12422 0 0 0 75933 92 0 0 25 0 1 0 550448460 48762880 10925 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11905 10925 231 231 0 11674 0 vsize: 47620 [startup+770.171 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12435 0 0 0 76932 94 0 0 25 0 1 0 550448460 48762880 10938 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11905 10938 231 231 0 11674 0 vsize: 47620 [startup+780.172 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12447 0 0 0 77932 94 0 0 25 0 1 0 550448460 48762880 10950 4294967295 134512640 135450300 3221224624 3221223440 134533239 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11905 10950 231 231 0 11674 0 vsize: 47620 [startup+790.172 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12455 0 0 0 78931 95 0 0 25 0 1 0 550448460 48762880 10958 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11905 10958 231 231 0 11674 0 vsize: 47620 [startup+800.172 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12524 0 0 0 79931 95 0 0 25 0 1 0 550448460 48930816 11027 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11946 11027 231 231 0 11715 0 vsize: 47784 [startup+810.172 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12545 0 0 0 80930 96 0 0 25 0 1 0 550448460 48930816 11048 4294967295 134512640 135450300 3221224624 3221223440 134537238 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11946 11048 231 231 0 11715 0 vsize: 47784 [startup+820.173 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12554 0 0 0 81929 97 0 0 25 0 1 0 550448460 48930816 11057 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11946 11057 231 231 0 11715 0 vsize: 47784 [startup+830.173 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12598 0 0 0 82929 98 0 0 25 0 1 0 550448460 49106944 11101 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11989 11101 231 231 0 11758 0 vsize: 47956 [startup+840.173 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12607 0 0 0 83928 99 0 0 25 0 1 0 550448460 49106944 11110 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11989 11110 231 231 0 11758 0 vsize: 47956 [startup+850.174 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12618 0 0 0 84927 100 0 0 25 0 1 0 550448460 49106944 11121 4294967295 134512640 135450300 3221224624 3221223008 134602277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11989 11121 231 231 0 11758 0 vsize: 47956 [startup+860.174 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12630 0 0 0 85926 101 0 0 25 0 1 0 550448460 49254400 11133 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12025 11133 231 231 0 11794 0 vsize: 48100 [startup+870.174 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12638 0 0 0 86926 101 0 0 25 0 1 0 550448460 49254400 11141 4294967295 134512640 135450300 3221224624 3221223232 134537662 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12025 11141 231 231 0 11794 0 vsize: 48100 [startup+880.173 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12655 0 0 0 87925 102 0 0 25 0 1 0 550448460 49254400 11158 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12025 11158 231 231 0 11794 0 vsize: 48100 [startup+890.173 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12668 0 0 0 88925 103 0 0 25 0 1 0 550448460 49254400 11171 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12025 11171 231 231 0 11794 0 vsize: 48100 [startup+900.174 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12689 0 0 0 89924 103 0 0 25 0 1 0 550448460 49254400 11192 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12025 11192 231 231 0 11794 0 vsize: 48100 [startup+910.173 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12716 0 0 0 90924 104 0 0 25 0 1 0 550448460 49254400 11219 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12025 11219 231 231 0 11794 0 vsize: 48100 [startup+920.174 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12750 0 0 0 91924 105 0 0 25 0 1 0 550448460 49442816 11253 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12071 11253 231 231 0 11840 0 vsize: 48284 [startup+930.174 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12787 0 0 0 92923 106 0 0 25 0 1 0 550448460 49577984 11290 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12104 11290 231 231 0 11873 0 vsize: 48416 [startup+940.174 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12809 0 0 0 93922 107 0 0 25 0 1 0 550448460 49577984 11312 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12104 11312 231 231 0 11873 0 vsize: 48416 [startup+950.175 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12820 0 0 0 94921 107 0 0 25 0 1 0 550448460 49577984 11323 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12104 11323 231 231 0 11873 0 vsize: 48416 [startup+960.175 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12836 0 0 0 95921 108 0 0 25 0 1 0 550448460 49577984 11339 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12104 11339 231 231 0 11873 0 vsize: 48416 [startup+970.176 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12851 0 0 0 96921 108 0 0 25 0 1 0 550448460 49717248 11354 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12138 11354 231 231 0 11907 0 vsize: 48552 [startup+980.176 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12865 0 0 0 97920 109 0 0 25 0 1 0 550448460 49717248 11368 4294967295 134512640 135450300 3221224624 3221223008 134579819 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12138 11368 231 231 0 11907 0 vsize: 48552 [startup+990.176 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12871 0 0 0 98920 109 0 0 25 0 1 0 550448460 49717248 11374 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12138 11374 231 231 0 11907 0 vsize: 48552 [startup+1000.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12895 0 0 0 99919 110 0 0 25 0 1 0 550448460 49717248 11398 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12138 11398 231 231 0 11907 0 vsize: 48552 [startup+1010.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12918 0 0 0 100919 110 0 0 25 0 1 0 550448460 49881088 11421 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12178 11421 231 231 0 11947 0 vsize: 48712 [startup+1020.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12924 0 0 0 101919 111 0 0 25 0 1 0 550448460 49881088 11427 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12178 11427 231 231 0 11947 0 vsize: 48712 [startup+1030.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12936 0 0 0 102919 111 0 0 25 0 1 0 550448460 49881088 11439 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12178 11439 231 231 0 11947 0 vsize: 48712 [startup+1040.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 12962 0 0 0 103918 113 0 0 25 0 1 0 550448460 49881088 11465 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12178 11465 231 231 0 11947 0 vsize: 48712 [startup+1050.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13021 0 0 0 104917 114 0 0 25 0 1 0 550448460 50081792 11524 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12227 11524 231 231 0 11996 0 vsize: 48908 [startup+1060.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13038 0 0 0 105916 114 0 0 25 0 1 0 550448460 50081792 11541 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12227 11541 231 231 0 11996 0 vsize: 48908 [startup+1070.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13072 0 0 0 106916 115 0 0 25 0 1 0 550448460 50429952 11575 4294967295 134512640 135450300 3221224624 3221223344 134535898 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12312 11575 231 231 0 12081 0 vsize: 49248 [startup+1080.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13093 0 0 0 107916 115 0 0 25 0 1 0 550448460 50429952 11596 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12312 11596 231 231 0 12081 0 vsize: 49248 [startup+1090.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13109 0 0 0 108914 117 0 0 25 0 1 0 550448460 50429952 11612 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12312 11612 231 231 0 12081 0 vsize: 49248 [startup+1100.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13148 0 0 0 109914 117 0 0 25 0 1 0 550448460 50429952 11651 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12312 11651 231 231 0 12081 0 vsize: 49248 [startup+1110.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13164 0 0 0 110914 118 0 0 25 0 1 0 550448460 50569216 11667 4294967295 134512640 135450300 3221224624 3221223152 134544177 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12346 11667 231 231 0 12115 0 vsize: 49384 [startup+1120.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13179 0 0 0 111914 118 0 0 25 0 1 0 550448460 50569216 11682 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12346 11682 231 231 0 12115 0 vsize: 49384 [startup+1130.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13201 0 0 0 112913 119 0 0 25 0 1 0 550448460 50569216 11704 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12346 11704 231 231 0 12115 0 vsize: 49384 [startup+1140.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13209 0 0 0 113914 120 0 0 25 0 1 0 550448460 50569216 11712 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12346 11712 231 231 0 12115 0 vsize: 49384 [startup+1150.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13221 0 0 0 114914 120 0 0 25 0 1 0 550448460 50569216 11724 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12346 11724 231 231 0 12115 0 vsize: 49384 [startup+1160.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13237 0 0 0 115913 121 0 0 25 0 1 0 550448460 50708480 11740 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12380 11740 231 231 0 12149 0 vsize: 49520 [startup+1170.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13245 0 0 0 116913 122 0 0 25 0 1 0 550448460 50708480 11748 4294967295 134512640 135450300 3221224624 3221223440 134537311 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12380 11748 231 231 0 12149 0 vsize: 49520 [startup+1180.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13261 0 0 0 117913 122 0 0 25 0 1 0 550448460 50708480 11764 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12380 11764 231 231 0 12149 0 vsize: 49520 [startup+1190.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13277 0 0 0 118913 122 0 0 25 0 1 0 550448460 50708480 11780 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12380 11780 231 231 0 12149 0 vsize: 49520 [startup+1200.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9726 Raw data (stat): 9726 (PBS4) R 9725 23176 23175 0 -1 0 13293 0 0 0 119912 123 0 0 25 0 1 0 550448460 50708480 11796 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12380 11796 231 231 0 12149 0 vsize: 49520 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.23 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 9726 Raw data (stat): 9726 (PBS4) Z 9725 23176 23175 0 -1 1036 13293 0 0 0 119912 126 0 0 25 0 1 0 550448460 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.23 CPU time (s): 1200.39 CPU user time (s): 1199.12 CPU system time (s): 1.26081 CPU usage (%): 100.013 Max. virtual memory (Kb): 49520 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####