Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb |
MD5SUM | 54df16ee65da54d5975ffedee80d2bb9 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1408128 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 1048576 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 11486079 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 280 |
Total number of constraints | 471 |
Number of constraints which are clauses | 127 |
Number of constraints which are cardinality constraints (but not clauses) | 272 |
Number of constraints which are nor clauses,nor cardinality constraints | 72 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 253 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc30 THE 2005-04-21 02:56:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18583 boxname=wulflinc30 idbench=1430 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 54df16ee65da54d5975ffedee80d2bb9 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-misc07.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-misc07.opb IDLAUNCH: 18583 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 789952 kB Buffers: 11912 kB Cached: 201200 kB SwapCached: 0 kB Active: 51576 kB Inactive: 164352 kB HighTotal: 131008 kB HighFree: 5068 kB LowTotal: 903652 kB LowFree: 784884 kB SwapTotal: 2097892 kB SwapFree: 2097824 kB Dirty: 36 kB Writeback: 0 kB Mapped: 6800 kB Slab: 23124 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 03:16:22 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 18583 7 1200.28 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-misc07.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.91 0.95 0.91 2/54 10431 Raw data (stat): 10431 (runsolver) R 10430 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541644989 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+9.99996 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 960 0 0 0 995 3 0 0 25 0 1 0 541644989 6180864 907 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1509 907 231 231 0 1278 0 vsize: 6036 [startup+20.0005 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 1305 0 0 0 1994 5 0 0 25 0 1 0 541644989 6451200 1252 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1575 1252 231 231 0 1344 0 vsize: 6300 [startup+30.0006 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 1736 0 0 0 2992 7 0 0 25 0 1 0 541644989 11309056 1586 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2761 1586 231 231 0 2530 0 vsize: 11044 [startup+40.0004 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 2443 0 0 0 3989 10 0 0 25 0 1 0 541644989 11579392 2293 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2827 2293 231 231 0 2596 0 vsize: 11308 [startup+50.0009 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 2690 0 0 0 4987 12 0 0 25 0 1 0 541644989 11862016 2540 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2896 2540 231 231 0 2665 0 vsize: 11584 [startup+60.001 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 2946 0 0 0 5986 14 0 0 25 0 1 0 541644989 12787712 2603 4294967295 134512640 135450300 3221224624 3221223456 134538631 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3122 2603 231 231 0 2891 0 vsize: 12488 [startup+70.0018 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 3201 0 0 0 6985 15 0 0 25 0 1 0 541644989 21450752 2858 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5237 2858 231 231 0 5006 0 vsize: 20948 [startup+80.0024 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 3739 0 0 0 7983 17 0 0 25 0 1 0 541644989 21585920 3396 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5270 3396 231 231 0 5039 0 vsize: 21080 [startup+90.0024 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 4228 0 0 0 8981 19 0 0 25 0 1 0 541644989 21860352 3885 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5337 3885 231 231 0 5106 0 vsize: 21348 [startup+100.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 4658 0 0 0 9979 21 0 0 25 0 1 0 541644989 22138880 4315 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5405 4315 231 231 0 5174 0 vsize: 21620 [startup+110.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 4942 0 0 0 10978 22 0 0 25 0 1 0 541644989 22282240 4599 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5440 4599 231 231 0 5209 0 vsize: 21760 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 5159 0 0 0 11977 24 0 0 25 0 1 0 541644989 22425600 4816 4294967295 134512640 135450300 3221224624 3221223360 134538669 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5475 4816 231 231 0 5244 0 vsize: 21900 [startup+130.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 5206 0 0 0 12975 25 0 0 25 0 1 0 541644989 22564864 4863 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5509 4863 231 231 0 5278 0 vsize: 22036 [startup+140.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 5268 0 0 0 13974 27 0 0 25 0 1 0 541644989 22843392 4925 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5577 4925 231 231 0 5346 0 vsize: 22308 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 5309 0 0 0 14974 27 0 0 25 0 1 0 541644989 22843392 4966 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5577 4966 231 231 0 5346 0 vsize: 22308 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 5764 0 0 0 15973 29 0 0 25 0 1 0 541644989 24690688 5036 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6028 5036 231 231 0 5797 0 vsize: 24112 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 6017 0 0 0 16972 30 0 0 25 0 1 0 541644989 24690688 5289 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6028 5289 231 231 0 5797 0 vsize: 24112 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 6115 0 0 0 17972 30 0 0 25 0 1 0 541644989 24969216 5387 4294967295 134512640 135450300 3221224624 3221223440 134536841 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6096 5387 231 231 0 5865 0 vsize: 24384 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 6426 0 0 0 18970 32 0 0 25 0 1 0 541644989 41746432 5698 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10192 5698 231 231 0 9961 0 vsize: 40768 [startup+200.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 6581 0 0 0 19970 33 0 0 25 0 1 0 541644989 41893888 5853 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10228 5853 231 231 0 9997 0 vsize: 40912 [startup+210.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 7011 0 0 0 20968 34 0 0 25 0 1 0 541644989 42033152 6283 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10262 6283 231 231 0 10031 0 vsize: 41048 [startup+220.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10431 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 7442 0 0 0 21968 35 0 0 25 0 1 0 541644989 42033152 6714 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10262 6714 231 231 0 10031 0 vsize: 41048 [startup+230.004 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 10484 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 7789 0 0 0 22965 37 0 0 25 0 1 0 541644989 42328064 7061 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10334 7061 231 231 0 10103 0 vsize: 41336 [startup+240.004 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 10484 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8041 0 0 0 23964 38 0 0 25 0 1 0 541644989 42491904 7313 4294967295 134512640 135450300 3221224624 3221223360 134538446 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10374 7313 231 231 0 10143 0 vsize: 41496 [startup+250.005 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 10484 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8235 0 0 0 24963 39 0 0 25 0 1 0 541644989 42643456 7507 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10411 7507 231 231 0 10180 0 vsize: 41644 [startup+260.005 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 10484 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8643 0 0 0 25962 41 0 0 25 0 1 0 541644989 42831872 7915 4294967295 134512640 135450300 3221224624 3221223440 134536474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10457 7915 231 231 0 10226 0 vsize: 41828 [startup+270.005 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 10484 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8716 0 0 0 26962 41 0 0 25 0 1 0 541644989 43118592 7988 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10527 7988 231 231 0 10296 0 vsize: 42108 [startup+280.005 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 10484 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8845 0 0 0 27961 42 0 0 25 0 1 0 541644989 43282432 8117 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10567 8117 231 231 0 10336 0 vsize: 42268 [startup+290.005 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 10484 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8874 0 0 0 28960 43 0 0 25 0 1 0 541644989 43282432 8146 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10567 8146 231 231 0 10336 0 vsize: 42268 [startup+300.006 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8934 0 0 0 29960 43 0 0 25 0 1 0 541644989 43446272 8206 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10607 8206 231 231 0 10376 0 vsize: 42428 [startup+310.005 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 9375 0 0 0 30958 45 0 0 25 0 1 0 541644989 43610112 8647 4294967295 134512640 135450300 3221224624 3221223440 134537251 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10647 8647 231 231 0 10416 0 vsize: 42588 [startup+320.006 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 9528 0 0 0 31958 46 0 0 25 0 1 0 541644989 43769856 8800 4294967295 134512640 135450300 3221224624 3221223360 134538774 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10686 8800 231 231 0 10455 0 vsize: 42744 [startup+330.007 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 9727 0 0 0 32957 47 0 0 25 0 1 0 541644989 43769856 8999 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10686 8999 231 231 0 10455 0 vsize: 42744 [startup+340.007 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 10035 0 0 0 33955 49 0 0 25 0 1 0 541644989 44072960 9307 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10760 9307 231 231 0 10529 0 vsize: 43040 [startup+350.007 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 10387 0 0 0 34954 50 0 0 25 0 1 0 541644989 44220416 9659 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10796 9659 231 231 0 10565 0 vsize: 43184 [startup+360.008 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 10706 0 0 0 35953 51 0 0 25 0 1 0 541644989 44367872 9978 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10832 9978 231 231 0 10601 0 vsize: 43328 [startup+370.008 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 10910 0 0 0 36953 52 0 0 25 0 1 0 541644989 44531712 10182 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10872 10182 231 231 0 10641 0 vsize: 43488 [startup+380.008 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11142 0 0 0 37952 53 0 0 25 0 1 0 541644989 44531712 10414 4294967295 134512640 135450300 3221224624 3221223360 134538976 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10872 10414 231 231 0 10641 0 vsize: 43488 [startup+390.008 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11558 0 0 0 38951 54 0 0 25 0 1 0 541644989 78233600 10830 4294967295 134512640 135450300 3221224624 3221223440 134536520 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19100 10830 231 231 0 18869 0 vsize: 76400 [startup+400.009 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11684 0 0 0 39951 55 0 0 25 0 1 0 541644989 78381056 10956 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19136 10956 231 231 0 18905 0 vsize: 76544 [startup+410.009 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11702 0 0 0 40950 55 0 0 25 0 1 0 541644989 78381056 10974 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19136 10974 231 231 0 18905 0 vsize: 76544 [startup+420.01 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11746 0 0 0 41950 56 0 0 25 0 1 0 541644989 78553088 11018 4294967295 134512640 135450300 3221224624 3221223440 134537300 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19178 11018 231 231 0 18947 0 vsize: 76712 [startup+430.01 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11777 0 0 0 42949 56 0 0 25 0 1 0 541644989 78716928 11049 4294967295 134512640 135450300 3221224624 3221223344 134535457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19218 11049 231 231 0 18987 0 vsize: 76872 [startup+440.01 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11797 0 0 0 43949 57 0 0 25 0 1 0 541644989 78716928 11069 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19218 11069 231 231 0 18987 0 vsize: 76872 [startup+450.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11845 0 0 0 44949 57 0 0 25 0 1 0 541644989 78864384 11117 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19254 11117 231 231 0 19023 0 vsize: 77016 [startup+460.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11907 0 0 0 45948 58 0 0 25 0 1 0 541644989 79028224 11179 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19294 11179 231 231 0 19063 0 vsize: 77176 [startup+470.012 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 12295 0 0 0 46947 59 0 0 25 0 1 0 541644989 79028224 11567 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19294 11567 231 231 0 19063 0 vsize: 77176 [startup+480.012 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 12636 0 0 0 47946 61 0 0 25 0 1 0 541644989 79028224 11908 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19294 11908 231 231 0 19063 0 vsize: 77176 [startup+490.012 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 12838 0 0 0 48945 62 0 0 25 0 1 0 541644989 79028224 12110 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19294 12110 231 231 0 19063 0 vsize: 77176 [startup+500.013 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 13016 0 0 0 49945 62 0 0 25 0 1 0 541644989 79192064 12288 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19334 12288 231 231 0 19103 0 vsize: 77336 [startup+510.013 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14117 0 0 0 50943 65 0 0 25 0 1 0 541644989 82501632 12620 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20142 12620 231 231 0 19911 0 vsize: 80568 [startup+520.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14346 0 0 0 51942 66 0 0 25 0 1 0 541644989 82501632 12849 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20142 12849 231 231 0 19911 0 vsize: 80568 [startup+530.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14626 0 0 0 52941 67 0 0 25 0 1 0 541644989 82890752 13129 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20237 13129 231 231 0 20006 0 vsize: 80948 [startup+540.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14798 0 0 0 53940 68 0 0 25 0 1 0 541644989 82890752 13301 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20237 13301 231 231 0 20006 0 vsize: 80948 [startup+550.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14822 0 0 0 54940 68 0 0 25 0 1 0 541644989 83054592 13325 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20277 13325 231 231 0 20046 0 vsize: 81108 [startup+560.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14849 0 0 0 55940 68 0 0 25 0 1 0 541644989 83054592 13352 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20277 13352 231 231 0 20046 0 vsize: 81108 [startup+570.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10486 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14857 0 0 0 56940 69 0 0 25 0 1 0 541644989 83054592 13360 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20277 13360 231 231 0 20046 0 vsize: 81108 [startup+580.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14882 0 0 0 57939 70 0 0 25 0 1 0 541644989 83054592 13385 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20277 13385 231 231 0 20046 0 vsize: 81108 [startup+590.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14899 0 0 0 58938 71 0 0 25 0 1 0 541644989 83218432 13402 4294967295 134512640 135450300 3221224624 3221223440 134536465 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20317 13402 231 231 0 20086 0 vsize: 81268 [startup+600.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14950 0 0 0 59938 71 0 0 25 0 1 0 541644989 83398656 13453 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20361 13453 231 231 0 20130 0 vsize: 81444 [startup+610.016 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14961 0 0 0 60938 71 0 0 25 0 1 0 541644989 83398656 13464 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20361 13464 231 231 0 20130 0 vsize: 81444 [startup+620.017 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14993 0 0 0 61938 72 0 0 25 0 1 0 541644989 83546112 13496 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20397 13496 231 231 0 20166 0 vsize: 81588 [startup+630.017 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15035 0 0 0 62937 73 0 0 25 0 1 0 541644989 83709952 13538 4294967295 134512640 135450300 3221224624 3221223440 134536531 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20437 13538 231 231 0 20206 0 vsize: 81748 [startup+640.016 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15072 0 0 0 63937 73 0 0 25 0 1 0 541644989 83873792 13575 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20477 13575 231 231 0 20246 0 vsize: 81908 [startup+650.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15147 0 0 0 64937 74 0 0 25 0 1 0 541644989 83873792 13650 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20477 13650 231 231 0 20246 0 vsize: 81908 [startup+660.017 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15373 0 0 0 65936 75 0 0 25 0 1 0 541644989 83873792 13876 4294967295 134512640 135450300 3221224624 3221223440 134536422 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20477 13876 231 231 0 20246 0 vsize: 81908 [startup+670.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15676 0 0 0 66934 76 0 0 25 0 1 0 541644989 83873792 14179 4294967295 134512640 135450300 3221224624 3221223008 134579732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20477 14179 231 231 0 20246 0 vsize: 81908 [startup+680.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15997 0 0 0 67933 77 0 0 25 0 1 0 541644989 83873792 14500 4294967295 134512640 135450300 3221224624 3221223536 134597282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20477 14500 231 231 0 20246 0 vsize: 81908 [startup+690.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16255 0 0 0 68932 79 0 0 25 0 1 0 541644989 84070400 14758 4294967295 134512640 135450300 3221224624 3221223440 134536464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20525 14758 231 231 0 20294 0 vsize: 82100 [startup+700.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16637 0 0 0 69931 81 0 0 25 0 1 0 541644989 84393984 15140 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20604 15140 231 231 0 20373 0 vsize: 82416 [startup+710.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16778 0 0 0 70930 82 0 0 25 0 1 0 541644989 84393984 15281 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20604 15281 231 231 0 20373 0 vsize: 82416 [startup+720.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16804 0 0 0 71930 82 0 0 25 0 1 0 541644989 84549632 15307 4294967295 134512640 135450300 3221224624 3221223104 134580019 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20642 15307 231 231 0 20411 0 vsize: 82568 [startup+730.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16825 0 0 0 72930 82 0 0 25 0 1 0 541644989 84549632 15328 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20642 15328 231 231 0 20411 0 vsize: 82568 [startup+740.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16842 0 0 0 73929 83 0 0 25 0 1 0 541644989 84549632 15345 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20642 15345 231 231 0 20411 0 vsize: 82568 [startup+750.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16874 0 0 0 74929 83 0 0 25 0 1 0 541644989 84881408 15377 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20723 15377 231 231 0 20492 0 vsize: 82892 [startup+760.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16901 0 0 0 75929 83 0 0 25 0 1 0 541644989 84881408 15404 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20723 15404 231 231 0 20492 0 vsize: 82892 [startup+770.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16934 0 0 0 76929 84 0 0 25 0 1 0 541644989 85078016 15437 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20771 15437 231 231 0 20540 0 vsize: 83084 [startup+780.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16941 0 0 0 77929 84 0 0 25 0 1 0 541644989 85078016 15444 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20771 15444 231 231 0 20540 0 vsize: 83084 [startup+790.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16966 0 0 0 78929 84 0 0 25 0 1 0 541644989 85274624 15469 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20819 15469 231 231 0 20588 0 vsize: 83276 [startup+800.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16999 0 0 0 79930 85 0 0 25 0 1 0 541644989 85274624 15502 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20819 15502 231 231 0 20588 0 vsize: 83276 [startup+810.037 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17023 0 0 0 80929 85 0 0 25 0 1 0 541644989 85471232 15526 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20867 15526 231 231 0 20636 0 vsize: 83468 [startup+820.037 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17075 0 0 0 81929 86 0 0 25 0 1 0 541644989 85606400 15578 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20900 15578 231 231 0 20669 0 vsize: 83600 [startup+830.038 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17086 0 0 0 82929 86 0 0 25 0 1 0 541644989 85606400 15589 4294967295 134512640 135450300 3221224624 3221223360 134538607 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20900 15589 231 231 0 20669 0 vsize: 83600 [startup+840.038 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17105 0 0 0 83929 86 0 0 25 0 1 0 541644989 85606400 15608 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20900 15608 231 231 0 20669 0 vsize: 83600 [startup+850.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17179 0 0 0 84928 87 0 0 25 0 1 0 541644989 85827584 15682 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20954 15682 231 231 0 20723 0 vsize: 83816 [startup+860.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17202 0 0 0 85928 88 0 0 25 0 1 0 541644989 85827584 15705 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20954 15705 231 231 0 20723 0 vsize: 83816 [startup+870.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17211 0 0 0 86928 88 0 0 25 0 1 0 541644989 85827584 15714 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20954 15714 231 231 0 20723 0 vsize: 83816 [startup+880.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17230 0 0 0 87927 89 0 0 25 0 1 0 541644989 85827584 15733 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20954 15733 231 231 0 20723 0 vsize: 83816 [startup+890.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17249 0 0 0 88927 89 0 0 25 0 1 0 541644989 86024192 15752 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21002 15752 231 231 0 20771 0 vsize: 84008 [startup+900.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17277 0 0 0 89927 90 0 0 25 0 1 0 541644989 86024192 15780 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21002 15780 231 231 0 20771 0 vsize: 84008 [startup+910.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17327 0 0 0 90927 90 0 0 25 0 1 0 541644989 86388736 15830 4294967295 134512640 135450300 3221224624 3221223440 134537263 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21091 15830 231 231 0 20860 0 vsize: 84364 [startup+920.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17359 0 0 0 91927 90 0 0 25 0 1 0 541644989 86388736 15862 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21091 15862 231 231 0 20860 0 vsize: 84364 [startup+930.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17379 0 0 0 92926 91 0 0 25 0 1 0 541644989 86585344 15882 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21139 15882 231 231 0 20908 0 vsize: 84556 [startup+940.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17549 0 0 0 93925 92 0 0 25 0 1 0 541644989 86585344 16052 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21139 16052 231 231 0 20908 0 vsize: 84556 [startup+950.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17731 0 0 0 94925 93 0 0 25 0 1 0 541644989 86585344 16234 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21139 16234 231 231 0 20908 0 vsize: 84556 [startup+960.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17961 0 0 0 95923 95 0 0 25 0 1 0 541644989 86585344 16464 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21139 16464 231 231 0 20908 0 vsize: 84556 [startup+970.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18209 0 0 0 96921 97 0 0 25 0 1 0 541644989 86781952 16712 4294967295 134512640 135450300 3221224624 3221223360 134538466 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21187 16712 231 231 0 20956 0 vsize: 84748 [startup+980.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18298 0 0 0 97921 97 0 0 25 0 1 0 541644989 86781952 16801 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21187 16801 231 231 0 20956 0 vsize: 84748 [startup+990.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18393 0 0 0 98921 98 0 0 25 0 1 0 541644989 86781952 16896 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21187 16896 231 231 0 20956 0 vsize: 84748 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18530 0 0 0 99920 98 0 0 25 0 1 0 541644989 86781952 17033 4294967295 134512640 135450300 3221224624 3221223360 134538490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21187 17033 231 231 0 20956 0 vsize: 84748 [startup+1010.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18706 0 0 0 100920 99 0 0 25 0 1 0 541644989 86917120 17209 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21220 17209 231 231 0 20989 0 vsize: 84880 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18902 0 0 0 101919 100 0 0 25 0 1 0 541644989 86917120 17405 4294967295 134512640 135450300 3221224624 3221223360 134538793 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21220 17405 231 231 0 20989 0 vsize: 84880 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 19202 0 0 0 102918 102 0 0 25 0 1 0 541644989 87048192 17672 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21252 17672 231 231 0 21021 0 vsize: 85008 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 19398 0 0 0 103917 102 0 0 25 0 1 0 541644989 87183360 17868 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21285 17868 231 231 0 21054 0 vsize: 85140 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 19642 0 0 0 104917 103 0 0 25 0 1 0 541644989 87416832 18112 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21342 18112 231 231 0 21111 0 vsize: 85368 [startup+1060.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 19873 0 0 0 105916 104 0 0 25 0 1 0 541644989 87416832 18343 4294967295 134512640 135450300 3221224624 3221223440 134536501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21342 18343 231 231 0 21111 0 vsize: 85368 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20112 0 0 0 106915 105 0 0 25 0 1 0 541644989 87416832 18582 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21342 18582 231 231 0 21111 0 vsize: 85368 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20146 0 0 0 107915 106 0 0 25 0 1 0 541644989 87416832 18616 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21342 18616 231 231 0 21111 0 vsize: 85368 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20157 0 0 0 108915 106 0 0 25 0 1 0 541644989 87416832 18627 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21342 18627 231 231 0 21111 0 vsize: 85368 [startup+1100.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20183 0 0 0 109914 106 0 0 25 0 1 0 541644989 87613440 18653 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21390 18653 231 231 0 21159 0 vsize: 85560 [startup+1110.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20210 0 0 0 110914 107 0 0 25 0 1 0 541644989 87748608 18680 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21423 18680 231 231 0 21192 0 vsize: 85692 [startup+1120.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20243 0 0 0 111914 107 0 0 25 0 1 0 541644989 87945216 18713 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21471 18713 231 231 0 21240 0 vsize: 85884 [startup+1130.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20417 0 0 0 112914 108 0 0 25 0 1 0 541644989 87945216 18887 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21471 18887 231 231 0 21240 0 vsize: 85884 [startup+1140.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20597 0 0 0 113913 108 0 0 25 0 1 0 541644989 87945216 19067 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21471 19067 231 231 0 21240 0 vsize: 85884 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20704 0 0 0 114913 109 0 0 25 0 1 0 541644989 88125440 19174 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21515 19174 231 231 0 21284 0 vsize: 86060 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20960 0 0 0 115911 111 0 0 25 0 1 0 541644989 88125440 19430 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21515 19430 231 231 0 21284 0 vsize: 86060 [startup+1170.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 21197 0 0 0 116910 112 0 0 25 0 1 0 541644989 88260608 19667 4294967295 134512640 135450300 3221224624 3221223440 134547472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21548 19667 231 231 0 21317 0 vsize: 86192 [startup+1180.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 21275 0 0 0 117909 113 0 0 25 0 1 0 541644989 88260608 19745 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21548 19745 231 231 0 21317 0 vsize: 86192 [startup+1190.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 21294 0 0 0 118909 113 0 0 25 0 1 0 541644989 88457216 19764 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21596 19764 231 231 0 21365 0 vsize: 86384 [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 10488 Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 21350 0 0 0 119909 114 0 0 25 0 1 0 541644989 88653824 19820 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21644 19820 231 231 0 21413 0 vsize: 86576 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 1.00 0.99 0.92 1/54 10488 Raw data (stat): 10431 (PBS4) Z 10430 11931 11930 0 -1 1036 21350 0 0 0 119909 117 0 0 25 0 1 0 541644989 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.09 CPU time (s): 1200.28 CPU user time (s): 1199.1 CPU system time (s): 1.17882 CPU usage (%): 100.015 Max. virtual memory (Kb): 86576 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####