Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb |
MD5SUM | 3d2c3109962e8068c6ff1a393a02942b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2666 |
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 | 2666 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2666 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2666 |
Total number of constraints | 6659 |
Number of constraints which are clauses | 6659 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-04-17 16:23:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1878 boxname=wulflinc31 idbench=209 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 3d2c3109962e8068c6ff1a393a02942b /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb IDLAUNCH: 1878 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 852428 kB Buffers: 37460 kB Cached: 105016 kB SwapCached: 392 kB Active: 75956 kB Inactive: 69736 kB HighTotal: 131008 kB HighFree: 22176 kB LowTotal: 903652 kB LowFree: 830252 kB SwapTotal: 2097892 kB SwapFree: 2097452 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6840 kB Slab: 30984 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 16:43:23 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 1878 7 1200.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.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.86 0.88 0.84 2/54 17470 Raw data (stat): 17470 (runsolver) R 17469 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511912552 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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.0003 s] Raw data (loadavg): 0.88 0.88 0.84 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 429 0 0 0 998 1 0 0 25 0 1 0 511912552 2428928 418 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 593 418 231 231 0 362 0 vsize: 2372 [startup+20.0014 s] Raw data (loadavg): 0.90 0.88 0.84 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 456 0 0 0 1997 1 0 0 25 0 1 0 511912552 2691072 445 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 657 445 231 231 0 426 0 vsize: 2628 [startup+30.0014 s] Raw data (loadavg): 0.91 0.89 0.84 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 493 0 0 0 2998 1 0 0 25 0 1 0 511912552 2691072 482 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 657 482 231 231 0 426 0 vsize: 2628 [startup+40.002 s] Raw data (loadavg): 0.93 0.89 0.85 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 520 0 0 0 3998 1 0 0 25 0 1 0 511912552 3215360 509 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 785 509 231 231 0 554 0 vsize: 3140 [startup+50.0019 s] Raw data (loadavg): 0.94 0.89 0.85 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 551 0 0 0 4998 1 0 0 25 0 1 0 511912552 3350528 540 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 818 540 231 231 0 587 0 vsize: 3272 [startup+60.0031 s] Raw data (loadavg): 0.95 0.90 0.85 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 631 0 0 0 5998 1 0 0 25 0 1 0 511912552 3547136 571 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 866 571 231 231 0 635 0 vsize: 3464 [startup+70.0037 s] Raw data (loadavg): 0.95 0.90 0.85 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 660 0 0 0 6998 1 0 0 25 0 1 0 511912552 3547136 600 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 866 600 231 231 0 635 0 vsize: 3464 [startup+80.0039 s] Raw data (loadavg): 0.96 0.90 0.85 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 688 0 0 0 7998 2 0 0 25 0 1 0 511912552 3547136 628 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 866 628 231 231 0 635 0 vsize: 3464 [startup+90.0049 s] Raw data (loadavg): 0.97 0.90 0.85 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 709 0 0 0 8998 2 0 0 25 0 1 0 511912552 3547136 649 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 866 649 231 231 0 635 0 vsize: 3464 [startup+100.005 s] Raw data (loadavg): 0.97 0.91 0.85 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 730 0 0 0 9998 2 0 0 25 0 1 0 511912552 3547136 670 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 866 670 231 231 0 635 0 vsize: 3464 [startup+110.005 s] Raw data (loadavg): 0.97 0.91 0.85 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 777 0 0 0 10998 2 0 0 25 0 1 0 511912552 4734976 717 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1156 717 231 231 0 925 0 vsize: 4624 [startup+120.007 s] Raw data (loadavg): 0.98 0.91 0.85 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 844 0 0 0 11998 2 0 0 25 0 1 0 511912552 4734976 784 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1156 784 231 231 0 925 0 vsize: 4624 [startup+130.006 s] Raw data (loadavg): 0.98 0.91 0.85 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 884 0 0 0 12998 3 0 0 25 0 1 0 511912552 4857856 824 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1186 824 231 231 0 955 0 vsize: 4744 [startup+140.007 s] Raw data (loadavg): 0.98 0.92 0.86 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 912 0 0 0 13998 3 0 0 25 0 1 0 511912552 4857856 852 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1186 852 231 231 0 955 0 vsize: 4744 [startup+150.008 s] Raw data (loadavg): 0.99 0.92 0.86 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 949 0 0 0 14998 3 0 0 25 0 1 0 511912552 4857856 889 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1186 889 231 231 0 955 0 vsize: 4744 [startup+160.009 s] Raw data (loadavg): 0.99 0.92 0.86 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 998 0 0 0 15998 3 0 0 25 0 1 0 511912552 4997120 938 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1220 938 231 231 0 989 0 vsize: 4880 [startup+170.009 s] Raw data (loadavg): 0.99 0.92 0.86 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1035 0 0 0 16998 3 0 0 25 0 1 0 511912552 4997120 975 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1220 975 231 231 0 989 0 vsize: 4880 [startup+180.009 s] Raw data (loadavg): 0.99 0.92 0.86 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1037 0 0 0 17998 3 0 0 25 0 1 0 511912552 4997120 977 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1220 977 231 231 0 989 0 vsize: 4880 [startup+190.01 s] Raw data (loadavg): 0.99 0.93 0.86 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1067 0 0 0 18998 3 0 0 25 0 1 0 511912552 4997120 1007 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1220 1007 231 231 0 989 0 vsize: 4880 [startup+200.01 s] Raw data (loadavg): 0.99 0.93 0.86 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1088 0 0 0 19998 4 0 0 25 0 1 0 511912552 4997120 1028 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1220 1028 231 231 0 989 0 vsize: 4880 [startup+210.011 s] Raw data (loadavg): 0.99 0.93 0.86 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1114 0 0 0 20999 4 0 0 25 0 1 0 511912552 5136384 1054 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1254 1054 231 231 0 1023 0 vsize: 5016 [startup+220.011 s] Raw data (loadavg): 0.99 0.93 0.86 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1143 0 0 0 21998 4 0 0 25 0 1 0 511912552 7233536 1083 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1766 1083 231 231 0 1535 0 vsize: 7064 [startup+230.01 s] Raw data (loadavg): 0.99 0.93 0.86 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1178 0 0 0 22999 4 0 0 25 0 1 0 511912552 7233536 1118 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1766 1118 231 231 0 1535 0 vsize: 7064 [startup+240.012 s] Raw data (loadavg): 0.99 0.94 0.87 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1213 0 0 0 23999 4 0 0 25 0 1 0 511912552 7233536 1153 4294967295 134512640 135450300 3221224640 3221223504 134539119 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1766 1153 231 231 0 1535 0 vsize: 7064 [startup+250.011 s] Raw data (loadavg): 0.99 0.94 0.87 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1255 0 0 0 24999 4 0 0 25 0 1 0 511912552 7233536 1195 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1766 1195 231 231 0 1535 0 vsize: 7064 [startup+260.012 s] Raw data (loadavg): 0.99 0.94 0.87 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1296 0 0 0 25999 4 0 0 25 0 1 0 511912552 7368704 1236 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1799 1236 231 231 0 1568 0 vsize: 7196 [startup+270.013 s] Raw data (loadavg): 0.99 0.94 0.87 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1322 0 0 0 26999 4 0 0 25 0 1 0 511912552 7368704 1262 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1799 1262 231 231 0 1568 0 vsize: 7196 [startup+280.013 s] Raw data (loadavg): 0.99 0.94 0.87 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1349 0 0 0 27999 5 0 0 25 0 1 0 511912552 7368704 1289 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1799 1289 231 231 0 1568 0 vsize: 7196 [startup+290.013 s] Raw data (loadavg): 0.99 0.94 0.87 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1359 0 0 0 28999 5 0 0 25 0 1 0 511912552 7368704 1299 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1799 1299 231 231 0 1568 0 vsize: 7196 [startup+300.013 s] Raw data (loadavg): 0.99 0.94 0.87 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1395 0 0 0 29999 5 0 0 25 0 1 0 511912552 7368704 1335 4294967295 134512640 135450300 3221224640 3221223248 134537667 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1799 1335 231 231 0 1568 0 vsize: 7196 [startup+310.014 s] Raw data (loadavg): 0.99 0.95 0.87 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1426 0 0 0 30999 6 0 0 25 0 1 0 511912552 7503872 1366 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1832 1366 231 231 0 1601 0 vsize: 7328 [startup+320.014 s] Raw data (loadavg): 0.99 0.95 0.87 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1466 0 0 0 31999 6 0 0 25 0 1 0 511912552 7503872 1406 4294967295 134512640 135450300 3221224640 3221222992 134533233 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1832 1406 231 231 0 1601 0 vsize: 7328 [startup+330.014 s] Raw data (loadavg): 0.99 0.95 0.87 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1606 0 0 0 32998 6 0 0 25 0 1 0 511912552 7897088 1449 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1928 1449 231 231 0 1697 0 vsize: 7712 [startup+340.014 s] Raw data (loadavg): 0.99 0.95 0.87 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1632 0 0 0 33999 6 0 0 25 0 1 0 511912552 7897088 1475 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1928 1475 231 231 0 1697 0 vsize: 7712 [startup+350.014 s] Raw data (loadavg): 0.99 0.95 0.88 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1662 0 0 0 34999 6 0 0 25 0 1 0 511912552 7897088 1505 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1928 1505 231 231 0 1697 0 vsize: 7712 [startup+360.016 s] Raw data (loadavg): 0.99 0.95 0.88 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1704 0 0 0 35999 6 0 0 25 0 1 0 511912552 8011776 1547 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1956 1547 231 231 0 1725 0 vsize: 7824 [startup+370.015 s] Raw data (loadavg): 0.99 0.95 0.88 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1731 0 0 0 36998 7 0 0 25 0 1 0 511912552 8011776 1574 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1956 1574 231 231 0 1725 0 vsize: 7824 [startup+380.015 s] Raw data (loadavg): 0.99 0.95 0.88 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1769 0 0 0 37999 7 0 0 25 0 1 0 511912552 8011776 1612 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1956 1612 231 231 0 1725 0 vsize: 7824 [startup+390.016 s] Raw data (loadavg): 0.99 0.95 0.88 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1793 0 0 0 38999 7 0 0 25 0 1 0 511912552 8011776 1636 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1956 1636 231 231 0 1725 0 vsize: 7824 [startup+400.016 s] Raw data (loadavg): 0.99 0.95 0.88 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1823 0 0 0 39999 7 0 0 25 0 1 0 511912552 8011776 1666 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1956 1666 231 231 0 1725 0 vsize: 7824 [startup+410.017 s] Raw data (loadavg): 0.99 0.96 0.88 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1825 0 0 0 40999 7 0 0 25 0 1 0 511912552 8011776 1668 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1956 1668 231 231 0 1725 0 vsize: 7824 [startup+420.018 s] Raw data (loadavg): 0.99 0.96 0.88 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1834 0 0 0 41999 7 0 0 25 0 1 0 511912552 8138752 1677 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1987 1677 231 231 0 1756 0 vsize: 7948 [startup+430.018 s] Raw data (loadavg): 0.99 0.96 0.88 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1838 0 0 0 42999 7 0 0 25 0 1 0 511912552 8138752 1681 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1987 1681 231 231 0 1756 0 vsize: 7948 [startup+440.018 s] Raw data (loadavg): 0.99 0.96 0.88 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1840 0 0 0 43999 8 0 0 25 0 1 0 511912552 8138752 1683 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1987 1683 231 231 0 1756 0 vsize: 7948 [startup+450.018 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1850 0 0 0 44999 8 0 0 25 0 1 0 511912552 8138752 1693 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1987 1693 231 231 0 1756 0 vsize: 7948 [startup+460.019 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1853 0 0 0 45999 8 0 0 25 0 1 0 511912552 8138752 1696 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1987 1696 231 231 0 1756 0 vsize: 7948 [startup+470.018 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1868 0 0 0 47000 8 0 0 25 0 1 0 511912552 8138752 1711 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1987 1711 231 231 0 1756 0 vsize: 7948 [startup+480.018 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1898 0 0 0 48000 8 0 0 25 0 1 0 511912552 8138752 1741 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1987 1741 231 231 0 1756 0 vsize: 7948 [startup+490.019 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1932 0 0 0 49000 8 0 0 25 0 1 0 511912552 8138752 1775 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1987 1775 231 231 0 1756 0 vsize: 7948 [startup+500.019 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 1971 0 0 0 50000 8 0 0 25 0 1 0 511912552 12455936 1814 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3041 1814 231 231 0 2810 0 vsize: 12164 [startup+510.02 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2003 0 0 0 51000 8 0 0 25 0 1 0 511912552 12455936 1846 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3041 1846 231 231 0 2810 0 vsize: 12164 [startup+520.02 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2026 0 0 0 52000 8 0 0 25 0 1 0 511912552 12455936 1869 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3041 1869 231 231 0 2810 0 vsize: 12164 [startup+530.02 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2029 0 0 0 53000 8 0 0 25 0 1 0 511912552 12455936 1872 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3041 1872 231 231 0 2810 0 vsize: 12164 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2037 0 0 0 54000 8 0 0 25 0 1 0 511912552 12455936 1880 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3041 1880 231 231 0 2810 0 vsize: 12164 [startup+550.02 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2041 0 0 0 55000 8 0 0 25 0 1 0 511912552 12455936 1884 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3041 1884 231 231 0 2810 0 vsize: 12164 [startup+560.021 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2055 0 0 0 56000 9 0 0 25 0 1 0 511912552 12582912 1898 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3072 1898 231 231 0 2841 0 vsize: 12288 [startup+570.021 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2082 0 0 0 57000 9 0 0 25 0 1 0 511912552 12582912 1925 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3072 1925 231 231 0 2841 0 vsize: 12288 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2130 0 0 0 58000 9 0 0 25 0 1 0 511912552 12582912 1973 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3072 1973 231 231 0 2841 0 vsize: 12288 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2162 0 0 0 59000 10 0 0 25 0 1 0 511912552 12582912 2005 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3072 2005 231 231 0 2841 0 vsize: 12288 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2200 0 0 0 59999 10 0 0 25 0 1 0 511912552 12582912 2043 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3072 2043 231 231 0 2841 0 vsize: 12288 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2233 0 0 0 61000 10 0 0 25 0 1 0 511912552 12582912 2076 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3072 2076 231 231 0 2841 0 vsize: 12288 [startup+620.021 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2255 0 0 0 62000 10 0 0 25 0 1 0 511912552 12746752 2098 4294967295 134512640 135450300 3221224640 3221223364 134538169 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 2098 231 231 0 2881 0 vsize: 12448 [startup+630.021 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2257 0 0 0 63000 10 0 0 25 0 1 0 511912552 12746752 2100 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 2100 231 231 0 2881 0 vsize: 12448 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2263 0 0 0 64000 10 0 0 25 0 1 0 511912552 12746752 2106 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 2106 231 231 0 2881 0 vsize: 12448 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2265 0 0 0 65000 10 0 0 25 0 1 0 511912552 12746752 2108 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 2108 231 231 0 2881 0 vsize: 12448 [startup+660.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2289 0 0 0 66000 11 0 0 25 0 1 0 511912552 12746752 2132 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 2132 231 231 0 2881 0 vsize: 12448 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2324 0 0 0 67000 11 0 0 25 0 1 0 511912552 12746752 2167 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 2167 231 231 0 2881 0 vsize: 12448 [startup+680.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2360 0 0 0 68000 11 0 0 25 0 1 0 511912552 12746752 2203 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 2203 231 231 0 2881 0 vsize: 12448 [startup+690.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2386 0 0 0 69000 11 0 0 25 0 1 0 511912552 12746752 2229 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 2229 231 231 0 2881 0 vsize: 12448 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2421 0 0 0 70000 11 0 0 25 0 1 0 511912552 12746752 2264 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 2264 231 231 0 2881 0 vsize: 12448 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2470 0 0 0 71000 12 0 0 25 0 1 0 511912552 12746752 2313 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 2313 231 231 0 2881 0 vsize: 12448 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2505 0 0 0 72000 12 0 0 25 0 1 0 511912552 12890112 2348 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3147 2348 231 231 0 2916 0 vsize: 12588 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2507 0 0 0 73000 12 0 0 25 0 1 0 511912552 12890112 2350 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3147 2350 231 231 0 2916 0 vsize: 12588 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2523 0 0 0 74000 12 0 0 25 0 1 0 511912552 12890112 2366 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3147 2366 231 231 0 2916 0 vsize: 12588 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2557 0 0 0 75000 12 0 0 25 0 1 0 511912552 12890112 2400 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3147 2400 231 231 0 2916 0 vsize: 12588 [startup+760.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2596 0 0 0 76000 13 0 0 25 0 1 0 511912552 12890112 2439 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3147 2439 231 231 0 2916 0 vsize: 12588 [startup+770.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2633 0 0 0 77000 13 0 0 25 0 1 0 511912552 12890112 2476 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3147 2476 231 231 0 2916 0 vsize: 12588 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2679 0 0 0 78000 13 0 0 25 0 1 0 511912552 13008896 2522 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3176 2522 231 231 0 2945 0 vsize: 12704 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2726 0 0 0 78999 14 0 0 25 0 1 0 511912552 13008896 2569 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3176 2569 231 231 0 2945 0 vsize: 12704 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2771 0 0 0 79999 14 0 0 25 0 1 0 511912552 13008896 2614 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3176 2614 231 231 0 2945 0 vsize: 12704 [startup+810.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2808 0 0 0 80999 14 0 0 25 0 1 0 511912552 13008896 2651 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3176 2651 231 231 0 2945 0 vsize: 12704 [startup+820.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 2844 0 0 0 81999 15 0 0 25 0 1 0 511912552 13008896 2687 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3176 2687 231 231 0 2945 0 vsize: 12704 [startup+830.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3044 0 0 0 82999 15 0 0 25 0 1 0 511912552 13946880 2694 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3405 2694 231 231 0 3174 0 vsize: 13620 [startup+840.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3055 0 0 0 83999 15 0 0 25 0 1 0 511912552 13946880 2705 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3405 2705 231 231 0 3174 0 vsize: 13620 [startup+850.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3057 0 0 0 84999 15 0 0 25 0 1 0 511912552 13946880 2707 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3405 2707 231 231 0 3174 0 vsize: 13620 [startup+860.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3068 0 0 0 85999 15 0 0 25 0 1 0 511912552 13946880 2718 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3405 2718 231 231 0 3174 0 vsize: 13620 [startup+870.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3075 0 0 0 86999 15 0 0 25 0 1 0 511912552 13946880 2725 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3405 2725 231 231 0 3174 0 vsize: 13620 [startup+880.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3097 0 0 0 87999 15 0 0 25 0 1 0 511912552 14073856 2747 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3436 2747 231 231 0 3205 0 vsize: 13744 [startup+890.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3138 0 0 0 88999 16 0 0 25 0 1 0 511912552 14073856 2788 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3436 2788 231 231 0 3205 0 vsize: 13744 [startup+900.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3185 0 0 0 89999 16 0 0 25 0 1 0 511912552 14073856 2835 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3436 2835 231 231 0 3205 0 vsize: 13744 [startup+910.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3222 0 0 0 90999 16 0 0 25 0 1 0 511912552 14073856 2872 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3436 2872 231 231 0 3205 0 vsize: 13744 [startup+920.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3258 0 0 0 91999 16 0 0 25 0 1 0 511912552 14073856 2908 4294967295 134512640 135450300 3221224640 3221223456 134536525 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3436 2908 231 231 0 3205 0 vsize: 13744 [startup+930.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3262 0 0 0 92999 16 0 0 25 0 1 0 511912552 14073856 2912 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3436 2912 231 231 0 3205 0 vsize: 13744 [startup+940.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3266 0 0 0 93999 16 0 0 25 0 1 0 511912552 14073856 2916 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3436 2916 231 231 0 3205 0 vsize: 13744 [startup+950.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3279 0 0 0 94999 17 0 0 25 0 1 0 511912552 14073856 2929 4294967295 134512640 135450300 3221224640 3221223472 134549493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3436 2929 231 231 0 3205 0 vsize: 13744 [startup+960.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3283 0 0 0 95999 17 0 0 25 0 1 0 511912552 14073856 2933 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3436 2933 231 231 0 3205 0 vsize: 13744 [startup+970.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3293 0 0 0 96999 17 0 0 25 0 1 0 511912552 14196736 2943 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2943 231 231 0 3235 0 vsize: 13864 [startup+980.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3302 0 0 0 97999 17 0 0 25 0 1 0 511912552 14196736 2952 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2952 231 231 0 3235 0 vsize: 13864 [startup+990.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3323 0 0 0 98999 17 0 0 25 0 1 0 511912552 14196736 2973 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2973 231 231 0 3235 0 vsize: 13864 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3369 0 0 0 99999 18 0 0 25 0 1 0 511912552 14196736 3019 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3466 3019 231 231 0 3235 0 vsize: 13864 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3420 0 0 0 100999 18 0 0 25 0 1 0 511912552 14336000 3070 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3500 3070 231 231 0 3269 0 vsize: 14000 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3448 0 0 0 101999 18 0 0 25 0 1 0 511912552 14336000 3098 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3500 3098 231 231 0 3269 0 vsize: 14000 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3458 0 0 0 102999 18 0 0 25 0 1 0 511912552 14336000 3108 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3500 3108 231 231 0 3269 0 vsize: 14000 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3471 0 0 0 103999 19 0 0 25 0 1 0 511912552 14471168 3121 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3533 3121 231 231 0 3302 0 vsize: 14132 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3497 0 0 0 104999 19 0 0 25 0 1 0 511912552 14471168 3147 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3533 3147 231 231 0 3302 0 vsize: 14132 [startup+1060.03 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3532 0 0 0 105999 19 0 0 25 0 1 0 511912552 14471168 3182 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3533 3182 231 231 0 3302 0 vsize: 14132 [startup+1070.03 s] Raw data (loadavg): 1.14 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3584 0 0 0 106999 19 0 0 25 0 1 0 511912552 14639104 3234 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3574 3234 231 231 0 3343 0 vsize: 14296 [startup+1080.03 s] Raw data (loadavg): 1.11 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3651 0 0 0 107998 20 0 0 25 0 1 0 511912552 23158784 3301 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5654 3301 231 231 0 5423 0 vsize: 22616 [startup+1090.03 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3698 0 0 0 108998 20 0 0 25 0 1 0 511912552 23158784 3348 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5654 3348 231 231 0 5423 0 vsize: 22616 [startup+1100.03 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3720 0 0 0 109998 20 0 0 25 0 1 0 511912552 23158784 3370 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5654 3370 231 231 0 5423 0 vsize: 22616 [startup+1110.03 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3722 0 0 0 110998 21 0 0 25 0 1 0 511912552 23158784 3372 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5654 3372 231 231 0 5423 0 vsize: 22616 [startup+1120.03 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3731 0 0 0 111998 21 0 0 25 0 1 0 511912552 23158784 3381 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5654 3381 231 231 0 5423 0 vsize: 22616 [startup+1130.03 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3744 0 0 0 112998 21 0 0 25 0 1 0 511912552 23158784 3394 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5654 3394 231 231 0 5423 0 vsize: 22616 [startup+1140.03 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3746 0 0 0 113998 21 0 0 25 0 1 0 511912552 23158784 3396 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5654 3396 231 231 0 5423 0 vsize: 22616 [startup+1150.03 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3750 0 0 0 114999 21 0 0 25 0 1 0 511912552 23158784 3400 4294967295 134512640 135450300 3221224640 3221223376 134538424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5654 3400 231 231 0 5423 0 vsize: 22616 [startup+1160.03 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3752 0 0 0 115999 21 0 0 25 0 1 0 511912552 23158784 3402 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5654 3402 231 231 0 5423 0 vsize: 22616 [startup+1170.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3754 0 0 0 116999 21 0 0 25 0 1 0 511912552 23158784 3404 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5654 3404 231 231 0 5423 0 vsize: 22616 [startup+1180.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3758 0 0 0 117999 21 0 0 25 0 1 0 511912552 23158784 3408 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5654 3408 231 231 0 5423 0 vsize: 22616 [startup+1190.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3771 0 0 0 118999 21 0 0 25 0 1 0 511912552 23314432 3421 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5692 3421 231 231 0 5461 0 vsize: 22768 [startup+1200.04 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 17470 Raw data (stat): 17470 (PBS4) R 17469 23176 23175 0 -1 0 3783 0 0 0 119998 22 0 0 25 0 1 0 511912552 23314432 3433 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5692 3433 231 231 0 5461 0 vsize: 22768 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.04 s] Raw data (loadavg): 1.01 1.00 0.92 1/54 17470 Raw data (stat): 17470 (PBS4) Z 17469 23176 23175 0 -1 1036 3783 0 0 0 119999 22 0 0 25 0 1 0 511912552 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.04 CPU time (s): 1200.22 CPU user time (s): 1199.99 CPU system time (s): 0.228965 CPU usage (%): 100.015 Max. virtual memory (Kb): 22768 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####