Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb |
MD5SUM | b9c1029cc1d97a8d60e984f96f5d3267 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 788263 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 107865 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 2514082 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 107865 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 2514082 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 45.4331 |
Number of variables | 48 |
Total number of constraints | 73 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 64 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
LAUNCH ON wulflinc11 THE 2005-09-19 04:20:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4052 boxname=wulflinc11 idbench=536 idsolver=4 numberseed=0 MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938 /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: b9c1029cc1d97a8d60e984f96f5d3267 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-pipex.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-pipex.opb IDLAUNCH: 4052 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 879432 kB Buffers: 35696 kB Cached: 92296 kB SwapCached: 732 kB Active: 63964 kB Inactive: 66572 kB HighTotal: 131008 kB HighFree: 36988 kB LowTotal: 903652 kB LowFree: 842444 kB SwapTotal: 2097136 kB SwapFree: 2095856 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5716 kB Slab: 18948 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 04:33:25 (client local time) WITH STATUS 30 IN 744.068 SECONDS stats: 4052 0 744.068 30
c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-pipex.opb ...... c The optimum solution is:788263 s OPTIMUM FOUND v QUAN0101_bit0 QUAN0102_bit0 -QUAN0103_bit0 -QUAN0104_bit0 -QUAN0105_bit0 -QUAN0106_bit0 -QUAN0107_bit0 -QUAN0108_bit0 -QUAN0109_bit0 -QUAN0110_bit0 QUAN0111_bit0 -QUAN0112_bit0 QUAN0113_bit0 -QUAN0114_bit0 -QUAN0115_bit0 -QUAN0116_bit0 -QUAN0201_bit0 -QUAN0202_bit0 -QUAN0203_bit0 -QUAN0204_bit0 -QUAN0205_bit0 -QUAN0206_bit0 QUAN0207_bit0 QUAN0208_bit0 -QUAN0209_bit0 -QUAN0210_bit0 -QUAN0211_bit0 QUAN0212_bit0 -QUAN0213_bit0 QUAN0214_bit0 QUAN0215_bit0 QUAN0216_bit0 -QUAN0301_bit0 -QUAN0302_bit0 QUAN0303_bit0 QUAN0304_bit0 QUAN0305_bit0 QUAN0306_bit0 -QUAN0307_bit0 -QUAN0308_bit0 QUAN0309_bit0 QUAN0310_bit0 -QUAN0311_bit0 -QUAN0312_bit0 -QUAN0313_bit0 -QUAN0314_bit0 -QUAN0315_bit0 -QUAN0316_bit0 c Done, CPU Time=744.047
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 1788740598 978944 2 4294967295 134512640 135450776 3221224560 3221224560 134512960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/24701/statm): 239 2 232 232 0 7 0 [pid=24701] vsize: 956 open syscall for file /dev/null open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-pipex.opb open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-pipex.opb [startup+10.0027 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) T 24700 24701 9854 0 -1 0 741 0 0 0 938 23 0 0 25 0 1 0 1788740598 4186112 675 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/24701/statm): 1022 675 232 232 0 790 0 [pid=24701] vsize: 4088 Current children cumulated CPU time (s) 9.61 Current children cumulated vsize (Kb) 4088 [startup+20.0035 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) T 24700 24701 9854 0 -1 0 987 0 0 0 1912 33 0 0 25 0 1 0 1788740598 4464640 921 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/24701/statm): 1090 921 232 232 0 858 0 [pid=24701] vsize: 4360 Current children cumulated CPU time (s) 19.45 Current children cumulated vsize (Kb) 4360 [startup+30.0043 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 1276 0 0 0 2892 40 0 0 25 0 1 0 1788740598 7282688 1113 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 1778 1113 232 232 0 1546 0 [pid=24701] vsize: 7112 Current children cumulated CPU time (s) 29.32 Current children cumulated vsize (Kb) 7112 [startup+40.0041 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 1421 0 0 0 3873 48 0 0 25 0 1 0 1788740598 7446528 1258 4294967295 134512640 135450776 3221224560 3221223376 134550466 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 1818 1258 232 232 0 1586 0 [pid=24701] vsize: 7272 Current children cumulated CPU time (s) 39.21 Current children cumulated vsize (Kb) 7272 [startup+50.0049 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 1540 0 0 0 4857 54 0 0 25 0 1 0 1788740598 7446528 1377 4294967295 134512640 135450776 3221224560 3221223376 134550669 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 1818 1377 232 232 0 1586 0 [pid=24701] vsize: 7272 Current children cumulated CPU time (s) 49.11 Current children cumulated vsize (Kb) 7272 [startup+60.0047 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 1679 0 0 0 5842 60 0 0 25 0 1 0 1788740598 7610368 1516 4294967295 134512640 135450776 3221224560 3221223360 134537705 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 1858 1516 232 232 0 1626 0 [pid=24701] vsize: 7432 Current children cumulated CPU time (s) 59.02 Current children cumulated vsize (Kb) 7432 [startup+70.0065 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 1788 0 0 0 6826 67 0 0 25 0 1 0 1788740598 7774208 1625 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 1898 1625 232 232 0 1666 0 [pid=24701] vsize: 7592 Current children cumulated CPU time (s) 68.93 Current children cumulated vsize (Kb) 7592 [startup+80.0072 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 2087 0 0 0 7812 73 0 0 25 0 1 0 1788740598 8757248 1731 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 2138 1731 232 232 0 1906 0 [pid=24701] vsize: 8552 Current children cumulated CPU time (s) 78.85 Current children cumulated vsize (Kb) 8552 [startup+90.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 2189 0 0 0 8797 77 0 0 25 0 1 0 1788740598 13148160 1833 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/24701/statm): 3210 1833 232 232 0 2978 0 [pid=24701] vsize: 12840 Current children cumulated CPU time (s) 88.74 Current children cumulated vsize (Kb) 12840 [startup+100.008 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) T 24700 24701 9854 0 -1 0 2344 0 0 0 9784 83 0 0 25 0 1 0 1788740598 13508608 1988 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3298 1988 232 232 0 3066 0 [pid=24701] vsize: 13192 Current children cumulated CPU time (s) 98.67 Current children cumulated vsize (Kb) 13192 [startup+110.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 2448 0 0 0 10771 88 0 0 25 0 1 0 1788740598 13508608 2092 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3298 2092 232 232 0 3066 0 [pid=24701] vsize: 13192 Current children cumulated CPU time (s) 108.59 Current children cumulated vsize (Kb) 13192 [startup+120.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 2541 0 0 0 11759 92 0 0 25 0 1 0 1788740598 13508608 2185 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3298 2185 232 232 0 3066 0 [pid=24701] vsize: 13192 Current children cumulated CPU time (s) 118.51 Current children cumulated vsize (Kb) 13192 [startup+130.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 2618 0 0 0 12747 97 0 0 25 0 1 0 1788740598 13656064 2262 4294967295 134512640 135450776 3221224560 3221223376 134550441 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3334 2262 232 232 0 3102 0 [pid=24701] vsize: 13336 Current children cumulated CPU time (s) 128.44 Current children cumulated vsize (Kb) 13336 [startup+140.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 2710 0 0 0 13736 100 0 0 25 0 1 0 1788740598 13656064 2354 4294967295 134512640 135450776 3221224560 3221223376 134550441 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3334 2354 232 232 0 3102 0 [pid=24701] vsize: 13336 Current children cumulated CPU time (s) 138.36 Current children cumulated vsize (Kb) 13336 [startup+150.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 2767 0 0 0 14727 103 0 0 25 0 1 0 1788740598 13656064 2411 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3334 2411 232 232 0 3102 0 [pid=24701] vsize: 13336 Current children cumulated CPU time (s) 148.3 Current children cumulated vsize (Kb) 13336 [startup+160.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 2803 0 0 0 15714 108 0 0 25 0 1 0 1788740598 13852672 2447 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3382 2447 232 232 0 3150 0 [pid=24701] vsize: 13528 Current children cumulated CPU time (s) 158.22 Current children cumulated vsize (Kb) 13528 [startup+170.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 2847 0 0 0 16704 112 0 0 25 0 1 0 1788740598 13852672 2491 4294967295 134512640 135450776 3221224560 3221223360 134537405 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3382 2491 232 232 0 3150 0 [pid=24701] vsize: 13528 Current children cumulated CPU time (s) 168.16 Current children cumulated vsize (Kb) 13528 [startup+180.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 2935 0 0 0 17693 115 0 0 25 0 1 0 1788740598 14016512 2579 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3422 2579 232 232 0 3190 0 [pid=24701] vsize: 13688 Current children cumulated CPU time (s) 178.08 Current children cumulated vsize (Kb) 13688 [startup+190.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 3008 0 0 0 18682 119 0 0 25 0 1 0 1788740598 14213120 2652 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3470 2652 232 232 0 3238 0 [pid=24701] vsize: 13880 Current children cumulated CPU time (s) 188.01 Current children cumulated vsize (Kb) 13880 [startup+200.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 3073 0 0 0 19672 123 0 0 25 0 1 0 1788740598 14213120 2717 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3470 2717 232 232 0 3238 0 [pid=24701] vsize: 13880 Current children cumulated CPU time (s) 197.95 Current children cumulated vsize (Kb) 13880 [startup+210.012 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) T 24700 24701 9854 0 -1 0 3142 0 0 0 20659 127 0 0 25 0 1 0 1788740598 14618624 2786 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3569 2786 232 232 0 3337 0 [pid=24701] vsize: 14276 Current children cumulated CPU time (s) 207.86 Current children cumulated vsize (Kb) 14276 [startup+220.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 3201 0 0 0 21648 130 0 0 25 0 1 0 1788740598 14618624 2845 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3569 2845 232 232 0 3337 0 [pid=24701] vsize: 14276 Current children cumulated CPU time (s) 217.78 Current children cumulated vsize (Kb) 14276 [startup+230.013 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) T 24700 24701 9854 0 -1 0 3252 0 0 0 22641 133 0 0 25 0 1 0 1788740598 14618624 2896 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3569 2896 232 232 0 3337 0 [pid=24701] vsize: 14276 Current children cumulated CPU time (s) 227.74 Current children cumulated vsize (Kb) 14276 [startup+240.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 3338 0 0 0 23629 137 0 0 25 0 1 0 1788740598 14753792 2982 4294967295 134512640 135450776 3221224560 3221223376 134550523 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3602 2982 232 232 0 3370 0 [pid=24701] vsize: 14408 Current children cumulated CPU time (s) 237.66 Current children cumulated vsize (Kb) 14408 [startup+250.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 3409 0 0 0 24619 141 0 0 25 0 1 0 1788740598 14888960 3053 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 3635 3053 232 232 0 3403 0 [pid=24701] vsize: 14540 Current children cumulated CPU time (s) 247.6 Current children cumulated vsize (Kb) 14540 [startup+260.013 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) T 24700 24701 9854 0 -1 0 3895 0 0 0 25609 146 0 0 25 0 1 0 1788740598 16732160 3154 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/24701/statm): 4085 3154 232 232 0 3853 0 [pid=24701] vsize: 16340 Current children cumulated CPU time (s) 257.55 Current children cumulated vsize (Kb) 16340 [startup+270.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 3942 0 0 0 26600 149 0 0 25 0 1 0 1788740598 16732160 3201 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 4085 3201 232 232 0 3853 0 [pid=24701] vsize: 16340 Current children cumulated CPU time (s) 267.49 Current children cumulated vsize (Kb) 16340 [startup+280.015 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) T 24700 24701 9854 0 -1 0 4048 0 0 0 27592 151 0 0 25 0 1 0 1788740598 17137664 3307 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/24701/statm): 4184 3307 232 232 0 3952 0 [pid=24701] vsize: 16736 Current children cumulated CPU time (s) 277.43 Current children cumulated vsize (Kb) 16736 [startup+290.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4099 0 0 0 28583 155 0 0 25 0 1 0 1788740598 17137664 3358 4294967295 134512640 135450776 3221224560 3221223280 134539527 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/24701/statm): 4184 3358 232 232 0 3952 0 [pid=24701] vsize: 16736 Current children cumulated CPU time (s) 287.38 Current children cumulated vsize (Kb) 16736 [startup+300.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4149 0 0 0 29574 159 0 0 25 0 1 0 1788740598 17137664 3408 4294967295 134512640 135450776 3221224560 3221223360 134537379 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/24701/statm): 4184 3408 232 232 0 3952 0 [pid=24701] vsize: 16736 Current children cumulated CPU time (s) 297.33 Current children cumulated vsize (Kb) 16736 [startup+310.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4238 0 0 0 30565 162 0 0 25 0 1 0 1788740598 17408000 3497 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/24701/statm): 4250 3497 232 232 0 4018 0 [pid=24701] vsize: 17000 Current children cumulated CPU time (s) 307.27 Current children cumulated vsize (Kb) 17000 [startup+320.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4316 0 0 0 31558 165 0 0 25 0 1 0 1788740598 17678336 3575 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/24701/statm): 4316 3575 232 232 0 4084 0 [pid=24701] vsize: 17264 Current children cumulated CPU time (s) 317.23 Current children cumulated vsize (Kb) 17264 [startup+330.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4359 0 0 0 32550 168 0 0 25 0 1 0 1788740598 26066944 3618 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6364 3618 232 232 0 6132 0 [pid=24701] vsize: 25456 Current children cumulated CPU time (s) 327.18 Current children cumulated vsize (Kb) 25456 [startup+340.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4417 0 0 0 33541 170 0 0 25 0 1 0 1788740598 26066944 3676 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6364 3676 232 232 0 6132 0 [pid=24701] vsize: 25456 Current children cumulated CPU time (s) 337.11 Current children cumulated vsize (Kb) 25456 [startup+350.019 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) T 24700 24701 9854 0 -1 0 4460 0 0 0 34534 173 0 0 25 0 1 0 1788740598 26066944 3719 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6364 3719 232 232 0 6132 0 [pid=24701] vsize: 25456 Current children cumulated CPU time (s) 347.07 Current children cumulated vsize (Kb) 25456 [startup+360.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4519 0 0 0 35527 176 0 0 25 0 1 0 1788740598 26066944 3778 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6364 3778 232 232 0 6132 0 [pid=24701] vsize: 25456 Current children cumulated CPU time (s) 357.03 Current children cumulated vsize (Kb) 25456 [startup+370.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4574 0 0 0 36519 178 0 0 25 0 1 0 1788740598 26066944 3833 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/24701/statm): 6364 3833 232 232 0 6132 0 [pid=24701] vsize: 25456 Current children cumulated CPU time (s) 366.97 Current children cumulated vsize (Kb) 25456 [startup+380.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4616 0 0 0 37513 180 0 0 25 0 1 0 1788740598 26337280 3875 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6430 3875 232 232 0 6198 0 [pid=24701] vsize: 25720 Current children cumulated CPU time (s) 376.93 Current children cumulated vsize (Kb) 25720 [startup+390.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4651 0 0 0 38507 183 0 0 25 0 1 0 1788740598 26337280 3910 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6430 3910 232 232 0 6198 0 [pid=24701] vsize: 25720 Current children cumulated CPU time (s) 386.9 Current children cumulated vsize (Kb) 25720 [startup+400.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4698 0 0 0 39499 185 0 0 25 0 1 0 1788740598 26337280 3957 4294967295 134512640 135450776 3221224560 3221223456 134597668 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/24701/statm): 6430 3957 232 232 0 6198 0 [pid=24701] vsize: 25720 Current children cumulated CPU time (s) 396.84 Current children cumulated vsize (Kb) 25720 [startup+410.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4755 0 0 0 40491 187 0 0 25 0 1 0 1788740598 26472448 4014 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6463 4014 232 232 0 6231 0 [pid=24701] vsize: 25852 Current children cumulated CPU time (s) 406.78 Current children cumulated vsize (Kb) 25852 [startup+420.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4822 0 0 0 41483 190 0 0 25 0 1 0 1788740598 26472448 4081 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/24701/statm): 6463 4081 232 232 0 6231 0 [pid=24701] vsize: 25852 Current children cumulated CPU time (s) 416.73 Current children cumulated vsize (Kb) 25852 [startup+430.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4857 0 0 0 42475 192 0 0 25 0 1 0 1788740598 26472448 4116 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6463 4116 232 232 0 6231 0 [pid=24701] vsize: 25852 Current children cumulated CPU time (s) 426.67 Current children cumulated vsize (Kb) 25852 [startup+440.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 4876 0 0 0 43466 196 0 0 25 0 1 0 1788740598 26669056 4135 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6511 4135 232 232 0 6279 0 [pid=24701] vsize: 26044 Current children cumulated CPU time (s) 436.62 Current children cumulated vsize (Kb) 26044 [startup+450.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5030 0 0 0 44457 200 0 0 25 0 1 0 1788740598 27123712 4289 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6622 4289 232 232 0 6390 0 [pid=24701] vsize: 26488 Current children cumulated CPU time (s) 446.57 Current children cumulated vsize (Kb) 26488 [startup+460.025 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) T 24700 24701 9854 0 -1 0 5060 0 0 0 45447 203 0 0 25 0 1 0 1788740598 27123712 4319 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6622 4319 232 232 0 6390 0 [pid=24701] vsize: 26488 Current children cumulated CPU time (s) 456.5 Current children cumulated vsize (Kb) 26488 [startup+470.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5069 0 0 0 46438 206 0 0 25 0 1 0 1788740598 27123712 4328 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6622 4328 232 232 0 6390 0 [pid=24701] vsize: 26488 Current children cumulated CPU time (s) 466.44 Current children cumulated vsize (Kb) 26488 [startup+480.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5080 0 0 0 47428 210 0 0 25 0 1 0 1788740598 27123712 4339 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6622 4339 232 232 0 6390 0 [pid=24701] vsize: 26488 Current children cumulated CPU time (s) 476.38 Current children cumulated vsize (Kb) 26488 [startup+490.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5089 0 0 0 48421 213 0 0 25 0 1 0 1788740598 27123712 4348 4294967295 134512640 135450776 3221224560 3221223376 134550523 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6622 4348 232 232 0 6390 0 [pid=24701] vsize: 26488 Current children cumulated CPU time (s) 486.34 Current children cumulated vsize (Kb) 26488 [startup+500.028 s] Raw data (loadavg): 1.00 0.97 0.91 3/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5102 0 0 0 49411 216 0 0 25 0 1 0 1788740598 27123712 4361 4294967295 134512640 135450776 3221224560 3221223376 134550525 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6622 4361 232 232 0 6390 0 [pid=24701] vsize: 26488 Current children cumulated CPU time (s) 496.27 Current children cumulated vsize (Kb) 26488 [startup+510.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5113 0 0 0 50403 219 0 0 25 0 1 0 1788740598 27123712 4372 4294967295 134512640 135450776 3221224560 3221223280 134539323 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6622 4372 232 232 0 6390 0 [pid=24701] vsize: 26488 Current children cumulated CPU time (s) 506.22 Current children cumulated vsize (Kb) 26488 [startup+520.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5145 0 0 0 51393 223 0 0 25 0 1 0 1788740598 27258880 4404 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6655 4404 232 232 0 6423 0 [pid=24701] vsize: 26620 Current children cumulated CPU time (s) 516.16 Current children cumulated vsize (Kb) 26620 [startup+530.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5167 0 0 0 52383 227 0 0 25 0 1 0 1788740598 27258880 4426 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6655 4426 232 232 0 6423 0 [pid=24701] vsize: 26620 Current children cumulated CPU time (s) 526.1 Current children cumulated vsize (Kb) 26620 [startup+540.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5176 0 0 0 53374 230 0 0 25 0 1 0 1788740598 27258880 4435 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6655 4435 232 232 0 6423 0 [pid=24701] vsize: 26620 Current children cumulated CPU time (s) 536.04 Current children cumulated vsize (Kb) 26620 [startup+550.031 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) T 24700 24701 9854 0 -1 0 5186 0 0 0 54365 234 0 0 25 0 1 0 1788740598 27258880 4445 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6655 4445 232 232 0 6423 0 [pid=24701] vsize: 26620 Current children cumulated CPU time (s) 545.99 Current children cumulated vsize (Kb) 26620 [startup+560.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5197 0 0 0 55354 237 0 0 25 0 1 0 1788740598 27258880 4456 4294967295 134512640 135450776 3221224560 3221223280 134538910 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6655 4456 232 232 0 6423 0 [pid=24701] vsize: 26620 Current children cumulated CPU time (s) 555.91 Current children cumulated vsize (Kb) 26620 [startup+570.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5269 0 0 0 56343 241 0 0 25 0 1 0 1788740598 27598848 4528 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6738 4528 232 232 0 6506 0 [pid=24701] vsize: 26952 Current children cumulated CPU time (s) 565.84 Current children cumulated vsize (Kb) 26952 [startup+580.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5306 0 0 0 57330 246 0 0 25 0 1 0 1788740598 27795456 4565 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6786 4565 232 232 0 6554 0 [pid=24701] vsize: 27144 Current children cumulated CPU time (s) 575.76 Current children cumulated vsize (Kb) 27144 [startup+590.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5323 0 0 0 58318 250 0 0 25 0 1 0 1788740598 27795456 4582 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6786 4582 232 232 0 6554 0 [pid=24701] vsize: 27144 Current children cumulated CPU time (s) 585.68 Current children cumulated vsize (Kb) 27144 [startup+600.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5335 0 0 0 59307 254 0 0 25 0 1 0 1788740598 27795456 4594 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6786 4594 232 232 0 6554 0 [pid=24701] vsize: 27144 Current children cumulated CPU time (s) 595.61 Current children cumulated vsize (Kb) 27144 [startup+610.033 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) T 24700 24701 9854 0 -1 0 5377 0 0 0 60295 259 0 0 25 0 1 0 1788740598 27930624 4636 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6819 4636 232 232 0 6587 0 [pid=24701] vsize: 27276 Current children cumulated CPU time (s) 605.54 Current children cumulated vsize (Kb) 27276 [startup+620.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5393 0 0 0 61282 263 0 0 25 0 1 0 1788740598 27930624 4652 4294967295 134512640 135450776 3221224560 3221223280 134539307 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6819 4652 232 232 0 6587 0 [pid=24701] vsize: 27276 Current children cumulated CPU time (s) 615.45 Current children cumulated vsize (Kb) 27276 [startup+630.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5418 0 0 0 62271 267 0 0 25 0 1 0 1788740598 27930624 4677 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6819 4677 232 232 0 6587 0 [pid=24701] vsize: 27276 Current children cumulated CPU time (s) 625.38 Current children cumulated vsize (Kb) 27276 [startup+640.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5443 0 0 0 63260 270 0 0 25 0 1 0 1788740598 28143616 4702 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6871 4702 232 232 0 6639 0 [pid=24701] vsize: 27484 Current children cumulated CPU time (s) 635.3 Current children cumulated vsize (Kb) 27484 [startup+650.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5514 0 0 0 64246 276 0 0 25 0 1 0 1788740598 28143616 4773 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/24701/statm): 6871 4773 232 232 0 6639 0 [pid=24701] vsize: 27484 Current children cumulated CPU time (s) 645.22 Current children cumulated vsize (Kb) 27484 [startup+660.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5526 0 0 0 65236 280 0 0 25 0 1 0 1788740598 28143616 4785 4294967295 134512640 135450776 3221224560 3221223360 134537342 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 6871 4785 232 232 0 6639 0 [pid=24701] vsize: 27484 Current children cumulated CPU time (s) 655.16 Current children cumulated vsize (Kb) 27484 [startup+670.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 5540 0 0 0 66224 284 0 0 25 0 1 0 1788740598 28143616 4799 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/24701/statm): 6871 4799 232 232 0 6639 0 [pid=24701] vsize: 27484 Current children cumulated CPU time (s) 665.08 Current children cumulated vsize (Kb) 27484 [startup+680.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 6385 0 0 0 67212 290 0 0 25 0 1 0 1788740598 31424512 4875 4294967295 134512640 135450776 3221224560 3221223376 134550441 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 7672 4875 232 232 0 7440 0 [pid=24701] vsize: 30688 Current children cumulated CPU time (s) 675.02 Current children cumulated vsize (Kb) 30688 [startup+690.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 6463 0 0 0 68203 293 0 0 25 0 1 0 1788740598 31580160 4953 4294967295 134512640 135450776 3221224560 3221223376 134550441 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 7710 4953 232 232 0 7478 0 [pid=24701] vsize: 30840 Current children cumulated CPU time (s) 684.96 Current children cumulated vsize (Kb) 30840 [startup+700.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 6498 0 0 0 69191 297 0 0 25 0 1 0 1788740598 31580160 4988 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 7710 4988 232 232 0 7478 0 [pid=24701] vsize: 30840 Current children cumulated CPU time (s) 694.88 Current children cumulated vsize (Kb) 30840 [startup+710.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 6561 0 0 0 70181 300 0 0 25 0 1 0 1788740598 31580160 5051 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 7710 5051 232 232 0 7478 0 [pid=24701] vsize: 30840 Current children cumulated CPU time (s) 704.81 Current children cumulated vsize (Kb) 30840 [startup+720.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 6820 0 0 0 71167 305 0 0 25 0 1 0 1788740598 32325632 5310 4294967295 134512640 135450776 3221224560 3221223376 134550459 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 7892 5310 232 232 0 7660 0 [pid=24701] vsize: 31568 Current children cumulated CPU time (s) 714.72 Current children cumulated vsize (Kb) 31568 [startup+730.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 6859 0 0 0 72153 311 0 0 25 0 1 0 1788740598 32473088 5349 4294967295 134512640 135450776 3221224560 3221223376 134551704 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 7928 5349 232 232 0 7696 0 [pid=24701] vsize: 31712 Current children cumulated CPU time (s) 724.64 Current children cumulated vsize (Kb) 31712 [startup+740.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 24701 Raw data (/proc/24701/stat): 24701 (PBS4) R 24700 24701 9854 0 -1 0 6884 0 0 0 73140 315 0 0 25 0 1 0 1788740598 32473088 5374 4294967295 134512640 135450776 3221224560 3221223376 134550480 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24701/statm): 7928 5374 232 232 0 7696 0 [pid=24701] vsize: 31712 Current children cumulated CPU time (s) 734.55 Current children cumulated vsize (Kb) 31712 One traced child (pid=24701) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 749.667 CPU time (s): 744.068 CPU user time (s): 740.834 CPU system time (s): 3.23351 CPU usage (%): 99.2531 Max. virtual memory (cumulated for all children) (Kb): 31712
Verifier: OK 788263