Name | web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb |
MD5SUM | f306f9e77db4c563a096b79aebdedeaa |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 71 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 261 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 23621 |
Total number of constraints | 67526 |
Number of constraints which are clauses | 65126 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2400 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
LAUNCH ON wulflinc15 THE 2005-09-18 19:54:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3838 boxname=wulflinc15 idbench=322 idsolver=4 numberseed=0 MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938 /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: f306f9e77db4c563a096b79aebdedeaa /oldhome/oroussel/tmp/wulflinc15/normalized-ooo.burch_dill.6.accl.ucl.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc15/normalized-ooo.burch_dill.6.accl.ucl.opb IDLAUNCH: 3838 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 913152 kB Buffers: 33820 kB Cached: 58444 kB SwapCached: 692 kB Active: 56264 kB Inactive: 38580 kB HighTotal: 131008 kB HighFree: 69468 kB LowTotal: 903652 kB LowFree: 843684 kB SwapTotal: 2097136 kB SwapFree: 2095920 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5732 kB Slab: 20908 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 20:15:05 (client local time) WITH STATUS 0 IN 1203.71 SECONDS stats: 3838 7 1203.71 0
c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc15/normalized-ooo.burch_dill.6.accl.ucl.opb ......
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/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 1785695161 978944 2 4294967295 134512640 135450776 3221224560 3221224560 134512960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 239 2 232 232 0 7 0 [pid=12109] vsize: 956 open syscall for file /dev/null open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-ooo.burch_dill.6.accl.ucl.opb open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-ooo.burch_dill.6.accl.ucl.opb [startup+10.0027 s] Raw data (loadavg): 0.72 0.89 0.96 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 3729 0 0 0 944 24 0 0 25 0 1 0 1785695161 14684160 2894 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/12109/statm): 3585 2894 232 232 0 3353 0 [pid=12109] vsize: 14340 Current children cumulated CPU time (s) 9.68 Current children cumulated vsize (Kb) 14340 [startup+20.0035 s] Raw data (loadavg): 0.76 0.90 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 4046 0 0 0 1896 40 0 0 25 0 1 0 1785695161 17731584 3164 4294967295 134512640 135450776 3221224560 3221223472 134540546 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 4329 3164 232 232 0 4097 0 [pid=12109] vsize: 17316 Current children cumulated CPU time (s) 19.36 Current children cumulated vsize (Kb) 17316 [startup+30.0043 s] Raw data (loadavg): 0.80 0.90 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 4305 0 0 0 2839 58 0 0 25 0 1 0 1785695161 18190336 3329 4294967295 134512640 135450776 3221224560 3221222976 134534276 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 4441 3329 232 232 0 4209 0 [pid=12109] vsize: 17764 Current children cumulated CPU time (s) 28.97 Current children cumulated vsize (Kb) 17764 [startup+40.0061 s] Raw data (loadavg): 0.83 0.90 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 4579 0 0 0 3783 75 0 0 25 0 1 0 1785695161 18944000 3509 4294967295 134512640 135450776 3221224560 3221223280 134538787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 4625 3509 232 232 0 4393 0 [pid=12109] vsize: 18500 Current children cumulated CPU time (s) 38.58 Current children cumulated vsize (Kb) 18500 [startup+50.0069 s] Raw data (loadavg): 0.85 0.91 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 4727 0 0 0 4736 91 0 0 25 0 1 0 1785695161 19275776 3610 4294967295 134512640 135450776 3221224560 3221223280 134538898 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 4706 3610 232 232 0 4474 0 [pid=12109] vsize: 18824 Current children cumulated CPU time (s) 48.27 Current children cumulated vsize (Kb) 18824 [startup+60.0068 s] Raw data (loadavg): 0.88 0.91 0.96 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 4925 0 0 0 5674 110 0 0 25 0 1 0 1785695161 19472384 3714 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 4754 3714 232 232 0 4522 0 [pid=12109] vsize: 19016 Current children cumulated CPU time (s) 57.84 Current children cumulated vsize (Kb) 19016 [startup+70.0076 s] Raw data (loadavg): 0.89 0.91 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 5125 0 0 0 6626 129 0 0 25 0 1 0 1785695161 19472384 3820 4294967295 134512640 135450776 3221224560 3221223280 134539413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 4754 3820 232 232 0 4522 0 [pid=12109] vsize: 19016 Current children cumulated CPU time (s) 67.55 Current children cumulated vsize (Kb) 19016 [startup+80.0084 s] Raw data (loadavg): 0.91 0.91 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 5283 0 0 0 7579 145 0 0 25 0 1 0 1785695161 19668992 3931 4294967295 134512640 135450776 3221224560 3221223280 134539536 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 4802 3931 232 232 0 4570 0 [pid=12109] vsize: 19208 Current children cumulated CPU time (s) 77.24 Current children cumulated vsize (Kb) 19208 [startup+90.0092 s] Raw data (loadavg): 0.92 0.92 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 6242 0 0 0 8547 155 0 0 25 0 1 0 1785695161 24002560 4796 4294967295 134512640 135450776 3221224560 3221222952 134533793 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 5860 4796 232 232 0 5628 0 [pid=12109] vsize: 23440 Current children cumulated CPU time (s) 87.02 Current children cumulated vsize (Kb) 23440 [startup+100.01 s] Raw data (loadavg): 0.93 0.92 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 6333 0 0 0 9500 171 0 0 25 0 1 0 1785695161 24002560 4840 4294967295 134512640 135450776 3221224560 3221223484 134530890 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 5860 4840 232 232 0 5628 0 [pid=12109] vsize: 23440 Current children cumulated CPU time (s) 96.71 Current children cumulated vsize (Kb) 23440 [startup+110.01 s] Raw data (loadavg): 0.94 0.92 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 6460 0 0 0 10455 188 0 0 25 0 1 0 1785695161 24141824 4873 4294967295 134512640 135450776 3221224560 3221223264 134536309 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 5894 4873 232 232 0 5662 0 [pid=12109] vsize: 23576 Current children cumulated CPU time (s) 106.43 Current children cumulated vsize (Kb) 23576 [startup+120.011 s] Raw data (loadavg): 0.95 0.92 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 6527 0 0 0 11408 203 0 0 25 0 1 0 1785695161 24141824 4893 4294967295 134512640 135450776 3221224560 3221223360 134537674 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 5894 4893 232 232 0 5662 0 [pid=12109] vsize: 23576 Current children cumulated CPU time (s) 116.11 Current children cumulated vsize (Kb) 23576 [startup+130.012 s] Raw data (loadavg): 0.96 0.92 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 6684 0 0 0 12353 221 0 0 25 0 1 0 1785695161 24465408 4956 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 5973 4956 232 232 0 5741 0 [pid=12109] vsize: 23892 Current children cumulated CPU time (s) 125.74 Current children cumulated vsize (Kb) 23892 [startup+140.012 s] Raw data (loadavg): 0.97 0.93 0.96 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 6813 0 0 0 13303 239 0 0 25 0 1 0 1785695161 24612864 4991 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6009 4991 232 232 0 5777 0 [pid=12109] vsize: 24036 Current children cumulated CPU time (s) 135.42 Current children cumulated vsize (Kb) 24036 [startup+150.013 s] Raw data (loadavg): 0.97 0.93 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 6933 0 0 0 14258 255 0 0 25 0 1 0 1785695161 24760320 5017 4294967295 134512640 135450776 3221224560 3221223280 134539351 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6045 5017 232 232 0 5813 0 [pid=12109] vsize: 24180 Current children cumulated CPU time (s) 145.13 Current children cumulated vsize (Kb) 24180 [startup+160.014 s] Raw data (loadavg): 0.97 0.93 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 6991 0 0 0 15217 269 0 0 25 0 1 0 1785695161 24760320 5028 4294967295 134512640 135450776 3221224560 3221223280 134538854 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6045 5028 232 232 0 5813 0 [pid=12109] vsize: 24180 Current children cumulated CPU time (s) 154.86 Current children cumulated vsize (Kb) 24180 [startup+170.015 s] Raw data (loadavg): 0.98 0.93 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 7108 0 0 0 16167 284 0 0 25 0 1 0 1785695161 24760320 5051 4294967295 134512640 135450776 3221224560 3221223280 134539004 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6045 5051 232 232 0 5813 0 [pid=12109] vsize: 24180 Current children cumulated CPU time (s) 164.51 Current children cumulated vsize (Kb) 24180 [startup+180.016 s] Raw data (loadavg): 0.98 0.93 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 7274 0 0 0 17122 298 0 0 25 0 1 0 1785695161 25235456 5123 4294967295 134512640 135450776 3221224560 3221223024 134535749 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6161 5123 232 232 0 5929 0 [pid=12109] vsize: 24644 Current children cumulated CPU time (s) 174.2 Current children cumulated vsize (Kb) 24644 [startup+190.016 s] Raw data (loadavg): 0.98 0.94 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 7354 0 0 0 18070 316 0 0 25 0 1 0 1785695161 25235456 5156 4294967295 134512640 135450776 3221224560 3221223280 134539536 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6161 5156 232 232 0 5929 0 [pid=12109] vsize: 24644 Current children cumulated CPU time (s) 183.86 Current children cumulated vsize (Kb) 24644 [startup+200.016 s] Raw data (loadavg): 0.98 0.94 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 7502 0 0 0 19019 333 0 0 25 0 1 0 1785695161 25628672 5210 4294967295 134512640 135450776 3221224560 3221223280 134538949 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6257 5210 232 232 0 6025 0 [pid=12109] vsize: 25028 Current children cumulated CPU time (s) 193.52 Current children cumulated vsize (Kb) 25028 [startup+210.016 s] Raw data (loadavg): 0.99 0.94 0.96 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 7554 0 0 0 19970 351 0 0 25 0 1 0 1785695161 25628672 5215 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6257 5215 232 232 0 6025 0 [pid=12109] vsize: 25028 Current children cumulated CPU time (s) 203.21 Current children cumulated vsize (Kb) 25028 [startup+220.018 s] Raw data (loadavg): 0.99 0.94 0.96 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 7579 0 0 0 20922 367 0 0 25 0 1 0 1785695161 25628672 5240 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6257 5240 232 232 0 6025 0 [pid=12109] vsize: 25028 Current children cumulated CPU time (s) 212.89 Current children cumulated vsize (Kb) 25028 [startup+230.018 s] Raw data (loadavg): 0.99 0.94 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 7633 0 0 0 21870 384 0 0 25 0 1 0 1785695161 25628672 5247 4294967295 134512640 135450776 3221224560 3221223280 134538758 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6257 5247 232 232 0 6025 0 [pid=12109] vsize: 25028 Current children cumulated CPU time (s) 222.54 Current children cumulated vsize (Kb) 25028 [startup+240.019 s] Raw data (loadavg): 0.99 0.94 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 7720 0 0 0 22817 401 0 0 25 0 1 0 1785695161 25825280 5287 4294967295 134512640 135450776 3221224560 3221223280 134539418 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6305 5287 232 232 0 6073 0 [pid=12109] vsize: 25220 Current children cumulated CPU time (s) 232.18 Current children cumulated vsize (Kb) 25220 [startup+250.019 s] Raw data (loadavg): 0.99 0.94 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 7727 0 0 0 23769 415 0 0 25 0 1 0 1785695161 25825280 5294 4294967295 134512640 135450776 3221224560 3221223008 134535760 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6305 5294 232 232 0 6073 0 [pid=12109] vsize: 25220 Current children cumulated CPU time (s) 241.84 Current children cumulated vsize (Kb) 25220 [startup+260.019 s] Raw data (loadavg): 0.99 0.95 0.96 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 7828 0 0 0 24715 433 0 0 25 0 1 0 1785695161 25825280 5301 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6305 5301 232 232 0 6073 0 [pid=12109] vsize: 25220 Current children cumulated CPU time (s) 251.48 Current children cumulated vsize (Kb) 25220 [startup+270.02 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 7893 0 0 0 25664 450 0 0 25 0 1 0 1785695161 25989120 5319 4294967295 134512640 135450776 3221224560 3221222928 134580095 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6345 5319 232 232 0 6113 0 [pid=12109] vsize: 25380 Current children cumulated CPU time (s) 261.14 Current children cumulated vsize (Kb) 25380 [startup+280.021 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 7952 0 0 0 26622 464 0 0 25 0 1 0 1785695161 25989120 5331 4294967295 134512640 135450776 3221224560 3221223280 134539413 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6345 5331 232 232 0 6113 0 [pid=12109] vsize: 25380 Current children cumulated CPU time (s) 270.86 Current children cumulated vsize (Kb) 25380 [startup+290.022 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 8007 0 0 0 27577 479 0 0 25 0 1 0 1785695161 25989120 5339 4294967295 134512640 135450776 3221224560 3221223280 134539536 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6345 5339 232 232 0 6113 0 [pid=12109] vsize: 25380 Current children cumulated CPU time (s) 280.56 Current children cumulated vsize (Kb) 25380 [startup+300.022 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 8122 0 0 0 28523 497 0 0 25 0 1 0 1785695161 26128384 5360 4294967295 134512640 135450776 3221224560 3221223280 134538910 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6379 5360 232 232 0 6147 0 [pid=12109] vsize: 25516 Current children cumulated CPU time (s) 290.2 Current children cumulated vsize (Kb) 25516 [startup+310.022 s] Raw data (loadavg): 0.99 0.95 0.96 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 8186 0 0 0 29476 511 0 0 25 0 1 0 1785695161 26128384 5377 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6379 5377 232 232 0 6147 0 [pid=12109] vsize: 25516 Current children cumulated CPU time (s) 299.87 Current children cumulated vsize (Kb) 25516 [startup+320.023 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 8248 0 0 0 30416 531 0 0 25 0 1 0 1785695161 26128384 5392 4294967295 134512640 135450776 3221224560 3221222896 134534048 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6379 5392 232 232 0 6147 0 [pid=12109] vsize: 25516 Current children cumulated CPU time (s) 309.47 Current children cumulated vsize (Kb) 25516 [startup+330.023 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 8314 0 0 0 31363 549 0 0 25 0 1 0 1785695161 26423296 5411 4294967295 134512640 135450776 3221224560 3221222896 134533864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6451 5411 232 232 0 6219 0 [pid=12109] vsize: 25804 Current children cumulated CPU time (s) 319.12 Current children cumulated vsize (Kb) 25804 [startup+340.025 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 8377 0 0 0 32318 563 0 0 25 0 1 0 1785695161 26423296 5427 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6451 5427 232 232 0 6219 0 [pid=12109] vsize: 25804 Current children cumulated CPU time (s) 328.81 Current children cumulated vsize (Kb) 25804 [startup+350.025 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 8436 0 0 0 33274 576 0 0 25 0 1 0 1785695161 26423296 5439 4294967295 134512640 135450776 3221224560 3221222896 134533833 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6451 5439 232 232 0 6219 0 [pid=12109] vsize: 25804 Current children cumulated CPU time (s) 338.5 Current children cumulated vsize (Kb) 25804 [startup+360.025 s] Raw data (loadavg): 1.07 0.97 0.96 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 8533 0 0 0 34230 592 0 0 25 0 1 0 1785695161 26603520 5489 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6495 5489 232 232 0 6263 0 [pid=12109] vsize: 25980 Current children cumulated CPU time (s) 348.22 Current children cumulated vsize (Kb) 25980 [startup+370.026 s] Raw data (loadavg): 1.06 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 8632 0 0 0 35190 604 0 0 25 0 1 0 1785695161 26603520 5541 4294967295 134512640 135450776 3221224560 3221223472 134540464 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6495 5541 232 232 0 6263 0 [pid=12109] vsize: 25980 Current children cumulated CPU time (s) 357.94 Current children cumulated vsize (Kb) 25980 [startup+380.026 s] Raw data (loadavg): 1.05 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 8718 0 0 0 36147 620 0 0 25 0 1 0 1785695161 26603520 5580 4294967295 134512640 135450776 3221224560 3221223280 134539536 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6495 5580 232 232 0 6263 0 [pid=12109] vsize: 25980 Current children cumulated CPU time (s) 367.67 Current children cumulated vsize (Kb) 25980 [startup+390.028 s] Raw data (loadavg): 1.04 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 8847 0 0 0 37101 636 0 0 25 0 1 0 1785695161 26750976 5662 4294967295 134512640 135450776 3221224560 3221222896 134533994 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6531 5662 232 232 0 6299 0 [pid=12109] vsize: 26124 Current children cumulated CPU time (s) 377.37 Current children cumulated vsize (Kb) 26124 [startup+400.029 s] Raw data (loadavg): 1.03 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 8969 0 0 0 38049 654 0 0 24 0 1 0 1785695161 26750976 5737 4294967295 134512640 135450776 3221224560 3221223280 134539285 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6531 5737 232 232 0 6299 0 [pid=12109] vsize: 26124 Current children cumulated CPU time (s) 387.03 Current children cumulated vsize (Kb) 26124 [startup+410.029 s] Raw data (loadavg): 1.03 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 9089 0 0 0 39008 667 0 0 25 0 1 0 1785695161 26914816 5810 4294967295 134512640 135450776 3221224560 3221223280 134538787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6571 5810 232 232 0 6339 0 [pid=12109] vsize: 26284 Current children cumulated CPU time (s) 396.75 Current children cumulated vsize (Kb) 26284 [startup+420.029 s] Raw data (loadavg): 1.02 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 9169 0 0 0 39962 685 0 0 25 0 1 0 1785695161 26914816 5843 4294967295 134512640 135450776 3221224560 3221222896 134533833 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6571 5843 232 232 0 6339 0 [pid=12109] vsize: 26284 Current children cumulated CPU time (s) 406.47 Current children cumulated vsize (Kb) 26284 [startup+430.03 s] Raw data (loadavg): 1.02 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 9232 0 0 0 40913 702 0 0 25 0 1 0 1785695161 26914816 5859 4294967295 134512640 135450776 3221224560 3221222896 134533939 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 6571 5859 232 232 0 6339 0 [pid=12109] vsize: 26284 Current children cumulated CPU time (s) 416.15 Current children cumulated vsize (Kb) 26284 [startup+440.031 s] Raw data (loadavg): 1.02 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 9317 0 0 0 41870 717 0 0 25 0 1 0 1785695161 26914816 5897 4294967295 134512640 135450776 3221224560 3221222896 134533864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 6571 5897 232 232 0 6339 0 [pid=12109] vsize: 26284 Current children cumulated CPU time (s) 425.87 Current children cumulated vsize (Kb) 26284 [startup+450.032 s] Raw data (loadavg): 1.01 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 9534 0 0 0 42817 735 0 0 25 0 1 0 1785695161 35438592 6020 4294967295 134512640 135450776 3221224560 3221223008 134533412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8652 6020 232 232 0 8420 0 [pid=12109] vsize: 34608 Current children cumulated CPU time (s) 435.52 Current children cumulated vsize (Kb) 34608 [startup+460.033 s] Raw data (loadavg): 1.01 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 9643 0 0 0 43775 750 0 0 25 0 1 0 1785695161 35438592 6082 4294967295 134512640 135450776 3221224560 3221223280 134539307 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8652 6082 232 232 0 8420 0 [pid=12109] vsize: 34608 Current children cumulated CPU time (s) 445.25 Current children cumulated vsize (Kb) 34608 [startup+470.033 s] Raw data (loadavg): 1.01 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 9653 0 0 0 44732 763 0 0 25 0 1 0 1785695161 35438592 6092 4294967295 134512640 135450776 3221224560 3221223408 134540150 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8652 6092 232 232 0 8420 0 [pid=12109] vsize: 34608 Current children cumulated CPU time (s) 454.95 Current children cumulated vsize (Kb) 34608 [startup+480.033 s] Raw data (loadavg): 1.01 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 9711 0 0 0 45689 778 0 0 25 0 1 0 1785695161 35438592 6103 4294967295 134512640 135450776 3221224560 3221223280 134539323 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8652 6103 232 232 0 8420 0 [pid=12109] vsize: 34608 Current children cumulated CPU time (s) 464.67 Current children cumulated vsize (Kb) 34608 [startup+490.034 s] Raw data (loadavg): 1.00 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 9776 0 0 0 46647 792 0 0 25 0 1 0 1785695161 35438592 6121 4294967295 134512640 135450776 3221224560 3221222896 134534048 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8652 6121 232 232 0 8420 0 [pid=12109] vsize: 34608 Current children cumulated CPU time (s) 474.39 Current children cumulated vsize (Kb) 34608 [startup+500.035 s] Raw data (loadavg): 1.00 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 9905 0 0 0 47603 807 0 0 25 0 1 0 1785695161 35606528 6203 4294967295 134512640 135450776 3221224560 3221222896 134533933 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8693 6203 232 232 0 8461 0 [pid=12109] vsize: 34772 Current children cumulated CPU time (s) 484.1 Current children cumulated vsize (Kb) 34772 [startup+510.035 s] Raw data (loadavg): 1.00 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 10041 0 0 0 48563 820 0 0 25 0 1 0 1785695161 35741696 6292 4294967295 134512640 135450776 3221224560 3221223280 134539840 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8726 6292 232 232 0 8494 0 [pid=12109] vsize: 34904 Current children cumulated CPU time (s) 493.83 Current children cumulated vsize (Kb) 34904 [startup+520.036 s] Raw data (loadavg): 1.00 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 10178 0 0 0 49528 832 0 0 25 0 1 0 1785695161 35741696 6382 4294967295 134512640 135450776 3221224560 3221222896 134533864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8726 6382 232 232 0 8494 0 [pid=12109] vsize: 34904 Current children cumulated CPU time (s) 503.6 Current children cumulated vsize (Kb) 34904 [startup+530.036 s] Raw data (loadavg): 1.00 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 10244 0 0 0 50490 845 0 0 25 0 1 0 1785695161 35741696 6401 4294967295 134512640 135450776 3221224560 3221223280 134539318 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8726 6401 232 232 0 8494 0 [pid=12109] vsize: 34904 Current children cumulated CPU time (s) 513.35 Current children cumulated vsize (Kb) 34904 [startup+540.036 s] Raw data (loadavg): 1.00 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 10303 0 0 0 51443 859 0 0 25 0 1 0 1785695161 35741696 6413 4294967295 134512640 135450776 3221224560 3221223280 134539307 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8726 6413 232 232 0 8494 0 [pid=12109] vsize: 34904 Current children cumulated CPU time (s) 523.02 Current children cumulated vsize (Kb) 34904 [startup+550.037 s] Raw data (loadavg): 1.00 0.97 0.96 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 10411 0 0 0 52403 872 0 0 25 0 1 0 1785695161 35921920 6474 4294967295 134512640 135450776 3221224560 3221223280 134539299 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8770 6474 232 232 0 8538 0 [pid=12109] vsize: 35080 Current children cumulated CPU time (s) 532.75 Current children cumulated vsize (Kb) 35080 [startup+560.037 s] Raw data (loadavg): 1.08 0.99 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 10525 0 0 0 53365 885 0 0 25 0 1 0 1785695161 35921920 6541 4294967295 134512640 135450776 3221224560 3221223280 134539323 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8770 6541 232 232 0 8538 0 [pid=12109] vsize: 35080 Current children cumulated CPU time (s) 542.5 Current children cumulated vsize (Kb) 35080 [startup+570.038 s] Raw data (loadavg): 1.07 0.99 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 10616 0 0 0 54323 900 0 0 25 0 1 0 1785695161 35921920 6585 4294967295 134512640 135450776 3221224560 3221222976 134534276 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8770 6585 232 232 0 8538 0 [pid=12109] vsize: 35080 Current children cumulated CPU time (s) 552.23 Current children cumulated vsize (Kb) 35080 [startup+580.038 s] Raw data (loadavg): 1.06 0.99 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 10721 0 0 0 55279 913 0 0 25 0 1 0 1785695161 35921920 6596 4294967295 134512640 135450776 3221224560 3221223280 134539307 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8770 6596 232 232 0 8538 0 [pid=12109] vsize: 35080 Current children cumulated CPU time (s) 561.92 Current children cumulated vsize (Kb) 35080 [startup+590.038 s] Raw data (loadavg): 1.05 0.99 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 10733 0 0 0 56236 928 0 0 25 0 1 0 1785695161 35921920 6608 4294967295 134512640 135450776 3221224560 3221223280 134539536 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8770 6608 232 232 0 8538 0 [pid=12109] vsize: 35080 Current children cumulated CPU time (s) 571.64 Current children cumulated vsize (Kb) 35080 [startup+600.04 s] Raw data (loadavg): 1.04 0.99 0.97 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 10793 0 0 0 57195 941 0 0 25 0 1 0 1785695161 35921920 6621 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8770 6621 232 232 0 8538 0 [pid=12109] vsize: 35080 Current children cumulated CPU time (s) 581.36 Current children cumulated vsize (Kb) 35080 [startup+610.04 s] Raw data (loadavg): 1.03 0.99 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 10853 0 0 0 58155 954 0 0 25 0 1 0 1785695161 35921920 6634 4294967295 134512640 135450776 3221224560 3221223280 134538840 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8770 6634 232 232 0 8538 0 [pid=12109] vsize: 35080 Current children cumulated CPU time (s) 591.09 Current children cumulated vsize (Kb) 35080 [startup+620.041 s] Raw data (loadavg): 1.03 0.99 0.97 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 10966 0 0 0 59111 970 0 0 25 0 1 0 1785695161 36098048 6700 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8813 6700 232 232 0 8581 0 [pid=12109] vsize: 35252 Current children cumulated CPU time (s) 600.81 Current children cumulated vsize (Kb) 35252 [startup+630.042 s] Raw data (loadavg): 1.10 1.00 0.97 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 11023 0 0 0 60068 984 0 0 25 0 1 0 1785695161 36098048 6710 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8813 6710 232 232 0 8581 0 [pid=12109] vsize: 35252 Current children cumulated CPU time (s) 610.52 Current children cumulated vsize (Kb) 35252 [startup+640.042 s] Raw data (loadavg): 1.08 1.00 0.97 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 11034 0 0 0 61022 1001 0 0 25 0 1 0 1785695161 36229120 6721 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8845 6721 232 232 0 8613 0 [pid=12109] vsize: 35380 Current children cumulated CPU time (s) 620.23 Current children cumulated vsize (Kb) 35380 [startup+650.042 s] Raw data (loadavg): 1.07 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 11041 0 0 0 61977 1015 0 0 25 0 1 0 1785695161 36229120 6728 4294967295 134512640 135450776 3221224560 3221223280 134539597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8845 6728 232 232 0 8613 0 [pid=12109] vsize: 35380 Current children cumulated CPU time (s) 629.92 Current children cumulated vsize (Kb) 35380 [startup+660.042 s] Raw data (loadavg): 1.06 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 11098 0 0 0 62935 1028 0 0 25 0 1 0 1785695161 36229120 6738 4294967295 134512640 135450776 3221224560 3221223280 134539285 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8845 6738 232 232 0 8613 0 [pid=12109] vsize: 35380 Current children cumulated CPU time (s) 639.63 Current children cumulated vsize (Kb) 35380 [startup+670.043 s] Raw data (loadavg): 1.05 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 11164 0 0 0 63892 1042 0 0 25 0 1 0 1785695161 36229120 6757 4294967295 134512640 135450776 3221224560 3221223280 134539536 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8845 6757 232 232 0 8613 0 [pid=12109] vsize: 35380 Current children cumulated CPU time (s) 649.34 Current children cumulated vsize (Kb) 35380 [startup+680.043 s] Raw data (loadavg): 1.04 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 11170 0 0 0 64857 1055 0 0 25 0 1 0 1785695161 36229120 6763 4294967295 134512640 135450776 3221224560 3221223280 134539010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8845 6763 232 232 0 8613 0 [pid=12109] vsize: 35380 Current children cumulated CPU time (s) 659.12 Current children cumulated vsize (Kb) 35380 [startup+690.043 s] Raw data (loadavg): 1.03 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 11225 0 0 0 65817 1069 0 0 25 0 1 0 1785695161 36376576 6771 4294967295 134512640 135450776 3221224560 3221223280 134539533 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8881 6771 232 232 0 8649 0 [pid=12109] vsize: 35524 Current children cumulated CPU time (s) 668.86 Current children cumulated vsize (Kb) 35524 [startup+700.044 s] Raw data (loadavg): 1.03 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 11280 0 0 0 66779 1080 0 0 25 0 1 0 1785695161 36376576 6779 4294967295 134512640 135450776 3221224560 3221223280 134538787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8881 6779 232 232 0 8649 0 [pid=12109] vsize: 35524 Current children cumulated CPU time (s) 678.59 Current children cumulated vsize (Kb) 35524 [startup+710.044 s] Raw data (loadavg): 1.02 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 11333 0 0 0 67737 1094 0 0 17 0 1 0 1785695161 36376576 6785 4294967295 134512640 135450776 3221224560 3221223280 134539347 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8881 6785 232 232 0 8649 0 [pid=12109] vsize: 35524 Current children cumulated CPU time (s) 688.31 Current children cumulated vsize (Kb) 35524 [startup+720.045 s] Raw data (loadavg): 1.02 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 11407 0 0 0 68694 1108 0 0 25 0 1 0 1785695161 36376576 6812 4294967295 134512640 135450776 3221224560 3221223280 134539536 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 8881 6812 232 232 0 8649 0 [pid=12109] vsize: 35524 Current children cumulated CPU time (s) 698.02 Current children cumulated vsize (Kb) 35524 [startup+730.046 s] Raw data (loadavg): 1.02 1.00 0.97 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 11537 0 0 0 69649 1123 0 0 25 0 1 0 1785695161 36376576 6895 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8881 6895 232 232 0 8649 0 [pid=12109] vsize: 35524 Current children cumulated CPU time (s) 707.72 Current children cumulated vsize (Kb) 35524 [startup+740.046 s] Raw data (loadavg): 1.01 1.00 0.97 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 11602 0 0 0 70605 1138 0 0 25 0 1 0 1785695161 36376576 6960 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8881 6960 232 232 0 8649 0 [pid=12109] vsize: 35524 Current children cumulated CPU time (s) 717.43 Current children cumulated vsize (Kb) 35524 [startup+750.045 s] Raw data (loadavg): 1.01 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 11708 0 0 0 71561 1152 0 0 25 0 1 0 1785695161 36376576 7019 4294967295 134512640 135450776 3221224560 3221222896 134533864 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8881 7019 232 232 0 8649 0 [pid=12109] vsize: 35524 Current children cumulated CPU time (s) 727.13 Current children cumulated vsize (Kb) 35524 [startup+760.046 s] Raw data (loadavg): 1.01 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 11780 0 0 0 72521 1164 0 0 25 0 1 0 1785695161 36515840 7044 4294967295 134512640 135450776 3221224560 3221223280 134539307 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8915 7044 232 232 0 8683 0 [pid=12109] vsize: 35660 Current children cumulated CPU time (s) 736.85 Current children cumulated vsize (Kb) 35660 [startup+770.047 s] Raw data (loadavg): 1.01 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 11840 0 0 0 73478 1179 0 0 25 0 1 0 1785695161 36515840 7057 4294967295 134512640 135450776 3221224560 3221223484 134530892 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 8915 7057 232 232 0 8683 0 [pid=12109] vsize: 35660 Current children cumulated CPU time (s) 746.57 Current children cumulated vsize (Kb) 35660 [startup+780.049 s] Raw data (loadavg): 1.00 1.00 0.97 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 12662 0 0 0 74433 1195 0 0 25 0 1 0 1785695161 39661568 7063 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9683 7063 232 232 0 9451 0 [pid=12109] vsize: 38732 Current children cumulated CPU time (s) 756.28 Current children cumulated vsize (Kb) 38732 [startup+790.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 12719 0 0 0 75387 1209 0 0 25 0 1 0 1785695161 39661568 7073 4294967295 134512640 135450776 3221224560 3221222896 134533933 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9683 7073 232 232 0 9451 0 [pid=12109] vsize: 38732 Current children cumulated CPU time (s) 765.96 Current children cumulated vsize (Kb) 38732 [startup+800.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 12808 0 0 0 76342 1222 0 0 25 0 1 0 1785695161 39661568 7115 4294967295 134512640 135450776 3221224560 3221223280 134539010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9683 7115 232 232 0 9451 0 [pid=12109] vsize: 38732 Current children cumulated CPU time (s) 775.64 Current children cumulated vsize (Kb) 38732 [startup+810.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 12980 0 0 0 77299 1237 0 0 25 0 1 0 1785695161 39661568 7193 4294967295 134512640 135450776 3221224560 3221222896 134533833 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9683 7193 232 232 0 9451 0 [pid=12109] vsize: 38732 Current children cumulated CPU time (s) 785.36 Current children cumulated vsize (Kb) 38732 [startup+820.051 s] Raw data (loadavg): 1.00 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 13120 0 0 0 78255 1251 0 0 25 0 1 0 1785695161 39809024 7286 4294967295 134512640 135450776 3221224560 3221223280 134539765 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9719 7286 232 232 0 9487 0 [pid=12109] vsize: 38876 Current children cumulated CPU time (s) 795.06 Current children cumulated vsize (Kb) 38876 [startup+830.051 s] Raw data (loadavg): 1.00 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 13314 0 0 0 79204 1269 0 0 25 0 1 0 1785695161 39972864 7433 4294967295 134512640 135450776 3221224560 3221222896 134533988 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9759 7433 232 232 0 9527 0 [pid=12109] vsize: 39036 Current children cumulated CPU time (s) 804.73 Current children cumulated vsize (Kb) 39036 [startup+840.051 s] Raw data (loadavg): 1.00 1.00 0.97 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 13432 0 0 0 80161 1284 0 0 25 0 1 0 1785695161 39972864 7504 4294967295 134512640 135450776 3221224560 3221223436 134539968 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9759 7504 232 232 0 9527 0 [pid=12109] vsize: 39036 Current children cumulated CPU time (s) 814.45 Current children cumulated vsize (Kb) 39036 [startup+850.052 s] Raw data (loadavg): 1.08 1.02 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 13521 0 0 0 81122 1298 0 0 25 0 1 0 1785695161 40108032 7546 4294967295 134512640 135450776 3221224560 3221223280 134539010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9792 7546 232 232 0 9560 0 [pid=12109] vsize: 39168 Current children cumulated CPU time (s) 824.2 Current children cumulated vsize (Kb) 39168 [startup+860.052 s] Raw data (loadavg): 1.07 1.02 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 13656 0 0 0 82075 1315 0 0 25 0 1 0 1785695161 40108032 7587 4294967295 134512640 135450776 3221224560 3221222896 134533988 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9792 7587 232 232 0 9560 0 [pid=12109] vsize: 39168 Current children cumulated CPU time (s) 833.9 Current children cumulated vsize (Kb) 39168 [startup+870.052 s] Raw data (loadavg): 1.06 1.01 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 13810 0 0 0 83034 1328 0 0 25 0 1 0 1785695161 40108032 7694 4294967295 134512640 135450776 3221224560 3221222896 134534002 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9792 7694 232 232 0 9560 0 [pid=12109] vsize: 39168 Current children cumulated CPU time (s) 843.62 Current children cumulated vsize (Kb) 39168 [startup+880.053 s] Raw data (loadavg): 1.05 1.01 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 13982 0 0 0 83993 1341 0 0 25 0 1 0 1785695161 40108032 7819 4294967295 134512640 135450776 3221224560 3221222896 134533954 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9792 7819 232 232 0 9560 0 [pid=12109] vsize: 39168 Current children cumulated CPU time (s) 853.34 Current children cumulated vsize (Kb) 39168 [startup+890.053 s] Raw data (loadavg): 1.04 1.01 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 14158 0 0 0 84951 1355 0 0 25 0 1 0 1785695161 40296448 7948 4294967295 134512640 135450776 3221224560 3221223408 134540058 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9838 7948 232 232 0 9606 0 [pid=12109] vsize: 39352 Current children cumulated CPU time (s) 863.06 Current children cumulated vsize (Kb) 39352 [startup+900.054 s] Raw data (loadavg): 1.03 1.01 0.98 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 14218 0 0 0 85904 1368 0 0 25 0 1 0 1785695161 40443904 7961 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9874 7961 232 232 0 9642 0 [pid=12109] vsize: 39496 Current children cumulated CPU time (s) 872.72 Current children cumulated vsize (Kb) 39496 [startup+910.055 s] Raw data (loadavg): 1.03 1.01 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 14234 0 0 0 86865 1381 0 0 25 0 1 0 1785695161 40443904 7977 4294967295 134512640 135450776 3221224560 3221223360 134538164 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9874 7977 232 232 0 9642 0 [pid=12109] vsize: 39496 Current children cumulated CPU time (s) 882.46 Current children cumulated vsize (Kb) 39496 [startup+920.055 s] Raw data (loadavg): 1.02 1.01 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 14344 0 0 0 87830 1394 0 0 25 0 1 0 1785695161 40443904 8040 4294967295 134512640 135450776 3221224560 3221223280 134539323 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9874 8040 232 232 0 9642 0 [pid=12109] vsize: 39496 Current children cumulated CPU time (s) 892.24 Current children cumulated vsize (Kb) 39496 [startup+930.055 s] Raw data (loadavg): 1.02 1.01 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 14462 0 0 0 88791 1407 0 0 25 0 1 0 1785695161 40443904 8111 4294967295 134512640 135450776 3221224560 3221223280 134539325 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9874 8111 232 232 0 9642 0 [pid=12109] vsize: 39496 Current children cumulated CPU time (s) 901.98 Current children cumulated vsize (Kb) 39496 [startup+940.056 s] Raw data (loadavg): 1.02 1.01 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 14533 0 0 0 89757 1417 0 0 25 0 1 0 1785695161 40443904 8182 4294967295 134512640 135450776 3221224560 3221223280 134539323 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9874 8182 232 232 0 9642 0 [pid=12109] vsize: 39496 Current children cumulated CPU time (s) 911.74 Current children cumulated vsize (Kb) 39496 [startup+950.056 s] Raw data (loadavg): 1.01 1.01 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 14641 0 0 0 90722 1428 0 0 25 0 1 0 1785695161 40443904 8243 4294967295 134512640 135450776 3221224560 3221223408 134540058 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9874 8243 232 232 0 9642 0 [pid=12109] vsize: 39496 Current children cumulated CPU time (s) 921.5 Current children cumulated vsize (Kb) 39496 [startup+960.056 s] Raw data (loadavg): 1.01 1.01 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 14763 0 0 0 91683 1442 0 0 25 0 1 0 1785695161 40574976 8318 4294967295 134512640 135450776 3221224560 3221223280 134538898 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9906 8318 232 232 0 9674 0 [pid=12109] vsize: 39624 Current children cumulated CPU time (s) 931.25 Current children cumulated vsize (Kb) 39624 [startup+970.057 s] Raw data (loadavg): 1.01 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 14818 0 0 0 92646 1453 0 0 25 0 1 0 1785695161 40574976 8326 4294967295 134512640 135450776 3221224560 3221223444 134540637 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9906 8326 232 232 0 9674 0 [pid=12109] vsize: 39624 Current children cumulated CPU time (s) 940.99 Current children cumulated vsize (Kb) 39624 [startup+980.057 s] Raw data (loadavg): 1.01 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 14871 0 0 0 93602 1468 0 0 25 0 1 0 1785695161 40574976 8332 4294967295 134512640 135450776 3221224560 3221223280 134539307 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9906 8332 232 232 0 9674 0 [pid=12109] vsize: 39624 Current children cumulated CPU time (s) 950.7 Current children cumulated vsize (Kb) 39624 [startup+990.057 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 14878 0 0 0 94558 1484 0 0 25 0 1 0 1785695161 40574976 8339 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3225643616 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9906 8339 232 232 0 9674 0 [pid=12109] vsize: 39624 Current children cumulated CPU time (s) 960.42 Current children cumulated vsize (Kb) 39624 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.98 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 14936 0 0 0 95508 1500 0 0 25 0 1 0 1785695161 40714240 8350 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9940 8350 232 232 0 9708 0 [pid=12109] vsize: 39760 Current children cumulated CPU time (s) 970.08 Current children cumulated vsize (Kb) 39760 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 14989 0 0 0 96467 1514 0 0 25 0 1 0 1785695161 40714240 8356 4294967295 134512640 135450776 3221224560 3221223280 134538910 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9940 8356 232 232 0 9708 0 [pid=12109] vsize: 39760 Current children cumulated CPU time (s) 979.81 Current children cumulated vsize (Kb) 39760 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 15047 0 0 0 97430 1528 0 0 25 0 1 0 1785695161 40714240 8367 4294967295 134512640 135450776 3221224560 3221223280 134539362 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9940 8367 232 232 0 9708 0 [pid=12109] vsize: 39760 Current children cumulated CPU time (s) 989.58 Current children cumulated vsize (Kb) 39760 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 15106 0 0 0 98388 1540 0 0 25 0 1 0 1785695161 40714240 8379 4294967295 134512640 135450776 3221224560 3221223360 134547693 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9940 8379 232 232 0 9708 0 [pid=12109] vsize: 39760 Current children cumulated CPU time (s) 999.28 Current children cumulated vsize (Kb) 39760 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 15179 0 0 0 99349 1553 0 0 25 0 1 0 1785695161 40849408 8405 4294967295 134512640 135450776 3221224560 3221223376 134550514 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 9973 8405 232 232 0 9741 0 [pid=12109] vsize: 39892 Current children cumulated CPU time (s) 1009.02 Current children cumulated vsize (Kb) 39892 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 15184 0 0 0 100307 1567 0 0 25 0 1 0 1785695161 40849408 8410 4294967295 134512640 135450776 3221224560 3221222976 134534276 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9973 8410 232 232 0 9741 0 [pid=12109] vsize: 39892 Current children cumulated CPU time (s) 1018.74 Current children cumulated vsize (Kb) 39892 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 15235 0 0 0 101268 1581 0 0 25 0 1 0 1785695161 40849408 8414 4294967295 134512640 135450776 3221224560 3221223368 135069589 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9973 8414 232 232 0 9741 0 [pid=12109] vsize: 39892 Current children cumulated CPU time (s) 1028.49 Current children cumulated vsize (Kb) 39892 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.98 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 15286 0 0 0 102231 1594 0 0 25 0 1 0 1785695161 40849408 8418 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 9973 8418 232 232 0 9741 0 [pid=12109] vsize: 39892 Current children cumulated CPU time (s) 1038.25 Current children cumulated vsize (Kb) 39892 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 15381 0 0 0 103190 1607 0 0 25 0 1 0 1785695161 40984576 8466 4294967295 134512640 135450776 3221224560 3221223280 134539323 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 10006 8466 232 232 0 9774 0 [pid=12109] vsize: 40024 Current children cumulated CPU time (s) 1047.97 Current children cumulated vsize (Kb) 40024 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 15386 0 0 0 104148 1621 0 0 25 0 1 0 1785695161 40984576 8471 4294967295 134512640 135450776 3221224560 3221223280 134539321 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 10006 8471 232 232 0 9774 0 [pid=12109] vsize: 40024 Current children cumulated CPU time (s) 1057.69 Current children cumulated vsize (Kb) 40024 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 15437 0 0 0 105110 1633 0 0 25 0 1 0 1785695161 40984576 8475 4294967295 134512640 135450776 3221224560 3221223280 134538907 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 10006 8475 232 232 0 9774 0 [pid=12109] vsize: 40024 Current children cumulated CPU time (s) 1067.43 Current children cumulated vsize (Kb) 40024 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.98 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 15488 0 0 0 106077 1644 0 0 25 0 1 0 1785695161 40984576 8479 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 10006 8479 232 232 0 9774 0 [pid=12109] vsize: 40024 Current children cumulated CPU time (s) 1077.21 Current children cumulated vsize (Kb) 40024 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 15688 0 0 0 107039 1657 0 0 25 0 1 0 1785695161 41119744 8632 4294967295 134512640 135450776 3221224560 3221223280 134538898 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 10039 8632 232 232 0 9807 0 [pid=12109] vsize: 40156 Current children cumulated CPU time (s) 1086.96 Current children cumulated vsize (Kb) 40156 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 15924 0 0 0 108000 1671 0 0 25 0 1 0 1785695161 41316352 8821 4294967295 134512640 135450776 3221224560 3221223280 134539010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 10087 8821 232 232 0 9855 0 [pid=12109] vsize: 40348 Current children cumulated CPU time (s) 1096.71 Current children cumulated vsize (Kb) 40348 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.98 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 16225 0 0 0 108973 1681 0 0 25 0 1 0 1785695161 58093568 9028 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 14183 9028 232 232 0 13951 0 [pid=12109] vsize: 56732 Current children cumulated CPU time (s) 1106.54 Current children cumulated vsize (Kb) 56732 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 16277 0 0 0 109933 1694 0 0 25 0 1 0 1785695161 58093568 9033 4294967295 134512640 135450776 3221224560 3221222896 134533988 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 14183 9033 232 232 0 13951 0 [pid=12109] vsize: 56732 Current children cumulated CPU time (s) 1116.27 Current children cumulated vsize (Kb) 56732 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 16328 0 0 0 110895 1706 0 0 25 0 1 0 1785695161 58093568 9037 4294967295 134512640 135450776 3221224560 3221223280 134539307 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 14183 9037 232 232 0 13951 0 [pid=12109] vsize: 56732 Current children cumulated CPU time (s) 1126.01 Current children cumulated vsize (Kb) 56732 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.98 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 16384 0 0 0 111852 1719 0 0 25 0 1 0 1785695161 58093568 9046 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 14183 9046 232 232 0 13951 0 [pid=12109] vsize: 56732 Current children cumulated CPU time (s) 1135.71 Current children cumulated vsize (Kb) 56732 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 16483 0 0 0 112807 1734 0 0 25 0 1 0 1785695161 58093568 9098 4294967295 134512640 135450776 3221224560 3221223280 134539307 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 14183 9098 232 232 0 13951 0 [pid=12109] vsize: 56732 Current children cumulated CPU time (s) 1145.41 Current children cumulated vsize (Kb) 56732 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.98 1/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) T 12108 12109 31778 0 -1 0 16488 0 0 0 113767 1747 0 0 25 0 1 0 1785695161 58093568 9103 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/12109/statm): 14183 9103 232 232 0 13951 0 [pid=12109] vsize: 56732 Current children cumulated CPU time (s) 1155.14 Current children cumulated vsize (Kb) 56732 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 16547 0 0 0 114725 1760 0 0 25 0 1 0 1785695161 58093568 9115 4294967295 134512640 135450776 3221224560 3221223280 134539307 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 14183 9115 232 232 0 13951 0 [pid=12109] vsize: 56732 Current children cumulated CPU time (s) 1164.85 Current children cumulated vsize (Kb) 56732 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 16599 0 0 0 115684 1773 0 0 25 0 1 0 1785695161 58093568 9120 4294967295 134512640 135450776 3221224560 3221223280 134539323 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 14183 9120 232 232 0 13951 0 [pid=12109] vsize: 56732 Current children cumulated CPU time (s) 1174.57 Current children cumulated vsize (Kb) 56732 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 16708 0 0 0 116640 1788 0 0 25 0 1 0 1785695161 58093568 9135 4294967295 134512640 135450776 3221224560 3221223280 134539536 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12109/statm): 14183 9135 232 232 0 13951 0 [pid=12109] vsize: 56732 Current children cumulated CPU time (s) 1184.28 Current children cumulated vsize (Kb) 56732 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 16804 0 0 0 117599 1800 0 0 25 0 1 0 1785695161 58093568 9184 4294967295 134512640 135450776 3221224560 3221223280 134539307 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 14183 9184 232 232 0 13951 0 [pid=12109] vsize: 56732 Current children cumulated CPU time (s) 1193.99 Current children cumulated vsize (Kb) 56732 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 16813 0 0 0 118554 1814 0 0 25 0 1 0 1785695161 58232832 9193 4294967295 134512640 135450776 3221224560 3221223152 134538577 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 14217 9193 232 232 0 13985 0 [pid=12109] vsize: 56868 Current children cumulated CPU time (s) 1203.68 Current children cumulated vsize (Kb) 56868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/56 12109 Raw data (/proc/12109/stat): 12109 (PBS4) R 12108 12109 31778 0 -1 0 16813 0 0 0 118554 1814 0 0 25 0 1 0 1785695161 58232832 9193 4294967295 134512640 135450776 3221224560 3221223472 134540535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12109/statm): 14217 9193 232 232 0 13985 0 [pid=12109] vsize: 56868 Current children cumulated CPU time (s) 1203.68 Current children cumulated vsize (Kb) 56868 Sending SIGTERM to -12109 Sleeping 2 seconds One traced child (pid=12109) ended because it received signal 15 (SIGTERM) All traced children have exited ! Game is over. Child ended because it received signal 15 (SIGTERM) Real time (s): 1240.09 CPU time (s): 1203.71 CPU user time (s): 1185.55 CPU system time (s): 18.1632 CPU usage (%): 97.0663 Max. virtual memory (cumulated for all children) (Kb): 56868
ERROR: no interpretation found !