Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb |
MD5SUM | 84d0b0ba659c599a6c66454cd956a06b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 450 |
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 | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04684 |
Number of variables | 450 |
Total number of constraints | 17827 |
Number of constraints which are clauses | 17827 |
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 | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-04-17 16:59:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2823 boxname=wulflinc1 idbench=314 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 84d0b0ba659c599a6c66454cd956a06b /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-1.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-1.opb IDLAUNCH: 2823 /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: 800824 kB Buffers: 42720 kB Cached: 165224 kB SwapCached: 0 kB Active: 124368 kB Inactive: 86756 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 800572 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 7212 kB Slab: 16880 kB Committed_AS: 92784 kB PageTables: 344 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 17:19:22 (client local time) WITH STATUS 0 IN 1200.38 SECONDS stats: 2823 7 1200.38 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-1.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.83 0.93 0.90 2/56 14284 Raw data (stat): 14284 (runsolver) R 14283 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 397065672 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.0005 s] Raw data (loadavg): 0.85 0.93 0.90 2/56 14284 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 2853 0 0 0 991 8 0 0 25 0 1 0 397065672 19320832 2699 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4717 2699 231 231 0 4486 0 vsize: 18868 [startup+20.0009 s] Raw data (loadavg): 0.88 0.93 0.90 2/56 14284 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 4521 0 0 0 1987 12 0 0 25 0 1 0 397065672 19599360 4367 4294967295 134512640 135450300 3221224640 3221223116 134571751 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4785 4367 231 231 0 4554 0 vsize: 19140 [startup+30.0016 s] Raw data (loadavg): 0.89 0.93 0.90 2/56 14284 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 6570 0 0 0 2983 16 0 0 25 0 1 0 397065672 37179392 6416 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9077 6416 231 231 0 8846 0 vsize: 36308 [startup+40.0014 s] Raw data (loadavg): 0.91 0.93 0.90 2/56 14284 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 8120 0 0 0 3978 22 0 0 25 0 1 0 397065672 38178816 7966 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9321 7966 231 231 0 9090 0 vsize: 37284 [startup+50.0021 s] Raw data (loadavg): 0.92 0.94 0.90 2/56 14337 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 8690 0 0 0 4975 24 0 0 25 0 1 0 397065672 38461440 8536 4294967295 134512640 135450300 3221224640 3221223168 134543670 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9390 8536 231 231 0 9159 0 vsize: 37560 [startup+60.0018 s] Raw data (loadavg): 0.93 0.94 0.90 2/56 14337 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 10073 0 0 0 5972 27 0 0 25 0 1 0 397065672 72564736 9919 4294967295 134512640 135450300 3221224640 3221223456 134547478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17716 9919 231 231 0 17485 0 vsize: 70864 [startup+70.1549 s] Raw data (loadavg): 0.94 0.94 0.90 2/56 14337 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 10343 0 0 0 6987 28 0 0 25 0 1 0 397065672 73760768 10189 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18008 10189 231 231 0 17777 0 vsize: 72032 [startup+80.1554 s] Raw data (loadavg): 0.95 0.94 0.90 2/56 14339 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 10850 0 0 0 7985 29 0 0 25 0 1 0 397065672 75177984 10503 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18354 10503 231 231 0 18123 0 vsize: 73416 [startup+90.1551 s] Raw data (loadavg): 0.96 0.94 0.91 2/56 14339 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 10948 0 0 0 8985 30 0 0 25 0 1 0 397065672 75599872 10601 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18457 10601 231 231 0 18226 0 vsize: 73828 [startup+100.155 s] Raw data (loadavg): 0.97 0.94 0.91 2/56 14339 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 12100 0 0 0 9982 33 0 0 25 0 1 0 397065672 76025856 11753 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18561 11753 231 231 0 18330 0 vsize: 74244 [startup+110.155 s] Raw data (loadavg): 0.97 0.94 0.91 2/56 14341 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 12204 0 0 0 10981 34 0 0 25 0 1 0 397065672 76595200 11857 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18700 11857 231 231 0 18469 0 vsize: 74800 [startup+120.155 s] Raw data (loadavg): 0.97 0.95 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 12362 0 0 0 11981 34 0 0 25 0 1 0 397065672 76906496 12015 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18776 12015 231 231 0 18545 0 vsize: 75104 [startup+130.155 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 12777 0 0 0 12980 35 0 0 25 0 1 0 397065672 77201408 12430 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18848 12430 231 231 0 18617 0 vsize: 75392 [startup+140.154 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 12813 0 0 0 13979 36 0 0 25 0 1 0 397065672 77340672 12466 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18882 12466 231 231 0 18651 0 vsize: 75528 [startup+150.154 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13192 0 0 0 14979 37 0 0 25 0 1 0 397065672 77627392 12845 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18952 12845 231 231 0 18721 0 vsize: 75808 [startup+160.154 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13249 0 0 0 15979 37 0 0 25 0 1 0 397065672 77791232 12902 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18992 12902 231 231 0 18761 0 vsize: 75968 [startup+170.154 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13420 0 0 0 16979 37 0 0 25 0 1 0 397065672 78086144 13073 4294967295 134512640 135450300 3221224640 3221223472 134549493 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19064 13073 231 231 0 18833 0 vsize: 76256 [startup+180.154 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13582 0 0 0 17978 38 0 0 25 0 1 0 397065672 78249984 13235 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19104 13235 231 231 0 18873 0 vsize: 76416 [startup+190.154 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13621 0 0 0 18977 39 0 0 25 0 1 0 397065672 78385152 13274 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19137 13274 231 231 0 18906 0 vsize: 76548 [startup+200.155 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13828 0 0 0 19977 40 0 0 25 0 1 0 397065672 78548992 13481 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19177 13481 231 231 0 18946 0 vsize: 76708 [startup+210.154 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 13869 0 0 0 20977 40 0 0 25 0 1 0 397065672 78696448 13522 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19213 13522 231 231 0 18982 0 vsize: 76852 [startup+220.154 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14039 0 0 0 21976 41 0 0 25 0 1 0 397065672 78835712 13692 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19247 13692 231 231 0 19016 0 vsize: 76988 [startup+230.154 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14075 0 0 0 22976 41 0 0 25 0 1 0 397065672 78979072 13728 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19282 13728 231 231 0 19051 0 vsize: 77128 [startup+240.154 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14114 0 0 0 23976 42 0 0 25 0 1 0 397065672 79159296 13767 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19326 13767 231 231 0 19095 0 vsize: 77304 [startup+250.154 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14276 0 0 0 24975 42 0 0 25 0 1 0 397065672 79323136 13929 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19366 13929 231 231 0 19135 0 vsize: 77464 [startup+260.154 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14323 0 0 0 25975 42 0 0 25 0 1 0 397065672 79470592 13976 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19402 13976 231 231 0 19171 0 vsize: 77608 [startup+270.154 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14437 0 0 0 26975 43 0 0 25 0 1 0 397065672 79818752 14090 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19487 14090 231 231 0 19256 0 vsize: 77948 [startup+280.154 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14491 0 0 0 27974 44 0 0 25 0 1 0 397065672 79982592 14144 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19527 14144 231 231 0 19296 0 vsize: 78108 [startup+290.154 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14547 0 0 0 28974 44 0 0 25 0 1 0 397065672 80171008 14200 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19573 14200 231 231 0 19342 0 vsize: 78292 [startup+300.154 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 14643 0 0 0 29973 45 0 0 25 0 1 0 397065672 80334848 14296 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19613 14296 231 231 0 19382 0 vsize: 78452 [startup+310.155 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15066 0 0 0 30972 46 0 0 25 0 1 0 397065672 82067456 14334 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20036 14334 231 231 0 19805 0 vsize: 80144 [startup+320.155 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15154 0 0 0 31972 47 0 0 25 0 1 0 397065672 82231296 14422 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20076 14422 231 231 0 19845 0 vsize: 80304 [startup+330.155 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15186 0 0 0 32972 47 0 0 25 0 1 0 397065672 82395136 14454 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20116 14454 231 231 0 19885 0 vsize: 80464 [startup+340.155 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15225 0 0 0 33972 47 0 0 25 0 1 0 397065672 82558976 14493 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20156 14493 231 231 0 19925 0 vsize: 80624 [startup+350.155 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15263 0 0 0 34971 48 0 0 25 0 1 0 397065672 82558976 14531 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20156 14531 231 231 0 19925 0 vsize: 80624 [startup+360.155 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15292 0 0 0 35971 49 0 0 25 0 1 0 397065672 82698240 14560 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20190 14560 231 231 0 19959 0 vsize: 80760 [startup+370.155 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14343 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15351 0 0 0 36971 49 0 0 25 0 1 0 397065672 82698240 14619 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20190 14619 231 231 0 19959 0 vsize: 80760 [startup+380.156 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15400 0 0 0 37971 49 0 0 25 0 1 0 397065672 83070976 14668 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20281 14668 231 231 0 20050 0 vsize: 81124 [startup+390.156 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15430 0 0 0 38970 50 0 0 25 0 1 0 397065672 83070976 14698 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20281 14698 231 231 0 20050 0 vsize: 81124 [startup+400.156 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15475 0 0 0 39970 51 0 0 25 0 1 0 397065672 83218432 14743 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20317 14743 231 231 0 20086 0 vsize: 81268 [startup+410.157 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15507 0 0 0 40969 51 0 0 25 0 1 0 397065672 83365888 14775 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20353 14775 231 231 0 20122 0 vsize: 81412 [startup+420.157 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15561 0 0 0 41969 52 0 0 25 0 1 0 397065672 83365888 14829 4294967295 134512640 135450300 3221224640 3221223456 134547853 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20353 14829 231 231 0 20122 0 vsize: 81412 [startup+430.157 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15597 0 0 0 42968 52 0 0 25 0 1 0 397065672 83664896 14865 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20426 14865 231 231 0 20195 0 vsize: 81704 [startup+440.157 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15617 0 0 0 43968 53 0 0 25 0 1 0 397065672 83664896 14885 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20426 14885 231 231 0 20195 0 vsize: 81704 [startup+450.156 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15656 0 0 0 44968 53 0 0 25 0 1 0 397065672 83664896 14924 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20426 14924 231 231 0 20195 0 vsize: 81704 [startup+460.156 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15672 0 0 0 45967 54 0 0 25 0 1 0 397065672 83890176 14940 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20481 14940 231 231 0 20250 0 vsize: 81924 [startup+470.164 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15698 0 0 0 46968 54 0 0 25 0 1 0 397065672 83890176 14966 4294967295 134512640 135450300 3221224640 3221223116 134572070 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20481 14966 231 231 0 20250 0 vsize: 81924 [startup+480.164 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15717 0 0 0 47968 54 0 0 25 0 1 0 397065672 83890176 14985 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20481 14985 231 231 0 20250 0 vsize: 81924 [startup+490.164 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15734 0 0 0 48967 55 0 0 25 0 1 0 397065672 84054016 15002 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20521 15002 231 231 0 20290 0 vsize: 82084 [startup+500.165 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15772 0 0 0 49967 56 0 0 25 0 1 0 397065672 84054016 15040 4294967295 134512640 135450300 3221224640 3221223552 134597062 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20521 15040 231 231 0 20290 0 vsize: 82084 [startup+510.164 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15792 0 0 0 50966 56 0 0 25 0 1 0 397065672 84217856 15060 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20561 15060 231 231 0 20330 0 vsize: 82244 [startup+520.165 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15836 0 0 0 51965 57 0 0 25 0 1 0 397065672 84422656 15104 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20611 15104 231 231 0 20380 0 vsize: 82444 [startup+530.166 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15862 0 0 0 52965 57 0 0 25 0 1 0 397065672 84422656 15130 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20611 15130 231 231 0 20380 0 vsize: 82444 [startup+540.166 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15879 0 0 0 53965 58 0 0 25 0 1 0 397065672 84422656 15147 4294967295 134512640 135450300 3221224640 3221223360 134535929 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20611 15147 231 231 0 20380 0 vsize: 82444 [startup+550.166 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15919 0 0 0 54964 59 0 0 25 0 1 0 397065672 84664320 15187 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20670 15187 231 231 0 20439 0 vsize: 82680 [startup+560.165 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15964 0 0 0 55964 59 0 0 25 0 1 0 397065672 84828160 15232 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20710 15232 231 231 0 20479 0 vsize: 82840 [startup+570.166 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 15984 0 0 0 56964 60 0 0 25 0 1 0 397065672 84828160 15252 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20710 15252 231 231 0 20479 0 vsize: 82840 [startup+580.166 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16016 0 0 0 57963 60 0 0 25 0 1 0 397065672 84828160 15284 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20710 15284 231 231 0 20479 0 vsize: 82840 [startup+590.166 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16057 0 0 0 58963 60 0 0 25 0 1 0 397065672 85176320 15325 4294967295 134512640 135450300 3221224640 3221223376 134538472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20795 15325 231 231 0 20564 0 vsize: 83180 [startup+600.167 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16075 0 0 0 59963 61 0 0 25 0 1 0 397065672 85176320 15343 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20795 15343 231 231 0 20564 0 vsize: 83180 [startup+610.167 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16117 0 0 0 60962 61 0 0 25 0 1 0 397065672 85176320 15385 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20795 15385 231 231 0 20564 0 vsize: 83180 [startup+620.167 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16133 0 0 0 61962 62 0 0 25 0 1 0 397065672 85176320 15401 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20795 15401 231 231 0 20564 0 vsize: 83180 [startup+630.167 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16155 0 0 0 62962 62 0 0 25 0 1 0 397065672 85340160 15423 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20835 15423 231 231 0 20604 0 vsize: 83340 [startup+640.167 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16176 0 0 0 63961 63 0 0 25 0 1 0 397065672 85495808 15444 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20873 15444 231 231 0 20642 0 vsize: 83492 [startup+650.167 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16190 0 0 0 64960 64 0 0 25 0 1 0 397065672 85495808 15458 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20873 15458 231 231 0 20642 0 vsize: 83492 [startup+660.167 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16222 0 0 0 65960 64 0 0 25 0 1 0 397065672 85495808 15490 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20873 15490 231 231 0 20642 0 vsize: 83492 [startup+670.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14345 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16239 0 0 0 66959 65 0 0 25 0 1 0 397065672 85630976 15507 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20906 15507 231 231 0 20675 0 vsize: 83624 [startup+680.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16276 0 0 0 67959 66 0 0 25 0 1 0 397065672 85794816 15544 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20946 15544 231 231 0 20715 0 vsize: 83784 [startup+690.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16293 0 0 0 68959 66 0 0 25 0 1 0 397065672 85794816 15561 4294967295 134512640 135450300 3221224640 3221223360 134535509 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20946 15561 231 231 0 20715 0 vsize: 83784 [startup+700.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16324 0 0 0 69958 67 0 0 25 0 1 0 397065672 85794816 15592 4294967295 134512640 135450300 3221224640 3221223024 134602233 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20946 15592 231 231 0 20715 0 vsize: 83784 [startup+710.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16352 0 0 0 70958 67 0 0 25 0 1 0 397065672 85938176 15620 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20981 15620 231 231 0 20750 0 vsize: 83924 [startup+720.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16391 0 0 0 71957 68 0 0 25 0 1 0 397065672 86102016 15659 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21021 15659 231 231 0 20790 0 vsize: 84084 [startup+730.174 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16414 0 0 0 72957 68 0 0 25 0 1 0 397065672 86102016 15682 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21021 15682 231 231 0 20790 0 vsize: 84084 [startup+740.179 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16431 0 0 0 73958 68 0 0 25 0 1 0 397065672 86102016 15699 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21021 15699 231 231 0 20790 0 vsize: 84084 [startup+750.179 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16445 0 0 0 74958 69 0 0 25 0 1 0 397065672 86253568 15713 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21058 15713 231 231 0 20827 0 vsize: 84232 [startup+760.179 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16462 0 0 0 75957 69 0 0 25 0 1 0 397065672 86253568 15730 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21058 15730 231 231 0 20827 0 vsize: 84232 [startup+770.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16500 0 0 0 76957 70 0 0 25 0 1 0 397065672 86417408 15768 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21098 15768 231 231 0 20867 0 vsize: 84392 [startup+780.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16523 0 0 0 77957 70 0 0 25 0 1 0 397065672 86417408 15791 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21098 15791 231 231 0 20867 0 vsize: 84392 [startup+790.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 16535 0 0 0 78957 70 0 0 25 0 1 0 397065672 86417408 15803 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21098 15803 231 231 0 20867 0 vsize: 84392 [startup+800.181 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17335 0 0 0 79955 72 0 0 25 0 1 0 397065672 89726976 15834 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21906 15834 231 231 0 21675 0 vsize: 87624 [startup+810.181 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17351 0 0 0 80955 73 0 0 25 0 1 0 397065672 89726976 15850 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21906 15850 231 231 0 21675 0 vsize: 87624 [startup+820.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17376 0 0 0 81955 73 0 0 25 0 1 0 397065672 89890816 15875 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21946 15875 231 231 0 21715 0 vsize: 87784 [startup+830.181 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17409 0 0 0 82955 73 0 0 25 0 1 0 397065672 89890816 15908 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21946 15908 231 231 0 21715 0 vsize: 87784 [startup+840.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17438 0 0 0 83955 73 0 0 25 0 1 0 397065672 90054656 15937 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21986 15937 231 231 0 21755 0 vsize: 87944 [startup+850.181 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17464 0 0 0 84954 74 0 0 25 0 1 0 397065672 90226688 15963 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22028 15963 231 231 0 21797 0 vsize: 88112 [startup+860.181 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17481 0 0 0 85954 74 0 0 25 0 1 0 397065672 90226688 15980 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22028 15980 231 231 0 21797 0 vsize: 88112 [startup+870.181 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17493 0 0 0 86953 75 0 0 25 0 1 0 397065672 90226688 15992 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22028 15992 231 231 0 21797 0 vsize: 88112 [startup+880.181 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17508 0 0 0 87953 76 0 0 25 0 1 0 397065672 90226688 16007 4294967295 134512640 135450300 3221224640 3221223104 134532583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22028 16007 231 231 0 21797 0 vsize: 88112 [startup+890.181 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17520 0 0 0 88953 76 0 0 25 0 1 0 397065672 90226688 16019 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22028 16019 231 231 0 21797 0 vsize: 88112 [startup+900.182 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17533 0 0 0 89953 76 0 0 25 0 1 0 397065672 90226688 16032 4294967295 134512640 135450300 3221224640 3221223476 134538632 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22028 16032 231 231 0 21797 0 vsize: 88112 [startup+910.182 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17556 0 0 0 90953 77 0 0 25 0 1 0 397065672 90411008 16055 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22073 16055 231 231 0 21842 0 vsize: 88292 [startup+920.182 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17578 0 0 0 91953 77 0 0 25 0 1 0 397065672 90411008 16077 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22073 16077 231 231 0 21842 0 vsize: 88292 [startup+930.182 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17602 0 0 0 92953 77 0 0 25 0 1 0 397065672 90574848 16101 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22113 16101 231 231 0 21882 0 vsize: 88452 [startup+940.182 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17619 0 0 0 93953 77 0 0 25 0 1 0 397065672 90574848 16118 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22113 16118 231 231 0 21882 0 vsize: 88452 [startup+950.183 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17637 0 0 0 94953 77 0 0 25 0 1 0 397065672 90574848 16136 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22113 16136 231 231 0 21882 0 vsize: 88452 [startup+960.183 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17652 0 0 0 95952 78 0 0 25 0 1 0 397065672 90574848 16151 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22113 16151 231 231 0 21882 0 vsize: 88452 [startup+970.183 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14347 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17669 0 0 0 96952 78 0 0 25 0 1 0 397065672 90574848 16168 4294967295 134512640 135450300 3221224640 3221223024 134602233 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22113 16168 231 231 0 21882 0 vsize: 88452 [startup+980.182 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17684 0 0 0 97952 79 0 0 25 0 1 0 397065672 90767360 16183 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22160 16183 231 231 0 21929 0 vsize: 88640 [startup+990.182 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17695 0 0 0 98952 79 0 0 25 0 1 0 397065672 90767360 16194 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22160 16194 231 231 0 21929 0 vsize: 88640 [startup+1000.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17710 0 0 0 99952 79 0 0 25 0 1 0 397065672 90767360 16209 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22160 16209 231 231 0 21929 0 vsize: 88640 [startup+1010.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17723 0 0 0 100952 79 0 0 25 0 1 0 397065672 90767360 16222 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22160 16222 231 231 0 21929 0 vsize: 88640 [startup+1020.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17739 0 0 0 101951 80 0 0 25 0 1 0 397065672 90767360 16238 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22160 16238 231 231 0 21929 0 vsize: 88640 [startup+1030.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17764 0 0 0 102951 80 0 0 25 0 1 0 397065672 90767360 16263 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22160 16263 231 231 0 21929 0 vsize: 88640 [startup+1040.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17787 0 0 0 103950 81 0 0 25 0 1 0 397065672 90767360 16286 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22160 16286 231 231 0 21929 0 vsize: 88640 [startup+1050.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17802 0 0 0 104950 81 0 0 25 0 1 0 397065672 90972160 16301 4294967295 134512640 135450300 3221224640 3221223116 134572561 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22210 16301 231 231 0 21979 0 vsize: 88840 [startup+1060.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17816 0 0 0 105949 82 0 0 25 0 1 0 397065672 90972160 16315 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22210 16315 231 231 0 21979 0 vsize: 88840 [startup+1070.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17837 0 0 0 106950 82 0 0 25 0 1 0 397065672 91136000 16336 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22250 16336 231 231 0 22019 0 vsize: 89000 [startup+1080.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17867 0 0 0 107949 83 0 0 25 0 1 0 397065672 91136000 16366 4294967295 134512640 135450300 3221224640 3221223024 134579455 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22250 16366 231 231 0 22019 0 vsize: 89000 [startup+1090.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17900 0 0 0 108949 83 0 0 25 0 1 0 397065672 91136000 16399 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22250 16399 231 231 0 22019 0 vsize: 89000 [startup+1100.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17919 0 0 0 109949 84 0 0 25 0 1 0 397065672 91299840 16418 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22290 16418 231 231 0 22059 0 vsize: 89160 [startup+1110.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17932 0 0 0 110949 84 0 0 25 0 1 0 397065672 91299840 16431 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22290 16431 231 231 0 22059 0 vsize: 89160 [startup+1120.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17947 0 0 0 111948 84 0 0 25 0 1 0 397065672 91516928 16446 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22343 16446 231 231 0 22112 0 vsize: 89372 [startup+1130.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17957 0 0 0 112948 85 0 0 25 0 1 0 397065672 91516928 16456 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22343 16456 231 231 0 22112 0 vsize: 89372 [startup+1140.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17972 0 0 0 113948 85 0 0 25 0 1 0 397065672 91516928 16471 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22343 16471 231 231 0 22112 0 vsize: 89372 [startup+1150.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 17985 0 0 0 114947 86 0 0 25 0 1 0 397065672 91516928 16484 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22343 16484 231 231 0 22112 0 vsize: 89372 [startup+1160.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 18004 0 0 0 115947 87 0 0 25 0 1 0 397065672 91516928 16503 4294967295 134512640 135450300 3221224640 3221223472 134549299 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22343 16503 231 231 0 22112 0 vsize: 89372 [startup+1170.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 18020 0 0 0 116947 87 0 0 25 0 1 0 397065672 91516928 16519 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22343 16519 231 231 0 22112 0 vsize: 89372 [startup+1180.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 18034 0 0 0 117947 87 0 0 25 0 1 0 397065672 91516928 16533 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22343 16533 231 231 0 22112 0 vsize: 89372 [startup+1190.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 18054 0 0 0 118946 88 0 0 25 0 1 0 397065672 91516928 16553 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22343 16553 231 231 0 22112 0 vsize: 89372 [startup+1200.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14349 Raw data (stat): 14284 (PBS4) R 14283 12452 12451 0 -1 0 18068 0 0 0 119946 88 0 0 25 0 1 0 397065672 91750400 16567 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22400 16567 231 231 0 22169 0 vsize: 89600 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.22 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 14349 Raw data (stat): 14284 (PBS4) Z 14283 12452 12451 0 -1 1036 18068 0 0 0 119946 91 0 0 25 0 1 0 397065672 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.22 CPU time (s): 1200.38 CPU user time (s): 1199.46 CPU system time (s): 0.913861 CPU usage (%): 100.013 Max. virtual memory (Kb): 89600 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####