Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb |
MD5SUM | 4fdec182582ed31d1ae371090f6cc5c1 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 1200 |
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 | 1200 |
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 | 1200 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 1200 |
Total number of constraints | 3150 |
Number of constraints which are clauses | 3150 |
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 | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-04-17 15:58:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1158 boxname=wulflinc1 idbench=129 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 4fdec182582ed31d1ae371090f6cc5c1 /oldhome/oroussel/tmp/wulflinc1/normalized-f600.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc1/normalized-f600.opb IDLAUNCH: 1158 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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 : 2 cpu MHz : 451.053 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: 801632 kB Buffers: 42648 kB Cached: 164412 kB SwapCached: 0 kB Active: 122808 kB Inactive: 87396 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 801380 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 7212 kB Slab: 17100 kB Committed_AS: 92816 kB PageTables: 344 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 16:18:22 (client local time) WITH STATUS 0 IN 1200.19 SECONDS stats: 1158 7 1200.19 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc1/normalized-f600.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.30 0.51 0.47 2/56 13751 Raw data (stat): 13751 (runsolver) R 13750 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 396699639 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.0004 s] Raw data (loadavg): 0.40 0.52 0.47 2/56 13751 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 458 0 0 0 997 2 0 0 25 0 1 0 396699639 2916352 454 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 712 454 231 231 0 481 0 vsize: 2848 [startup+20.0002 s] Raw data (loadavg): 0.50 0.54 0.48 2/56 13751 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 646 0 0 0 1997 2 0 0 25 0 1 0 396699639 3964928 642 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 968 642 231 231 0 737 0 vsize: 3872 [startup+30.0009 s] Raw data (loadavg): 0.57 0.55 0.48 2/56 13751 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 887 0 0 0 2996 4 0 0 25 0 1 0 396699639 4296704 834 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1049 834 231 231 0 818 0 vsize: 4196 [startup+40.0007 s] Raw data (loadavg): 0.64 0.57 0.49 2/56 13751 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1066 0 0 0 3995 5 0 0 25 0 1 0 396699639 6664192 1013 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1627 1013 231 231 0 1396 0 vsize: 6508 [startup+50.0019 s] Raw data (loadavg): 0.69 0.58 0.49 2/56 13751 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1240 0 0 0 4993 6 0 0 25 0 1 0 396699639 6803456 1187 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1661 1187 231 231 0 1430 0 vsize: 6644 [startup+60.0023 s] Raw data (loadavg): 0.74 0.59 0.50 2/56 13751 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1296 0 0 0 5992 8 0 0 25 0 1 0 396699639 6938624 1243 4294967295 134512640 135450300 3221224640 3221223376 134537967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1694 1243 231 231 0 1463 0 vsize: 6776 [startup+70.002 s] Raw data (loadavg): 0.78 0.61 0.50 2/56 13751 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1452 0 0 0 6991 8 0 0 25 0 1 0 396699639 7454720 1302 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1820 1302 231 231 0 1589 0 vsize: 7280 [startup+80.0028 s] Raw data (loadavg): 0.81 0.62 0.51 2/56 13751 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1492 0 0 0 7991 9 0 0 25 0 1 0 396699639 7589888 1342 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1853 1342 231 231 0 1622 0 vsize: 7412 [startup+90.0026 s] Raw data (loadavg): 0.84 0.63 0.51 2/56 13751 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1586 0 0 0 8990 10 0 0 25 0 1 0 396699639 7729152 1436 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1887 1436 231 231 0 1656 0 vsize: 7548 [startup+100.003 s] Raw data (loadavg): 0.87 0.64 0.52 2/56 13751 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1699 0 0 0 9990 11 0 0 25 0 1 0 396699639 7729152 1549 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1887 1549 231 231 0 1656 0 vsize: 7548 [startup+110.005 s] Raw data (loadavg): 0.89 0.65 0.52 2/60 13794 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1747 0 0 0 10988 12 0 0 25 0 1 0 396699639 7852032 1597 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1917 1597 231 231 0 1686 0 vsize: 7668 [startup+120.007 s] Raw data (loadavg): 0.90 0.66 0.53 2/56 13804 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1865 0 0 0 11988 13 0 0 25 0 1 0 396699639 7987200 1715 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1950 1715 231 231 0 1719 0 vsize: 7800 [startup+130.006 s] Raw data (loadavg): 0.92 0.67 0.53 2/56 13804 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 1925 0 0 0 12987 14 0 0 25 0 1 0 396699639 8114176 1775 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1981 1775 231 231 0 1750 0 vsize: 7924 [startup+140.006 s] Raw data (loadavg): 0.93 0.68 0.54 2/56 13806 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2038 0 0 0 13986 15 0 0 25 0 1 0 396699639 12308480 1888 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3005 1888 231 231 0 2774 0 vsize: 12020 [startup+150.007 s] Raw data (loadavg): 0.94 0.69 0.54 2/56 13806 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2360 0 0 0 14985 16 0 0 25 0 1 0 396699639 13234176 2017 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3231 2017 231 231 0 3000 0 vsize: 12924 [startup+160.007 s] Raw data (loadavg): 0.95 0.70 0.55 2/56 13806 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2441 0 0 0 15984 17 0 0 25 0 1 0 396699639 13369344 2098 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3264 2098 231 231 0 3033 0 vsize: 13056 [startup+170.007 s] Raw data (loadavg): 0.96 0.71 0.55 2/56 13808 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2591 0 0 0 16983 18 0 0 25 0 1 0 396699639 13504512 2248 4294967295 134512640 135450300 3221224640 3221223504 134539232 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3297 2248 231 231 0 3066 0 vsize: 13188 [startup+180.007 s] Raw data (loadavg): 0.96 0.72 0.55 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2633 0 0 0 17982 19 0 0 25 0 1 0 396699639 13504512 2290 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3297 2290 231 231 0 3066 0 vsize: 13188 [startup+190.007 s] Raw data (loadavg): 0.97 0.73 0.56 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2751 0 0 0 18982 20 0 0 25 0 1 0 396699639 13639680 2408 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3330 2408 231 231 0 3099 0 vsize: 13320 [startup+200.007 s] Raw data (loadavg): 0.97 0.74 0.56 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2825 0 0 0 19981 20 0 0 25 0 1 0 396699639 13778944 2482 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3364 2482 231 231 0 3133 0 vsize: 13456 [startup+210.007 s] Raw data (loadavg): 0.98 0.75 0.57 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2937 0 0 0 20980 21 0 0 25 0 1 0 396699639 13778944 2594 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3364 2594 231 231 0 3133 0 vsize: 13456 [startup+220.006 s] Raw data (loadavg): 0.98 0.76 0.57 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 2973 0 0 0 21980 22 0 0 25 0 1 0 396699639 13930496 2630 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3401 2630 231 231 0 3170 0 vsize: 13604 [startup+230.006 s] Raw data (loadavg): 0.98 0.76 0.57 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3041 0 0 0 22979 23 0 0 25 0 1 0 396699639 14057472 2698 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3432 2698 231 231 0 3201 0 vsize: 13728 [startup+240.006 s] Raw data (loadavg): 0.98 0.77 0.58 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3112 0 0 0 23978 24 0 0 25 0 1 0 396699639 14057472 2769 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3432 2769 231 231 0 3201 0 vsize: 13728 [startup+250.006 s] Raw data (loadavg): 0.99 0.78 0.58 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3206 0 0 0 24978 25 0 0 25 0 1 0 396699639 14184448 2863 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3463 2863 231 231 0 3232 0 vsize: 13852 [startup+260.005 s] Raw data (loadavg): 0.99 0.78 0.58 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3310 0 0 0 25977 26 0 0 25 0 1 0 396699639 14323712 2967 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3497 2967 231 231 0 3266 0 vsize: 13988 [startup+270.005 s] Raw data (loadavg): 0.99 0.79 0.59 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3381 0 0 0 26975 27 0 0 25 0 1 0 396699639 14471168 3038 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3533 3038 231 231 0 3302 0 vsize: 14132 [startup+280.005 s] Raw data (loadavg): 0.99 0.80 0.59 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3494 0 0 0 27975 28 0 0 25 0 1 0 396699639 14471168 3151 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3533 3151 231 231 0 3302 0 vsize: 14132 [startup+290.005 s] Raw data (loadavg): 0.99 0.80 0.60 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3565 0 0 0 28974 28 0 0 25 0 1 0 396699639 14618624 3222 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3569 3222 231 231 0 3338 0 vsize: 14276 [startup+300.005 s] Raw data (loadavg): 0.99 0.81 0.60 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3675 0 0 0 29974 29 0 0 25 0 1 0 396699639 14618624 3332 4294967295 134512640 135450300 3221224640 3221223456 134546467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3569 3332 231 231 0 3338 0 vsize: 14276 [startup+310.005 s] Raw data (loadavg): 0.99 0.81 0.60 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 3720 0 0 0 30973 30 0 0 25 0 1 0 396699639 14757888 3377 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3603 3377 231 231 0 3372 0 vsize: 14412 [startup+320.005 s] Raw data (loadavg): 0.99 0.82 0.61 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4202 0 0 0 31972 31 0 0 25 0 1 0 396699639 24875008 3474 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6073 3474 231 231 0 5842 0 vsize: 24292 [startup+330.006 s] Raw data (loadavg): 0.99 0.83 0.61 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4229 0 0 0 32972 32 0 0 25 0 1 0 396699639 24875008 3501 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6073 3501 231 231 0 5842 0 vsize: 24292 [startup+340.006 s] Raw data (loadavg): 0.99 0.83 0.62 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4256 0 0 0 33971 32 0 0 25 0 1 0 396699639 25059328 3528 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6118 3528 231 231 0 5887 0 vsize: 24472 [startup+350.006 s] Raw data (loadavg): 0.99 0.84 0.62 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4277 0 0 0 34971 33 0 0 25 0 1 0 396699639 25059328 3549 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6118 3549 231 231 0 5887 0 vsize: 24472 [startup+360.006 s] Raw data (loadavg): 0.99 0.84 0.62 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4366 0 0 0 35970 34 0 0 25 0 1 0 396699639 25059328 3638 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6118 3638 231 231 0 5887 0 vsize: 24472 [startup+370.006 s] Raw data (loadavg): 0.99 0.85 0.63 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4436 0 0 0 36969 35 0 0 25 0 1 0 396699639 25194496 3708 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6151 3708 231 231 0 5920 0 vsize: 24604 [startup+380.006 s] Raw data (loadavg): 0.99 0.85 0.63 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4562 0 0 0 37969 35 0 0 25 0 1 0 396699639 25194496 3834 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6151 3834 231 231 0 5920 0 vsize: 24604 [startup+390.005 s] Raw data (loadavg): 0.99 0.85 0.64 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4588 0 0 0 38968 37 0 0 25 0 1 0 396699639 25391104 3860 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6199 3860 231 231 0 5968 0 vsize: 24796 [startup+400.006 s] Raw data (loadavg): 0.99 0.86 0.64 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4679 0 0 0 39967 38 0 0 25 0 1 0 396699639 25391104 3951 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6199 3951 231 231 0 5968 0 vsize: 24796 [startup+410.006 s] Raw data (loadavg): 0.99 0.86 0.64 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4719 0 0 0 40966 39 0 0 25 0 1 0 396699639 25391104 3991 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6199 3991 231 231 0 5968 0 vsize: 24796 [startup+420.006 s] Raw data (loadavg): 0.99 0.87 0.64 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4834 0 0 0 41966 40 0 0 25 0 1 0 396699639 25518080 4106 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6230 4106 231 231 0 5999 0 vsize: 24920 [startup+430.006 s] Raw data (loadavg): 0.99 0.87 0.65 2/56 13810 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 4918 0 0 0 42965 40 0 0 25 0 1 0 396699639 25665536 4190 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6266 4190 231 231 0 6035 0 vsize: 25064 [startup+440.006 s] Raw data (loadavg): 0.99 0.87 0.65 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5015 0 0 0 43965 41 0 0 25 0 1 0 396699639 25665536 4287 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6266 4287 231 231 0 6035 0 vsize: 25064 [startup+450.006 s] Raw data (loadavg): 0.99 0.88 0.65 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5063 0 0 0 44964 41 0 0 25 0 1 0 396699639 25841664 4335 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 4335 231 231 0 6078 0 vsize: 25236 [startup+460.006 s] Raw data (loadavg): 0.99 0.88 0.66 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5165 0 0 0 45964 42 0 0 25 0 1 0 396699639 25841664 4437 4294967295 134512640 135450300 3221224640 3221223456 134537254 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 4437 231 231 0 6078 0 vsize: 25236 [startup+470.006 s] Raw data (loadavg): 0.99 0.89 0.66 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5241 0 0 0 46963 42 0 0 25 0 1 0 396699639 25980928 4513 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6343 4513 231 231 0 6112 0 vsize: 25372 [startup+480.006 s] Raw data (loadavg): 0.99 0.89 0.66 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5337 0 0 0 47963 43 0 0 25 0 1 0 396699639 25980928 4609 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6343 4609 231 231 0 6112 0 vsize: 25372 [startup+490.006 s] Raw data (loadavg): 0.99 0.89 0.67 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5414 0 0 0 48963 44 0 0 25 0 1 0 396699639 26128384 4686 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6379 4686 231 231 0 6148 0 vsize: 25516 [startup+500.007 s] Raw data (loadavg): 0.99 0.89 0.67 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5520 0 0 0 49962 45 0 0 25 0 1 0 396699639 26128384 4792 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6379 4792 231 231 0 6148 0 vsize: 25516 [startup+510.007 s] Raw data (loadavg): 0.99 0.90 0.67 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5559 0 0 0 50961 46 0 0 25 0 1 0 396699639 26275840 4831 4294967295 134512640 135450300 3221224640 3221223360 134535461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6415 4831 231 231 0 6184 0 vsize: 25660 [startup+520.006 s] Raw data (loadavg): 0.99 0.90 0.67 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5636 0 0 0 51960 46 0 0 25 0 1 0 396699639 26464256 4908 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6461 4908 231 231 0 6230 0 vsize: 25844 [startup+530.006 s] Raw data (loadavg): 0.99 0.90 0.68 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5686 0 0 0 52960 47 0 0 25 0 1 0 396699639 26464256 4958 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6461 4958 231 231 0 6230 0 vsize: 25844 [startup+540.006 s] Raw data (loadavg): 0.99 0.91 0.68 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5795 0 0 0 53959 48 0 0 25 0 1 0 396699639 26464256 5067 4294967295 134512640 135450300 3221224640 3221223504 134539361 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6461 5067 231 231 0 6230 0 vsize: 25844 [startup+550.007 s] Raw data (loadavg): 0.99 0.91 0.68 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5830 0 0 0 54958 49 0 0 25 0 1 0 396699639 26689536 5102 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6516 5102 231 231 0 6285 0 vsize: 26064 [startup+560.007 s] Raw data (loadavg): 0.99 0.91 0.69 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5937 0 0 0 55957 50 0 0 25 0 1 0 396699639 26689536 5209 4294967295 134512640 135450300 3221224640 3221223360 134535564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6516 5209 231 231 0 6285 0 vsize: 26064 [startup+570.006 s] Raw data (loadavg): 0.99 0.91 0.69 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 5966 0 0 0 56956 51 0 0 25 0 1 0 396699639 26689536 5238 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6516 5238 231 231 0 6285 0 vsize: 26064 [startup+580.006 s] Raw data (loadavg): 0.99 0.92 0.69 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6072 0 0 0 57955 53 0 0 25 0 1 0 396699639 26820608 5344 4294967295 134512640 135450300 3221224640 3221223296 134532580 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6548 5344 231 231 0 6317 0 vsize: 26192 [startup+590.006 s] Raw data (loadavg): 0.99 0.92 0.69 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6103 0 0 0 58954 53 0 0 25 0 1 0 396699639 27000832 5375 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6592 5375 231 231 0 6361 0 vsize: 26368 [startup+600.007 s] Raw data (loadavg): 0.99 0.92 0.70 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6235 0 0 0 59953 54 0 0 25 0 1 0 396699639 27000832 5507 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6592 5507 231 231 0 6361 0 vsize: 26368 [startup+610.008 s] Raw data (loadavg): 0.99 0.92 0.70 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6258 0 0 0 60953 55 0 0 25 0 1 0 396699639 27148288 5530 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6628 5530 231 231 0 6397 0 vsize: 26512 [startup+620.007 s] Raw data (loadavg): 0.99 0.92 0.70 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6329 0 0 0 61952 56 0 0 25 0 1 0 396699639 27148288 5601 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6628 5601 231 231 0 6397 0 vsize: 26512 [startup+630.007 s] Raw data (loadavg): 0.99 0.93 0.71 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6368 0 0 0 62952 56 0 0 25 0 1 0 396699639 27353088 5640 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6678 5640 231 231 0 6447 0 vsize: 26712 [startup+640.008 s] Raw data (loadavg): 0.99 0.93 0.71 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6499 0 0 0 63951 57 0 0 25 0 1 0 396699639 27353088 5771 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6678 5771 231 231 0 6447 0 vsize: 26712 [startup+650.009 s] Raw data (loadavg): 0.99 0.93 0.71 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6529 0 0 0 64951 58 0 0 25 0 1 0 396699639 27353088 5801 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6678 5801 231 231 0 6447 0 vsize: 26712 [startup+660.009 s] Raw data (loadavg): 0.99 0.93 0.72 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6649 0 0 0 65950 59 0 0 25 0 1 0 396699639 27500544 5921 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6714 5921 231 231 0 6483 0 vsize: 26856 [startup+670.009 s] Raw data (loadavg): 0.99 0.93 0.72 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6691 0 0 0 66949 60 0 0 25 0 1 0 396699639 27713536 5963 4294967295 134512640 135450300 3221224640 3221223472 134538063 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6766 5963 231 231 0 6535 0 vsize: 27064 [startup+680.01 s] Raw data (loadavg): 0.99 0.94 0.72 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6727 0 0 0 67949 60 0 0 25 0 1 0 396699639 27713536 5999 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6766 5999 231 231 0 6535 0 vsize: 27064 [startup+690.009 s] Raw data (loadavg): 0.99 0.94 0.72 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 6779 0 0 0 68949 61 0 0 25 0 1 0 396699639 27852800 6051 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6800 6051 231 231 0 6569 0 vsize: 27200 [startup+700.009 s] Raw data (loadavg): 0.99 0.94 0.73 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7620 0 0 0 69947 63 0 0 25 0 1 0 396699639 30998528 6123 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7568 6123 231 231 0 7337 0 vsize: 30272 [startup+710.009 s] Raw data (loadavg): 0.99 0.94 0.73 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7666 0 0 0 70946 63 0 0 25 0 1 0 396699639 31162368 6169 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7608 6169 231 231 0 7377 0 vsize: 30432 [startup+720.009 s] Raw data (loadavg): 0.99 0.94 0.73 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7758 0 0 0 71946 64 0 0 25 0 1 0 396699639 31297536 6261 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7641 6261 231 231 0 7410 0 vsize: 30564 [startup+730.009 s] Raw data (loadavg): 0.99 0.94 0.73 2/56 13812 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7826 0 0 0 72945 65 0 0 25 0 1 0 396699639 31297536 6329 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7641 6329 231 231 0 7410 0 vsize: 30564 [startup+740.008 s] Raw data (loadavg): 0.99 0.94 0.74 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7895 0 0 0 73945 65 0 0 25 0 1 0 396699639 31297536 6398 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7641 6398 231 231 0 7410 0 vsize: 30564 [startup+750.009 s] Raw data (loadavg): 0.99 0.95 0.74 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 7967 0 0 0 74945 66 0 0 25 0 1 0 396699639 31297536 6470 4294967295 134512640 135450300 3221224640 3221223360 134535546 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7641 6470 231 231 0 7410 0 vsize: 30564 [startup+760.009 s] Raw data (loadavg): 0.99 0.95 0.74 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8027 0 0 0 75944 66 0 0 25 0 1 0 396699639 31461376 6530 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7681 6530 231 231 0 7450 0 vsize: 30724 [startup+770.009 s] Raw data (loadavg): 0.99 0.95 0.74 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8107 0 0 0 76943 67 0 0 25 0 1 0 396699639 31461376 6610 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7681 6610 231 231 0 7450 0 vsize: 30724 [startup+780.009 s] Raw data (loadavg): 0.99 0.95 0.74 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8131 0 0 0 77943 68 0 0 25 0 1 0 396699639 31621120 6634 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7720 6634 231 231 0 7489 0 vsize: 30880 [startup+790.009 s] Raw data (loadavg): 0.99 0.95 0.75 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8222 0 0 0 78942 69 0 0 25 0 1 0 396699639 31621120 6725 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7720 6725 231 231 0 7489 0 vsize: 30880 [startup+800.009 s] Raw data (loadavg): 0.99 0.95 0.75 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8243 0 0 0 79942 69 0 0 25 0 1 0 396699639 31621120 6746 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7720 6746 231 231 0 7489 0 vsize: 30880 [startup+810.009 s] Raw data (loadavg): 0.99 0.95 0.75 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8314 0 0 0 80941 70 0 0 25 0 1 0 396699639 31756288 6817 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7753 6817 231 231 0 7522 0 vsize: 31012 [startup+820.009 s] Raw data (loadavg): 0.99 0.95 0.75 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8336 0 0 0 81941 70 0 0 25 0 1 0 396699639 31756288 6839 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7753 6839 231 231 0 7522 0 vsize: 31012 [startup+830.009 s] Raw data (loadavg): 0.99 0.95 0.75 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8354 0 0 0 82941 71 0 0 25 0 1 0 396699639 31756288 6857 4294967295 134512640 135450300 3221224640 3221223376 134537913 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7753 6857 231 231 0 7522 0 vsize: 31012 [startup+840.009 s] Raw data (loadavg): 0.99 0.95 0.75 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8382 0 0 0 83940 71 0 0 25 0 1 0 396699639 31952896 6885 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7801 6885 231 231 0 7570 0 vsize: 31204 [startup+850.01 s] Raw data (loadavg): 0.99 0.95 0.76 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8450 0 0 0 84940 72 0 0 25 0 1 0 396699639 48730112 6953 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11897 6953 231 231 0 11666 0 vsize: 47588 [startup+860.01 s] Raw data (loadavg): 0.99 0.96 0.76 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8498 0 0 0 85939 73 0 0 25 0 1 0 396699639 48877568 7001 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11933 7001 231 231 0 11702 0 vsize: 47732 [startup+870.01 s] Raw data (loadavg): 0.99 0.96 0.76 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8544 0 0 0 86938 74 0 0 25 0 1 0 396699639 48877568 7047 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11933 7047 231 231 0 11702 0 vsize: 47732 [startup+880.009 s] Raw data (loadavg): 0.99 0.96 0.76 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8601 0 0 0 87938 74 0 0 25 0 1 0 396699639 48877568 7104 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11933 7104 231 231 0 11702 0 vsize: 47732 [startup+890.011 s] Raw data (loadavg): 0.99 0.96 0.76 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8675 0 0 0 88937 75 0 0 25 0 1 0 396699639 49041408 7178 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11973 7178 231 231 0 11742 0 vsize: 47892 [startup+900.011 s] Raw data (loadavg): 0.99 0.96 0.77 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8773 0 0 0 89936 76 0 0 25 0 1 0 396699639 49041408 7276 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11973 7276 231 231 0 11742 0 vsize: 47892 [startup+910.011 s] Raw data (loadavg): 0.99 0.96 0.77 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8798 0 0 0 90936 77 0 0 25 0 1 0 396699639 49360896 7301 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12051 7301 231 231 0 11820 0 vsize: 48204 [startup+920.01 s] Raw data (loadavg): 0.99 0.96 0.77 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8831 0 0 0 91935 77 0 0 25 0 1 0 396699639 49360896 7334 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12051 7334 231 231 0 11820 0 vsize: 48204 [startup+930.01 s] Raw data (loadavg): 0.99 0.96 0.77 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8850 0 0 0 92935 78 0 0 25 0 1 0 396699639 49360896 7353 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12051 7353 231 231 0 11820 0 vsize: 48204 [startup+940.01 s] Raw data (loadavg): 0.99 0.96 0.77 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8871 0 0 0 93934 78 0 0 25 0 1 0 396699639 49360896 7374 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12051 7374 231 231 0 11820 0 vsize: 48204 [startup+950.011 s] Raw data (loadavg): 0.99 0.96 0.78 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8890 0 0 0 94934 79 0 0 25 0 1 0 396699639 49360896 7393 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12051 7393 231 231 0 11820 0 vsize: 48204 [startup+960.011 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8953 0 0 0 95933 80 0 0 25 0 1 0 396699639 49524736 7456 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12091 7456 231 231 0 11860 0 vsize: 48364 [startup+970.011 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 8975 0 0 0 96933 80 0 0 25 0 1 0 396699639 49524736 7478 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12091 7478 231 231 0 11860 0 vsize: 48364 [startup+980.011 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9068 0 0 0 97932 81 0 0 25 0 1 0 396699639 49524736 7571 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12091 7571 231 231 0 11860 0 vsize: 48364 [startup+990.012 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9120 0 0 0 98932 82 0 0 25 0 1 0 396699639 49524736 7623 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12091 7623 231 231 0 11860 0 vsize: 48364 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9182 0 0 0 99931 83 0 0 25 0 1 0 396699639 49651712 7685 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12122 7685 231 231 0 11891 0 vsize: 48488 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9249 0 0 0 100930 84 0 0 25 0 1 0 396699639 49651712 7752 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12122 7752 231 231 0 11891 0 vsize: 48488 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9316 0 0 0 101930 84 0 0 25 0 1 0 396699639 49651712 7819 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12122 7819 231 231 0 11891 0 vsize: 48488 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 13814 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9404 0 0 0 102929 85 0 0 25 0 1 0 396699639 49954816 7907 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12196 7907 231 231 0 11965 0 vsize: 48784 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9430 0 0 0 103929 85 0 0 25 0 1 0 396699639 49954816 7933 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12196 7933 231 231 0 11965 0 vsize: 48784 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9509 0 0 0 104928 86 0 0 25 0 1 0 396699639 49954816 8012 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12196 8012 231 231 0 11965 0 vsize: 48784 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9529 0 0 0 105927 87 0 0 25 0 1 0 396699639 49954816 8032 4294967295 134512640 135450300 3221224640 3221223456 134546496 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12196 8032 231 231 0 11965 0 vsize: 48784 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9647 0 0 0 106926 88 0 0 25 0 1 0 396699639 50114560 8150 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12235 8150 231 231 0 12004 0 vsize: 48940 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9685 0 0 0 107926 89 0 0 25 0 1 0 396699639 50114560 8188 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12235 8188 231 231 0 12004 0 vsize: 48940 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9736 0 0 0 108925 90 0 0 25 0 1 0 396699639 50298880 8239 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12280 8239 231 231 0 12049 0 vsize: 49120 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9794 0 0 0 109924 91 0 0 25 0 1 0 396699639 50298880 8297 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12280 8297 231 231 0 12049 0 vsize: 49120 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9839 0 0 0 110924 91 0 0 25 0 1 0 396699639 50298880 8342 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12280 8342 231 231 0 12049 0 vsize: 49120 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9928 0 0 0 111923 92 0 0 25 0 1 0 396699639 50429952 8431 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12312 8431 231 231 0 12081 0 vsize: 49248 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 9962 0 0 0 112922 93 0 0 25 0 1 0 396699639 50561024 8465 4294967295 134512640 135450300 3221224640 3221223376 134537913 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12344 8465 231 231 0 12113 0 vsize: 49376 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10050 0 0 0 113922 94 0 0 25 0 1 0 396699639 50561024 8553 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12344 8553 231 231 0 12113 0 vsize: 49376 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10083 0 0 0 114921 94 0 0 25 0 1 0 396699639 50561024 8586 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12344 8586 231 231 0 12113 0 vsize: 49376 [startup+1160.01 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10177 0 0 0 115920 95 0 0 25 0 1 0 396699639 50905088 8680 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12428 8680 231 231 0 12197 0 vsize: 49712 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10215 0 0 0 116920 96 0 0 25 0 1 0 396699639 50905088 8718 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12428 8718 231 231 0 12197 0 vsize: 49712 [startup+1180.01 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10235 0 0 0 117919 97 0 0 25 0 1 0 396699639 50905088 8738 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12428 8738 231 231 0 12197 0 vsize: 49712 [startup+1190.01 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10268 0 0 0 118919 97 0 0 25 0 1 0 396699639 51101696 8771 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12476 8771 231 231 0 12245 0 vsize: 49904 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 13816 Raw data (stat): 13751 (PBS4) R 13750 12452 12451 0 -1 0 10295 0 0 0 119919 97 0 0 25 0 1 0 396699639 51101696 8798 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12476 8798 231 231 0 12245 0 vsize: 49904 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.82 1/56 13816 Raw data (stat): 13751 (PBS4) Z 13750 12452 12451 0 -1 1036 10295 0 0 0 119919 99 0 0 25 0 1 0 396699639 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.04 CPU time (s): 1200.19 CPU user time (s): 1199.19 CPU system time (s): 0.997848 CPU usage (%): 100.013 Max. virtual memory (Kb): 49904 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####