Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb |
MD5SUM | c4653389ddee2820797c664a0856c651 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 456 |
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 | 456 |
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 | 456 |
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.02784 |
Number of variables | 456 |
Total number of constraints | 1602 |
Number of constraints which are clauses | 1602 |
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 | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-04-17 16:00:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1320 boxname=wulflinc8 idbench=147 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: c4653389ddee2820797c664a0856c651 /oldhome/oroussel/tmp/wulflinc8/normalized-ii32b1.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc8/normalized-ii32b1.opb IDLAUNCH: 1320 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 845560 kB Buffers: 38524 kB Cached: 127804 kB SwapCached: 0 kB Active: 87092 kB Inactive: 83856 kB HighTotal: 131008 kB HighFree: 980 kB LowTotal: 903652 kB LowFree: 844580 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6940 kB Slab: 12468 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 16:20:32 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 1320 7 1200.28 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc8/normalized-ii32b1.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): 1.19 1.02 0.72 1/54 17919 Raw data (stat): 17919 (runsolver) R 17918 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 440002767 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 1.16 1.02 0.72 2/54 17919 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 881 0 0 0 997 2 0 0 25 0 1 0 440002767 5746688 877 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1403 877 231 231 0 1172 0 vsize: 5612 [startup+20.0985 s] Raw data (loadavg): 1.14 1.02 0.72 2/54 17919 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 1338 0 0 0 2005 3 0 0 25 0 1 0 440002767 10141696 1334 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2476 1334 231 231 0 2245 0 vsize: 9904 [startup+30.098 s] Raw data (loadavg): 1.12 1.02 0.72 2/54 17919 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 1701 0 0 0 3004 4 0 0 25 0 1 0 440002767 10141696 1697 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2476 1697 231 231 0 2245 0 vsize: 9904 [startup+40.0988 s] Raw data (loadavg): 1.10 1.01 0.73 2/54 17919 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 2056 0 0 0 4002 7 0 0 25 0 1 0 440002767 10141696 2052 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2476 2052 231 231 0 2245 0 vsize: 9904 [startup+50.0996 s] Raw data (loadavg): 1.08 1.01 0.73 2/54 17919 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 2398 0 0 0 5001 8 0 0 25 0 1 0 440002767 18530304 2394 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4524 2394 231 231 0 4293 0 vsize: 18096 [startup+60.1003 s] Raw data (loadavg): 1.07 1.01 0.73 2/54 17919 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 2730 0 0 0 5999 9 0 0 25 0 1 0 440002767 18530304 2726 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4524 2726 231 231 0 4293 0 vsize: 18096 [startup+70.1001 s] Raw data (loadavg): 1.06 1.01 0.73 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 3122 0 0 0 6997 11 0 0 25 0 1 0 440002767 18726912 3069 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4572 3069 231 231 0 4341 0 vsize: 18288 [startup+80.1 s] Raw data (loadavg): 1.05 1.01 0.74 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 3496 0 0 0 7996 12 0 0 25 0 1 0 440002767 19165184 3443 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4679 3443 231 231 0 4448 0 vsize: 18716 [startup+90.1007 s] Raw data (loadavg): 1.04 1.01 0.74 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 3959 0 0 0 8995 13 0 0 25 0 1 0 440002767 19615744 3906 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4789 3906 231 231 0 4558 0 vsize: 19156 [startup+100.101 s] Raw data (loadavg): 1.03 1.01 0.74 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 4065 0 0 0 9994 14 0 0 25 0 1 0 440002767 19615744 4012 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4789 4012 231 231 0 4558 0 vsize: 19156 [startup+110.102 s] Raw data (loadavg): 1.03 1.01 0.74 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 4206 0 0 0 10994 15 0 0 25 0 1 0 440002767 19615744 4153 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4789 4153 231 231 0 4558 0 vsize: 19156 [startup+120.103 s] Raw data (loadavg): 1.02 1.01 0.74 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 4371 0 0 0 11993 15 0 0 25 0 1 0 440002767 20045824 4318 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4894 4318 231 231 0 4663 0 vsize: 19576 [startup+130.103 s] Raw data (loadavg): 1.02 1.01 0.75 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 4499 0 0 0 12993 16 0 0 25 0 1 0 440002767 20045824 4446 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4894 4446 231 231 0 4663 0 vsize: 19576 [startup+140.104 s] Raw data (loadavg): 1.02 1.00 0.75 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 4821 0 0 0 13992 16 0 0 25 0 1 0 440002767 20664320 4768 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5045 4768 231 231 0 4814 0 vsize: 20180 [startup+150.104 s] Raw data (loadavg): 1.01 1.00 0.75 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 5145 0 0 0 14990 18 0 0 25 0 1 0 440002767 37736448 5092 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9213 5092 231 231 0 8982 0 vsize: 36852 [startup+160.106 s] Raw data (loadavg): 1.01 1.00 0.75 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 5282 0 0 0 15989 20 0 0 25 0 1 0 440002767 37736448 5229 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9213 5229 231 231 0 8982 0 vsize: 36852 [startup+170.106 s] Raw data (loadavg): 1.01 1.00 0.75 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 5350 0 0 0 16988 20 0 0 25 0 1 0 440002767 38031360 5297 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9285 5297 231 231 0 9054 0 vsize: 37140 [startup+180.106 s] Raw data (loadavg): 1.01 1.00 0.75 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 5362 0 0 0 17988 21 0 0 25 0 1 0 440002767 38031360 5309 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9285 5309 231 231 0 9054 0 vsize: 37140 [startup+190.107 s] Raw data (loadavg): 1.01 1.00 0.76 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 5363 0 0 0 18988 21 0 0 25 0 1 0 440002767 38031360 5310 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9285 5310 231 231 0 9054 0 vsize: 37140 [startup+200.106 s] Raw data (loadavg): 1.00 1.00 0.76 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 5486 0 0 0 19986 22 0 0 25 0 1 0 440002767 38166528 5433 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9318 5433 231 231 0 9087 0 vsize: 37272 [startup+210.107 s] Raw data (loadavg): 1.00 1.00 0.76 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 5739 0 0 0 20985 23 0 0 25 0 1 0 440002767 38301696 5686 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9351 5686 231 231 0 9120 0 vsize: 37404 [startup+220.108 s] Raw data (loadavg): 1.00 1.00 0.76 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6074 0 0 0 21984 24 0 0 25 0 1 0 440002767 38830080 5924 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9480 5924 231 231 0 9249 0 vsize: 37920 [startup+230.108 s] Raw data (loadavg): 1.00 1.00 0.76 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6111 0 0 0 22983 25 0 0 25 0 1 0 440002767 38969344 5961 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9514 5961 231 231 0 9283 0 vsize: 38056 [startup+240.109 s] Raw data (loadavg): 1.00 1.00 0.77 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6135 0 0 0 23983 26 0 0 25 0 1 0 440002767 39108608 5985 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9548 5985 231 231 0 9317 0 vsize: 38192 [startup+250.108 s] Raw data (loadavg): 1.00 1.00 0.77 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6145 0 0 0 24983 26 0 0 25 0 1 0 440002767 39108608 5995 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9548 5995 231 231 0 9317 0 vsize: 38192 [startup+260.109 s] Raw data (loadavg): 1.00 1.00 0.77 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6147 0 0 0 25982 27 0 0 25 0 1 0 440002767 39108608 5997 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9548 5997 231 231 0 9317 0 vsize: 38192 [startup+270.109 s] Raw data (loadavg): 1.00 1.00 0.77 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6154 0 0 0 26981 28 0 0 25 0 1 0 440002767 39108608 6004 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9548 6004 231 231 0 9317 0 vsize: 38192 [startup+280.109 s] Raw data (loadavg): 1.00 1.00 0.77 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6156 0 0 0 27981 28 0 0 25 0 1 0 440002767 39108608 6006 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9548 6006 231 231 0 9317 0 vsize: 38192 [startup+290.11 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6157 0 0 0 28981 28 0 0 25 0 1 0 440002767 39108608 6007 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9548 6007 231 231 0 9317 0 vsize: 38192 [startup+300.109 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6163 0 0 0 29981 28 0 0 25 0 1 0 440002767 39108608 6013 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9548 6013 231 231 0 9317 0 vsize: 38192 [startup+310.11 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6164 0 0 0 30980 29 0 0 25 0 1 0 440002767 39108608 6014 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9548 6014 231 231 0 9317 0 vsize: 38192 [startup+320.11 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 17921 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6166 0 0 0 31980 29 0 0 25 0 1 0 440002767 39108608 6016 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9548 6016 231 231 0 9317 0 vsize: 38192 [startup+330.111 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6184 0 0 0 32979 30 0 0 25 0 1 0 440002767 39243776 6034 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9581 6034 231 231 0 9350 0 vsize: 38324 [startup+340.112 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6199 0 0 0 33979 30 0 0 25 0 1 0 440002767 39243776 6049 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9581 6049 231 231 0 9350 0 vsize: 38324 [startup+350.112 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6203 0 0 0 34979 31 0 0 25 0 1 0 440002767 39243776 6053 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9581 6053 231 231 0 9350 0 vsize: 38324 [startup+360.113 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6204 0 0 0 35979 31 0 0 25 0 1 0 440002767 39243776 6054 4294967295 134512640 135450300 3221224640 3221223456 134546472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9581 6054 231 231 0 9350 0 vsize: 38324 [startup+370.113 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6208 0 0 0 36979 31 0 0 25 0 1 0 440002767 39243776 6058 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9581 6058 231 231 0 9350 0 vsize: 38324 [startup+380.113 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6209 0 0 0 37978 31 0 0 25 0 1 0 440002767 39243776 6059 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9581 6059 231 231 0 9350 0 vsize: 38324 [startup+390.113 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6220 0 0 0 38978 32 0 0 25 0 1 0 440002767 39243776 6070 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9581 6070 231 231 0 9350 0 vsize: 38324 [startup+400.114 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6287 0 0 0 39977 33 0 0 25 0 1 0 440002767 39518208 6137 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9648 6137 231 231 0 9417 0 vsize: 38592 [startup+410.115 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6289 0 0 0 40977 34 0 0 25 0 1 0 440002767 39518208 6139 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9648 6139 231 231 0 9417 0 vsize: 38592 [startup+420.115 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6290 0 0 0 41976 34 0 0 25 0 1 0 440002767 39518208 6140 4294967295 134512640 135450300 3221224640 3221223360 134535501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9648 6140 231 231 0 9417 0 vsize: 38592 [startup+430.115 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6318 0 0 0 42976 34 0 0 25 0 1 0 440002767 39518208 6168 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9648 6168 231 231 0 9417 0 vsize: 38592 [startup+440.115 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6414 0 0 0 43976 35 0 0 25 0 1 0 440002767 39657472 6264 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9682 6264 231 231 0 9451 0 vsize: 38728 [startup+450.115 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6507 0 0 0 44975 35 0 0 25 0 1 0 440002767 39657472 6357 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9682 6357 231 231 0 9451 0 vsize: 38728 [startup+460.116 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6572 0 0 0 45975 36 0 0 25 0 1 0 440002767 39792640 6422 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9715 6422 231 231 0 9484 0 vsize: 38860 [startup+470.117 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6574 0 0 0 46975 37 0 0 25 0 1 0 440002767 39792640 6424 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9715 6424 231 231 0 9484 0 vsize: 38860 [startup+480.116 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6603 0 0 0 47974 37 0 0 25 0 1 0 440002767 39792640 6453 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9715 6453 231 231 0 9484 0 vsize: 38860 [startup+490.117 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6630 0 0 0 48974 37 0 0 25 0 1 0 440002767 39936000 6480 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9750 6480 231 231 0 9519 0 vsize: 39000 [startup+500.118 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6632 0 0 0 49975 37 0 0 25 0 1 0 440002767 39936000 6482 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9750 6482 231 231 0 9519 0 vsize: 39000 [startup+510.119 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6639 0 0 0 50975 37 0 0 25 0 1 0 440002767 39936000 6489 4294967295 134512640 135450300 3221224640 3221223360 134535689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9750 6489 231 231 0 9519 0 vsize: 39000 [startup+520.119 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6641 0 0 0 51975 37 0 0 25 0 1 0 440002767 39936000 6491 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9750 6491 231 231 0 9519 0 vsize: 39000 [startup+530.118 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6706 0 0 0 52975 37 0 0 25 0 1 0 440002767 40075264 6556 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9784 6556 231 231 0 9553 0 vsize: 39136 [startup+540.119 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6957 0 0 0 53974 38 0 0 25 0 1 0 440002767 40210432 6807 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9817 6807 231 231 0 9586 0 vsize: 39268 [startup+550.119 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6968 0 0 0 54974 39 0 0 25 0 1 0 440002767 40210432 6818 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9817 6818 231 231 0 9586 0 vsize: 39268 [startup+560.12 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6976 0 0 0 55974 39 0 0 25 0 1 0 440002767 40210432 6826 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9817 6826 231 231 0 9586 0 vsize: 39268 [startup+570.12 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6984 0 0 0 56975 39 0 0 25 0 1 0 440002767 40210432 6834 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9817 6834 231 231 0 9586 0 vsize: 39268 [startup+580.121 s] Raw data (loadavg): 1.00 1.00 0.83 3/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6985 0 0 0 57975 39 0 0 25 0 1 0 440002767 40210432 6835 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9817 6835 231 231 0 9586 0 vsize: 39268 [startup+590.121 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 6986 0 0 0 58975 39 0 0 25 0 1 0 440002767 40210432 6836 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9817 6836 231 231 0 9586 0 vsize: 39268 [startup+600.121 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7018 0 0 0 59975 39 0 0 25 0 1 0 440002767 40345600 6868 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9850 6868 231 231 0 9619 0 vsize: 39400 [startup+610.122 s] Raw data (loadavg): 1.00 1.00 0.83 3/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7024 0 0 0 60975 39 0 0 25 0 1 0 440002767 40345600 6874 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9850 6874 231 231 0 9619 0 vsize: 39400 [startup+620.122 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7025 0 0 0 61975 39 0 0 25 0 1 0 440002767 40345600 6875 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9850 6875 231 231 0 9619 0 vsize: 39400 [startup+630.122 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7152 0 0 0 62975 40 0 0 25 0 1 0 440002767 40640512 7002 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9922 7002 231 231 0 9691 0 vsize: 39688 [startup+640.123 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7449 0 0 0 63975 40 0 0 25 0 1 0 440002767 41574400 7106 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10150 7106 231 231 0 9919 0 vsize: 40600 [startup+650.123 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7452 0 0 0 64975 40 0 0 25 0 1 0 440002767 41574400 7109 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10150 7109 231 231 0 9919 0 vsize: 40600 [startup+660.124 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7457 0 0 0 65975 40 0 0 25 0 1 0 440002767 41574400 7114 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10150 7114 231 231 0 9919 0 vsize: 40600 [startup+670.124 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7459 0 0 0 66975 40 0 0 25 0 1 0 440002767 41574400 7116 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10150 7116 231 231 0 9919 0 vsize: 40600 [startup+680.124 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7460 0 0 0 67975 40 0 0 25 0 1 0 440002767 41574400 7117 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10150 7117 231 231 0 9919 0 vsize: 40600 [startup+690.125 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7520 0 0 0 68975 40 0 0 25 0 1 0 440002767 41574400 7177 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10150 7177 231 231 0 9919 0 vsize: 40600 [startup+700.125 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7680 0 0 0 69975 41 0 0 25 0 1 0 440002767 41721856 7337 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10186 7337 231 231 0 9955 0 vsize: 40744 [startup+710.126 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7681 0 0 0 70975 41 0 0 25 0 1 0 440002767 41721856 7338 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10186 7338 231 231 0 9955 0 vsize: 40744 [startup+720.126 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7682 0 0 0 71975 42 0 0 25 0 1 0 440002767 41721856 7339 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10186 7339 231 231 0 9955 0 vsize: 40744 [startup+730.126 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7693 0 0 0 72975 42 0 0 25 0 1 0 440002767 41721856 7350 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10186 7350 231 231 0 9955 0 vsize: 40744 [startup+740.127 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7707 0 0 0 73975 42 0 0 25 0 1 0 440002767 41721856 7364 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10186 7364 231 231 0 9955 0 vsize: 40744 [startup+750.127 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7719 0 0 0 74974 43 0 0 25 0 1 0 440002767 41869312 7376 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10222 7376 231 231 0 9991 0 vsize: 40888 [startup+760.128 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7796 0 0 0 75974 43 0 0 25 0 1 0 440002767 41869312 7453 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10222 7453 231 231 0 9991 0 vsize: 40888 [startup+770.128 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 7887 0 0 0 76974 43 0 0 25 0 1 0 440002767 41869312 7544 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10222 7544 231 231 0 9991 0 vsize: 40888 [startup+780.128 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8199 0 0 0 77973 44 0 0 25 0 1 0 440002767 41869312 7856 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10222 7856 231 231 0 9991 0 vsize: 40888 [startup+790.129 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8223 0 0 0 78973 44 0 0 25 0 1 0 440002767 41869312 7880 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10222 7880 231 231 0 9991 0 vsize: 40888 [startup+800.129 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8224 0 0 0 79974 44 0 0 25 0 1 0 440002767 41869312 7881 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10222 7881 231 231 0 9991 0 vsize: 40888 [startup+810.129 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8226 0 0 0 80974 44 0 0 25 0 1 0 440002767 41869312 7883 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10222 7883 231 231 0 9991 0 vsize: 40888 [startup+820.13 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8234 0 0 0 81974 44 0 0 25 0 1 0 440002767 41869312 7891 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10222 7891 231 231 0 9991 0 vsize: 40888 [startup+830.129 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8236 0 0 0 82974 44 0 0 25 0 1 0 440002767 41869312 7893 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10222 7893 231 231 0 9991 0 vsize: 40888 [startup+840.13 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8246 0 0 0 83974 44 0 0 25 0 1 0 440002767 41869312 7903 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10222 7903 231 231 0 9991 0 vsize: 40888 [startup+850.131 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8255 0 0 0 84974 44 0 0 25 0 1 0 440002767 41869312 7912 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10222 7912 231 231 0 9991 0 vsize: 40888 [startup+860.131 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8275 0 0 0 85974 45 0 0 25 0 1 0 440002767 42008576 7932 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10256 7932 231 231 0 10025 0 vsize: 41024 [startup+870.131 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8277 0 0 0 86974 45 0 0 25 0 1 0 440002767 42008576 7934 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10256 7934 231 231 0 10025 0 vsize: 41024 [startup+880.131 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8278 0 0 0 87974 45 0 0 25 0 1 0 440002767 42008576 7935 4294967295 134512640 135450300 3221224640 3221223456 134536425 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10256 7935 231 231 0 10025 0 vsize: 41024 [startup+890.132 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8282 0 0 0 88975 45 0 0 25 0 1 0 440002767 42008576 7939 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10256 7939 231 231 0 10025 0 vsize: 41024 [startup+900.131 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8284 0 0 0 89975 45 0 0 25 0 1 0 440002767 42008576 7941 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10256 7941 231 231 0 10025 0 vsize: 41024 [startup+910.132 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8295 0 0 0 90975 45 0 0 25 0 1 0 440002767 42008576 7952 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10256 7952 231 231 0 10025 0 vsize: 41024 [startup+920.133 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8300 0 0 0 91975 45 0 0 25 0 1 0 440002767 42008576 7957 4294967295 134512640 135450300 3221224640 3221223472 134549373 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10256 7957 231 231 0 10025 0 vsize: 41024 [startup+930.133 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8302 0 0 0 92975 45 0 0 25 0 1 0 440002767 42008576 7959 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10256 7959 231 231 0 10025 0 vsize: 41024 [startup+940.134 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8321 0 0 0 93975 46 0 0 25 0 1 0 440002767 42151936 7978 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10291 7978 231 231 0 10060 0 vsize: 41164 [startup+950.134 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8351 0 0 0 94974 47 0 0 25 0 1 0 440002767 42315776 8008 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8008 231 231 0 10100 0 vsize: 41324 [startup+960.135 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8357 0 0 0 95974 47 0 0 25 0 1 0 440002767 42315776 8014 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8014 231 231 0 10100 0 vsize: 41324 [startup+970.135 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8375 0 0 0 96974 47 0 0 25 0 1 0 440002767 42315776 8032 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8032 231 231 0 10100 0 vsize: 41324 [startup+980.135 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8462 0 0 0 97974 47 0 0 25 0 1 0 440002767 42315776 8119 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8119 231 231 0 10100 0 vsize: 41324 [startup+990.136 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8490 0 0 0 98975 47 0 0 25 0 1 0 440002767 42315776 8147 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8147 231 231 0 10100 0 vsize: 41324 [startup+1000.14 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8491 0 0 0 99975 47 0 0 25 0 1 0 440002767 42315776 8148 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8148 231 231 0 10100 0 vsize: 41324 [startup+1010.14 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8492 0 0 0 100975 47 0 0 25 0 1 0 440002767 42315776 8149 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8149 231 231 0 10100 0 vsize: 41324 [startup+1020.14 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8502 0 0 0 101975 47 0 0 25 0 1 0 440002767 42315776 8159 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8159 231 231 0 10100 0 vsize: 41324 [startup+1030.14 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8503 0 0 0 102975 47 0 0 25 0 1 0 440002767 42315776 8160 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8160 231 231 0 10100 0 vsize: 41324 [startup+1040.14 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8505 0 0 0 103975 47 0 0 25 0 1 0 440002767 42315776 8162 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8162 231 231 0 10100 0 vsize: 41324 [startup+1050.14 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8513 0 0 0 104975 47 0 0 25 0 1 0 440002767 42315776 8170 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8170 231 231 0 10100 0 vsize: 41324 [startup+1060.14 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8514 0 0 0 105975 48 0 0 25 0 1 0 440002767 42315776 8171 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8171 231 231 0 10100 0 vsize: 41324 [startup+1070.14 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8516 0 0 0 106976 48 0 0 25 0 1 0 440002767 42315776 8173 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8173 231 231 0 10100 0 vsize: 41324 [startup+1080.14 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8532 0 0 0 107975 48 0 0 25 0 1 0 440002767 42463232 8189 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10367 8189 231 231 0 10136 0 vsize: 41468 [startup+1090.14 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8533 0 0 0 108976 48 0 0 25 0 1 0 440002767 42463232 8190 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10367 8190 231 231 0 10136 0 vsize: 41468 [startup+1100.14 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8591 0 0 0 109975 48 0 0 25 0 1 0 440002767 42463232 8248 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10367 8248 231 231 0 10136 0 vsize: 41468 [startup+1110.14 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8755 0 0 0 110975 49 0 0 25 0 1 0 440002767 42463232 8412 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10367 8412 231 231 0 10136 0 vsize: 41468 [startup+1120.14 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8773 0 0 0 111975 49 0 0 25 0 1 0 440002767 42463232 8430 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10367 8430 231 231 0 10136 0 vsize: 41468 [startup+1130.14 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8774 0 0 0 112975 49 0 0 25 0 1 0 440002767 42463232 8431 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10367 8431 231 231 0 10136 0 vsize: 41468 [startup+1140.14 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8788 0 0 0 113975 50 0 0 25 0 1 0 440002767 42618880 8445 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10405 8445 231 231 0 10174 0 vsize: 41620 [startup+1150.14 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8801 0 0 0 114975 50 0 0 25 0 1 0 440002767 42618880 8458 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10405 8458 231 231 0 10174 0 vsize: 41620 [startup+1160.14 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8803 0 0 0 115975 50 0 0 25 0 1 0 440002767 42618880 8460 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10405 8460 231 231 0 10174 0 vsize: 41620 [startup+1170.14 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8804 0 0 0 116976 50 0 0 25 0 1 0 440002767 42618880 8461 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10405 8461 231 231 0 10174 0 vsize: 41620 [startup+1180.14 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8823 0 0 0 117976 50 0 0 25 0 1 0 440002767 42618880 8480 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10405 8480 231 231 0 10174 0 vsize: 41620 [startup+1190.14 s] Raw data (loadavg): 1.00 1.00 0.89 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8824 0 0 0 118976 50 0 0 25 0 1 0 440002767 42618880 8481 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10405 8481 231 231 0 10174 0 vsize: 41620 [startup+1200.14 s] Raw data (loadavg): 1.00 1.00 0.89 2/54 17923 Raw data (stat): 17919 (PBS4) R 17918 26667 26666 0 -1 0 8853 0 0 0 119976 50 0 0 25 0 1 0 440002767 42618880 8510 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10405 8510 231 231 0 10174 0 vsize: 41620 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.16 s] Raw data (loadavg): 1.00 1.00 0.89 1/54 17923 Raw data (stat): 17919 (PBS4) Z 17918 26667 26666 0 -1 1036 8853 0 0 0 119976 52 0 0 25 0 1 0 440002767 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.16 CPU time (s): 1200.28 CPU user time (s): 1199.76 CPU system time (s): 0.52292 CPU usage (%): 100.01 Max. virtual memory (Kb): 41620 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####