Name | web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb |
MD5SUM | 89f41bbcf2b70665bd7071c5b58e0ec8 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(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 | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 510 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 323.626 |
Number of variables | 49621 |
Total number of constraints | 138346 |
Number of constraints which are clauses | 127390 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10956 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc31 THE 2005-09-18 19:56:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3856 boxname=wulflinc31 idbench=340 idsolver=4 numberseed=0 MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938 /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 89f41bbcf2b70665bd7071c5b58e0ec8 /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb IDLAUNCH: 3856 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 684280 kB Buffers: 36056 kB Cached: 283072 kB SwapCached: 1016 kB Active: 110788 kB Inactive: 211144 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 684028 kB SwapTotal: 2097892 kB SwapFree: 2096404 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5772 kB Slab: 22804 kB Committed_AS: 64376 kB PageTables: 340 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 20:13:35 (client local time) WITH STATUS 20 IN 980.337 SECONDS stats: 3856 7 980.337 20
c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb ...... s UNSATISFIABLE c Done, CPU Time=972.423
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/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 1843906753 978944 2 4294967295 134512640 135450776 3221224544 3221224544 134512960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/17781/statm): 239 2 232 232 0 7 0 [pid=17781] vsize: 956 open syscall for file /dev/null open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb [startup+10.0023 s] Raw data (loadavg): 0.90 0.97 0.99 2/57 17781 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 6687 0 0 0 961 23 0 0 25 0 1 0 1843906753 25157632 5686 4294967295 134512640 135450776 3221224544 3221222960 134534276 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 6142 5686 232 232 0 5910 0 [pid=17781] vsize: 24568 Current children cumulated CPU time (s) 9.84 Current children cumulated vsize (Kb) 24568 [startup+20.0033 s] Raw data (loadavg): 0.91 0.97 0.99 1/57 17781 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 7249 0 0 0 1926 35 0 0 25 0 1 0 1843906753 27258880 6151 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 6655 6151 232 232 0 6423 0 [pid=17781] vsize: 26620 Current children cumulated CPU time (s) 19.61 Current children cumulated vsize (Kb) 26620 [startup+30.0042 s] Raw data (loadavg): 0.93 0.97 0.99 2/57 17781 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 7724 0 0 0 2899 45 0 0 25 0 1 0 1843906753 28635136 6432 4294967295 134512640 135450776 3221224544 3221223392 134540034 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 6991 6432 232 232 0 6759 0 [pid=17781] vsize: 27964 Current children cumulated CPU time (s) 29.44 Current children cumulated vsize (Kb) 27964 [startup+40.0041 s] Raw data (loadavg): 0.94 0.97 0.99 2/57 17783 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 7959 0 0 0 3858 61 0 0 25 0 1 0 1843906753 29159424 6570 4294967295 134512640 135450776 3221224544 3221223264 134538898 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 7119 6570 232 232 0 6887 0 [pid=17781] vsize: 28476 Current children cumulated CPU time (s) 39.19 Current children cumulated vsize (Kb) 28476 [startup+50.0051 s] Raw data (loadavg): 0.95 0.97 0.99 2/57 17783 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 8850 0 0 0 4821 73 0 0 25 0 1 0 1843906753 32698368 6692 4294967295 134512640 135450776 3221224544 3221222880 134533925 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 7983 6692 232 232 0 7751 0 [pid=17781] vsize: 31932 Current children cumulated CPU time (s) 48.94 Current children cumulated vsize (Kb) 31932 [startup+60.005 s] Raw data (loadavg): 0.95 0.97 0.99 2/57 17783 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 9044 0 0 0 5775 89 0 0 25 0 1 0 1843906753 37089280 6789 4294967295 134512640 135450776 3221224544 3221223248 134534888 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9055 6789 232 232 0 8823 0 [pid=17781] vsize: 36220 Current children cumulated CPU time (s) 58.64 Current children cumulated vsize (Kb) 36220 [startup+70.0059 s] Raw data (loadavg): 0.96 0.97 0.99 2/57 17783 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 9246 0 0 0 6737 101 0 0 25 0 1 0 1843906753 37482496 6894 4294967295 134512640 135450776 3221224544 3221222880 134533833 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9151 6894 232 232 0 8919 0 [pid=17781] vsize: 36604 Current children cumulated CPU time (s) 68.38 Current children cumulated vsize (Kb) 36604 [startup+80.0068 s] Raw data (loadavg): 0.97 0.97 0.99 2/57 17783 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 9414 0 0 0 7695 116 0 0 25 0 1 0 1843906753 37937152 6965 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9262 6965 232 232 0 9030 0 [pid=17781] vsize: 37048 Current children cumulated CPU time (s) 78.11 Current children cumulated vsize (Kb) 37048 [startup+90.0068 s] Raw data (loadavg): 0.97 0.97 0.99 1/57 17783 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 9625 0 0 0 8644 133 0 0 25 0 1 0 1843906753 38133760 7079 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9310 7079 232 232 0 9078 0 [pid=17781] vsize: 37240 Current children cumulated CPU time (s) 87.77 Current children cumulated vsize (Kb) 37240 [startup+100.008 s] Raw data (loadavg): 0.98 0.97 0.99 2/57 17785 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 9918 0 0 0 9607 147 0 0 25 0 1 0 1843906753 38461440 7178 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9390 7178 232 232 0 9158 0 [pid=17781] vsize: 37560 Current children cumulated CPU time (s) 97.54 Current children cumulated vsize (Kb) 37560 [startup+110.008 s] Raw data (loadavg): 0.98 0.97 0.99 1/57 17785 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 10063 0 0 0 10565 161 0 0 25 0 1 0 1843906753 38461440 7226 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9390 7226 232 232 0 9158 0 [pid=17781] vsize: 37560 Current children cumulated CPU time (s) 107.26 Current children cumulated vsize (Kb) 37560 [startup+120.009 s] Raw data (loadavg): 0.98 0.97 0.99 2/57 17785 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 10179 0 0 0 11514 177 0 0 25 0 1 0 1843906753 38461440 7245 4294967295 134512640 135450776 3221224544 3221222880 134533925 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9390 7245 232 232 0 9158 0 [pid=17781] vsize: 37560 Current children cumulated CPU time (s) 116.91 Current children cumulated vsize (Kb) 37560 [startup+130.01 s] Raw data (loadavg): 0.98 0.97 0.99 2/57 17785 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 10359 0 0 0 12468 194 0 0 25 0 1 0 1843906753 38821888 7328 4294967295 134512640 135450776 3221224544 3221223392 134539986 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9478 7328 232 232 0 9246 0 [pid=17781] vsize: 37912 Current children cumulated CPU time (s) 126.62 Current children cumulated vsize (Kb) 37912 [startup+140.009 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17785 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 10654 0 0 0 13436 206 0 0 25 0 1 0 1843906753 38985728 7429 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9518 7429 232 232 0 9286 0 [pid=17781] vsize: 38072 Current children cumulated CPU time (s) 136.42 Current children cumulated vsize (Kb) 38072 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17785 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 10708 0 0 0 14397 220 0 0 25 0 1 0 1843906753 38985728 7483 4294967295 134512640 135450776 3221224544 3221223264 134539027 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9518 7483 232 232 0 9286 0 [pid=17781] vsize: 38072 Current children cumulated CPU time (s) 146.17 Current children cumulated vsize (Kb) 38072 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17787 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 10830 0 0 0 15354 233 0 0 25 0 1 0 1843906753 38985728 7508 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9518 7508 232 232 0 9286 0 [pid=17781] vsize: 38072 Current children cumulated CPU time (s) 155.87 Current children cumulated vsize (Kb) 38072 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17787 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 10946 0 0 0 16316 247 0 0 25 0 1 0 1843906753 39182336 7527 4294967295 134512640 135450776 3221224544 3221223264 134539285 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9566 7527 232 232 0 9334 0 [pid=17781] vsize: 38264 Current children cumulated CPU time (s) 165.63 Current children cumulated vsize (Kb) 38264 [startup+180.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17787 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 11059 0 0 0 17273 260 0 0 25 0 1 0 1843906753 39182336 7543 4294967295 134512640 135450776 3221224544 3221222960 134534276 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9566 7543 232 232 0 9334 0 [pid=17781] vsize: 38264 Current children cumulated CPU time (s) 175.33 Current children cumulated vsize (Kb) 38264 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17787 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 11205 0 0 0 18229 275 0 0 25 0 1 0 1843906753 39182336 7592 4294967295 134512640 135450776 3221224544 3221222880 134533839 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9566 7592 232 232 0 9334 0 [pid=17781] vsize: 38264 Current children cumulated CPU time (s) 185.04 Current children cumulated vsize (Kb) 38264 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17787 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 11479 0 0 0 19195 288 0 0 25 0 1 0 1843906753 39182336 7672 4294967295 134512640 135450776 3221224544 3221223440 134597668 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9566 7672 232 232 0 9334 0 [pid=17781] vsize: 38264 Current children cumulated CPU time (s) 194.83 Current children cumulated vsize (Kb) 38264 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17787 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 11499 0 0 0 20156 299 0 0 25 0 1 0 1843906753 39182336 7692 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9566 7692 232 232 0 9334 0 [pid=17781] vsize: 38264 Current children cumulated CPU time (s) 204.55 Current children cumulated vsize (Kb) 38264 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17789 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 11631 0 0 0 21123 310 0 0 25 0 1 0 1843906753 39182336 7727 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9566 7727 232 232 0 9334 0 [pid=17781] vsize: 38264 Current children cumulated CPU time (s) 214.33 Current children cumulated vsize (Kb) 38264 [startup+230.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17789 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 11798 0 0 0 22086 324 0 0 25 0 1 0 1843906753 39489536 7797 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/17781/statm): 9641 7797 232 232 0 9409 0 [pid=17781] vsize: 38564 Current children cumulated CPU time (s) 224.1 Current children cumulated vsize (Kb) 38564 [startup+240.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17789 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 11952 0 0 0 23043 339 0 0 25 0 1 0 1843906753 39489536 7854 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9641 7854 232 232 0 9409 0 [pid=17781] vsize: 38564 Current children cumulated CPU time (s) 233.82 Current children cumulated vsize (Kb) 38564 [startup+250.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17789 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 12094 0 0 0 24000 354 0 0 19 0 1 0 1843906753 39489536 7899 4294967295 134512640 135450776 3221224544 3221222880 134533973 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9641 7899 232 232 0 9409 0 [pid=17781] vsize: 38564 Current children cumulated CPU time (s) 243.54 Current children cumulated vsize (Kb) 38564 [startup+260.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17789 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 12231 0 0 0 24965 366 0 0 25 0 1 0 1843906753 39489536 7939 4294967295 134512640 135450776 3221224544 3221223264 134539299 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9641 7939 232 232 0 9409 0 [pid=17781] vsize: 38564 Current children cumulated CPU time (s) 253.31 Current children cumulated vsize (Kb) 38564 [startup+270.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17789 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 12355 0 0 0 25932 379 0 0 25 0 1 0 1843906753 39620608 7966 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9673 7966 232 232 0 9441 0 [pid=17781] vsize: 38692 Current children cumulated CPU time (s) 263.11 Current children cumulated vsize (Kb) 38692 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17791 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 12464 0 0 0 26892 391 0 0 25 0 1 0 1843906753 39620608 7978 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9673 7978 232 232 0 9441 0 [pid=17781] vsize: 38692 Current children cumulated CPU time (s) 272.83 Current children cumulated vsize (Kb) 38692 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17791 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 12623 0 0 0 27857 402 0 0 25 0 1 0 1843906753 39620608 8040 4294967295 134512640 135450776 3221224544 3221223280 135068642 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9673 8040 232 232 0 9441 0 [pid=17781] vsize: 38692 Current children cumulated CPU time (s) 282.59 Current children cumulated vsize (Kb) 38692 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17791 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 12778 0 0 0 28812 418 0 0 25 0 1 0 1843906753 39895040 8098 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9740 8098 232 232 0 9508 0 [pid=17781] vsize: 38960 Current children cumulated CPU time (s) 292.3 Current children cumulated vsize (Kb) 38960 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17791 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 12905 0 0 0 29766 435 0 0 19 0 1 0 1843906753 40022016 8128 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9771 8128 232 232 0 9539 0 [pid=17781] vsize: 39084 Current children cumulated CPU time (s) 302.01 Current children cumulated vsize (Kb) 39084 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17791 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13013 0 0 0 30727 450 0 0 25 0 1 0 1843906753 40022016 8139 4294967295 134512640 135450776 3221224544 3221223468 134530772 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9771 8139 232 232 0 9539 0 [pid=17781] vsize: 39084 Current children cumulated CPU time (s) 311.77 Current children cumulated vsize (Kb) 39084 [startup+330.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17791 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13124 0 0 0 31680 467 0 0 25 0 1 0 1843906753 40022016 8153 4294967295 134512640 135450776 3221224544 3221223360 134550469 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9771 8153 232 232 0 9539 0 [pid=17781] vsize: 39084 Current children cumulated CPU time (s) 321.47 Current children cumulated vsize (Kb) 39084 [startup+340.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17793 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13234 0 0 0 32639 481 0 0 25 0 1 0 1843906753 40022016 8166 4294967295 134512640 135450776 3221224544 3221223264 134539655 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9771 8166 232 232 0 9539 0 [pid=17781] vsize: 39084 Current children cumulated CPU time (s) 331.2 Current children cumulated vsize (Kb) 39084 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17793 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13254 0 0 0 33596 495 0 0 25 0 1 0 1843906753 40144896 8186 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9801 8186 232 232 0 9569 0 [pid=17781] vsize: 39204 Current children cumulated CPU time (s) 340.91 Current children cumulated vsize (Kb) 39204 [startup+360.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17793 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13284 0 0 0 34549 512 0 0 25 0 1 0 1843906753 40144896 8216 4294967295 134512640 135450776 3221224544 3221223264 134538854 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9801 8216 232 232 0 9569 0 [pid=17781] vsize: 39204 Current children cumulated CPU time (s) 350.61 Current children cumulated vsize (Kb) 39204 [startup+370.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17793 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13426 0 0 0 35504 526 0 0 25 0 1 0 1843906753 40144896 8261 4294967295 134512640 135450776 3221224544 3221223008 134535746 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9801 8261 232 232 0 9569 0 [pid=17781] vsize: 39204 Current children cumulated CPU time (s) 360.3 Current children cumulated vsize (Kb) 39204 [startup+380.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17793 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13539 0 0 0 36461 541 0 0 25 0 1 0 1843906753 40144896 8277 4294967295 134512640 135450776 3221224544 3221222880 134533954 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9801 8277 232 232 0 9569 0 [pid=17781] vsize: 39204 Current children cumulated CPU time (s) 370.02 Current children cumulated vsize (Kb) 39204 [startup+390.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17793 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13660 0 0 0 37420 554 0 0 25 0 1 0 1843906753 40280064 8301 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9834 8301 232 232 0 9602 0 [pid=17781] vsize: 39336 Current children cumulated CPU time (s) 379.74 Current children cumulated vsize (Kb) 39336 [startup+400.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17795 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13809 0 0 0 38377 567 0 0 25 0 1 0 1843906753 40280064 8353 4294967295 134512640 135450776 3221224544 3221223264 134539285 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9834 8353 232 232 0 9602 0 [pid=17781] vsize: 39336 Current children cumulated CPU time (s) 389.44 Current children cumulated vsize (Kb) 39336 [startup+410.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17795 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13982 0 0 0 39340 581 0 0 25 0 1 0 1843906753 40280064 8429 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9834 8429 232 232 0 9602 0 [pid=17781] vsize: 39336 Current children cumulated CPU time (s) 399.21 Current children cumulated vsize (Kb) 39336 [startup+420.025 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17795 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 14141 0 0 0 40291 599 0 0 25 0 1 0 1843906753 40382464 8491 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9859 8491 232 232 0 9627 0 [pid=17781] vsize: 39436 Current children cumulated CPU time (s) 408.9 Current children cumulated vsize (Kb) 39436 [startup+430.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17795 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 14176 0 0 0 41243 614 0 0 25 0 1 0 1843906753 40382464 8526 4294967295 134512640 135450776 3221224544 3221223360 134550478 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9859 8526 232 232 0 9627 0 [pid=17781] vsize: 39436 Current children cumulated CPU time (s) 418.57 Current children cumulated vsize (Kb) 39436 [startup+440.025 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17795 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 14300 0 0 0 42206 628 0 0 25 0 1 0 1843906753 40566784 8553 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9904 8553 232 232 0 9672 0 [pid=17781] vsize: 39616 Current children cumulated CPU time (s) 428.34 Current children cumulated vsize (Kb) 39616 [startup+450.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17795 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 14426 0 0 0 43169 639 0 0 25 0 1 0 1843906753 40566784 8582 4294967295 134512640 135450776 3221224544 3221223264 134539418 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9904 8582 232 232 0 9672 0 [pid=17781] vsize: 39616 Current children cumulated CPU time (s) 438.08 Current children cumulated vsize (Kb) 39616 [startup+460.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17797 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 14552 0 0 0 44127 655 0 0 25 0 1 0 1843906753 40566784 8611 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9904 8611 232 232 0 9672 0 [pid=17781] vsize: 39616 Current children cumulated CPU time (s) 447.82 Current children cumulated vsize (Kb) 39616 [startup+470.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17797 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 14701 0 0 0 45088 668 0 0 25 0 1 0 1843906753 40566784 8663 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/17781/statm): 9904 8663 232 232 0 9672 0 [pid=17781] vsize: 39616 Current children cumulated CPU time (s) 457.56 Current children cumulated vsize (Kb) 39616 [startup+480.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17797 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 14858 0 0 0 46049 682 0 0 25 0 1 0 1843906753 40566784 8723 4294967295 134512640 135450776 3221224544 3221223264 134538854 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/17781/statm): 9904 8723 232 232 0 9672 0 [pid=17781] vsize: 39616 Current children cumulated CPU time (s) 467.31 Current children cumulated vsize (Kb) 39616 [startup+490.03 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17797 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 15009 0 0 0 47010 695 0 0 25 0 1 0 1843906753 40566784 8777 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9904 8777 232 232 0 9672 0 [pid=17781] vsize: 39616 Current children cumulated CPU time (s) 477.05 Current children cumulated vsize (Kb) 39616 [startup+500.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17797 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 15017 0 0 0 47969 707 0 0 25 0 1 0 1843906753 40706048 8785 4294967295 134512640 135450776 3221224544 3221222880 134533915 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9938 8785 232 232 0 9706 0 [pid=17781] vsize: 39752 Current children cumulated CPU time (s) 486.76 Current children cumulated vsize (Kb) 39752 [startup+510.032 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17797 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 15132 0 0 0 48929 722 0 0 25 0 1 0 1843906753 40706048 8803 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 9938 8803 232 232 0 9706 0 [pid=17781] vsize: 39752 Current children cumulated CPU time (s) 496.51 Current children cumulated vsize (Kb) 39752 [startup+520.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17799 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 15276 0 0 0 49900 732 0 0 25 0 1 0 1843906753 49094656 8850 4294967295 134512640 135450776 3221224544 3221223392 134539993 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 11986 8850 232 232 0 11754 0 [pid=17781] vsize: 47944 Current children cumulated CPU time (s) 506.32 Current children cumulated vsize (Kb) 47944 [startup+530.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17799 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 15431 0 0 0 50863 745 0 0 25 0 1 0 1843906753 49094656 8908 4294967295 134512640 135450776 3221224544 3221223264 134539594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 11986 8908 232 232 0 11754 0 [pid=17781] vsize: 47944 Current children cumulated CPU time (s) 516.08 Current children cumulated vsize (Kb) 47944 [startup+540.033 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17799 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 15571 0 0 0 51822 758 0 0 25 0 1 0 1843906753 49094656 8951 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 11986 8951 232 232 0 11754 0 [pid=17781] vsize: 47944 Current children cumulated CPU time (s) 525.8 Current children cumulated vsize (Kb) 47944 [startup+550.034 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17799 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 15698 0 0 0 52786 770 0 0 25 0 1 0 1843906753 49094656 8981 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 11986 8981 232 232 0 11754 0 [pid=17781] vsize: 47944 Current children cumulated CPU time (s) 535.56 Current children cumulated vsize (Kb) 47944 [startup+560.034 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17799 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 15812 0 0 0 53748 782 0 0 25 0 1 0 1843906753 49274880 8998 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12030 8998 232 232 0 11798 0 [pid=17781] vsize: 48120 Current children cumulated CPU time (s) 545.3 Current children cumulated vsize (Kb) 48120 [startup+570.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17799 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 15916 0 0 0 54710 794 0 0 25 0 1 0 1843906753 49274880 9005 4294967295 134512640 135450776 3221224544 3221222960 134534276 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12030 9005 232 232 0 11798 0 [pid=17781] vsize: 48120 Current children cumulated CPU time (s) 555.04 Current children cumulated vsize (Kb) 48120 [startup+580.035 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17801 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 16022 0 0 0 55676 804 0 0 25 0 1 0 1843906753 49274880 9014 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12030 9014 232 232 0 11798 0 [pid=17781] vsize: 48120 Current children cumulated CPU time (s) 564.8 Current children cumulated vsize (Kb) 48120 [startup+590.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17801 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16177 0 0 0 56637 818 0 0 25 0 1 0 1843906753 49565696 9072 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12101 9072 232 232 0 11869 0 [pid=17781] vsize: 48404 Current children cumulated CPU time (s) 574.55 Current children cumulated vsize (Kb) 48404 [startup+600.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17801 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16330 0 0 0 57602 830 0 0 25 0 1 0 1843906753 49565696 9128 4294967295 134512640 135450776 3221224544 3221223264 134538910 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12101 9128 232 232 0 11869 0 [pid=17781] vsize: 48404 Current children cumulated CPU time (s) 584.32 Current children cumulated vsize (Kb) 48404 [startup+610.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17801 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 16337 0 0 0 58561 844 0 0 25 0 1 0 1843906753 49565696 9135 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12101 9135 232 232 0 11869 0 [pid=17781] vsize: 48404 Current children cumulated CPU time (s) 594.05 Current children cumulated vsize (Kb) 48404 [startup+620.038 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17801 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 16441 0 0 0 59522 858 0 0 25 0 1 0 1843906753 49565696 9142 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12101 9142 232 232 0 11869 0 [pid=17781] vsize: 48404 Current children cumulated CPU time (s) 603.8 Current children cumulated vsize (Kb) 48404 [startup+630.039 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17801 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16549 0 0 0 60482 873 0 0 25 0 1 0 1843906753 49565696 9153 4294967295 134512640 135450776 3221224544 3221223264 134538787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12101 9153 232 232 0 11869 0 [pid=17781] vsize: 48404 Current children cumulated CPU time (s) 613.55 Current children cumulated vsize (Kb) 48404 [startup+640.039 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17803 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 16657 0 0 0 61442 888 0 0 25 0 1 0 1843906753 49565696 9164 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12101 9164 232 232 0 11869 0 [pid=17781] vsize: 48404 Current children cumulated CPU time (s) 623.3 Current children cumulated vsize (Kb) 48404 [startup+650.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17803 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16765 0 0 0 62402 902 0 0 25 0 1 0 1843906753 49700864 9175 4294967295 134512640 135450776 3221224544 3221223264 134538835 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12134 9175 232 232 0 11902 0 [pid=17781] vsize: 48536 Current children cumulated CPU time (s) 633.04 Current children cumulated vsize (Kb) 48536 [startup+660.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17803 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16871 0 0 0 63365 912 0 0 25 0 1 0 1843906753 49700864 9184 4294967295 134512640 135450776 3221224544 3221223264 134538944 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12134 9184 232 232 0 11902 0 [pid=17781] vsize: 48536 Current children cumulated CPU time (s) 642.77 Current children cumulated vsize (Kb) 48536 [startup+670.041 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17803 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 16881 0 0 0 64321 927 0 0 25 0 1 0 1843906753 49700864 9194 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12134 9194 232 232 0 11902 0 [pid=17781] vsize: 48536 Current children cumulated CPU time (s) 652.48 Current children cumulated vsize (Kb) 48536 [startup+680.042 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17803 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16888 0 0 0 65281 939 0 0 25 0 1 0 1843906753 49700864 9201 4294967295 134512640 135450776 3221224544 3221223264 134539536 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/17781/statm): 12134 9201 232 232 0 11902 0 [pid=17781] vsize: 48536 Current children cumulated CPU time (s) 662.2 Current children cumulated vsize (Kb) 48536 [startup+690.042 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17803 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17004 0 0 0 66244 949 0 0 25 0 1 0 1843906753 49700864 9220 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12134 9220 232 232 0 11902 0 [pid=17781] vsize: 48536 Current children cumulated CPU time (s) 671.93 Current children cumulated vsize (Kb) 48536 [startup+700.043 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17805 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17013 0 0 0 67200 964 0 0 25 0 1 0 1843906753 49700864 9229 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12134 9229 232 232 0 11902 0 [pid=17781] vsize: 48536 Current children cumulated CPU time (s) 681.64 Current children cumulated vsize (Kb) 48536 [startup+710.043 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17805 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 17124 0 0 0 68158 977 0 0 25 0 1 0 1843906753 49864704 9243 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12174 9243 232 232 0 11942 0 [pid=17781] vsize: 48696 Current children cumulated CPU time (s) 691.35 Current children cumulated vsize (Kb) 48696 [startup+720.043 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17805 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17133 0 0 0 69120 990 0 0 25 0 1 0 1843906753 49864704 9252 4294967295 134512640 135450776 3221224544 3221223264 134538854 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12174 9252 232 232 0 11942 0 [pid=17781] vsize: 48696 Current children cumulated CPU time (s) 701.1 Current children cumulated vsize (Kb) 48696 [startup+730.044 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17805 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17276 0 0 0 70078 1004 0 0 25 0 1 0 1843906753 49864704 9298 4294967295 134512640 135450776 3221224544 3221223264 134538898 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/17781/statm): 12174 9298 232 232 0 11942 0 [pid=17781] vsize: 48696 Current children cumulated CPU time (s) 710.82 Current children cumulated vsize (Kb) 48696 [startup+740.044 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17805 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17410 0 0 0 71037 1018 0 0 25 0 1 0 1843906753 49864704 9335 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12174 9335 232 232 0 11942 0 [pid=17781] vsize: 48696 Current children cumulated CPU time (s) 720.55 Current children cumulated vsize (Kb) 48696 [startup+750.046 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17805 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17458 0 0 0 71997 1031 0 0 25 0 1 0 1843906753 49864704 9383 4294967295 134512640 135450776 3221224544 3221223264 134538835 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12174 9383 232 232 0 11942 0 [pid=17781] vsize: 48696 Current children cumulated CPU time (s) 730.28 Current children cumulated vsize (Kb) 48696 [startup+760.046 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17807 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17566 0 0 0 72959 1045 0 0 25 0 1 0 1843906753 49864704 9394 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12174 9394 232 232 0 11942 0 [pid=17781] vsize: 48696 Current children cumulated CPU time (s) 740.04 Current children cumulated vsize (Kb) 48696 [startup+770.047 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17807 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17670 0 0 0 73919 1058 0 0 25 0 1 0 1843906753 49864704 9401 4294967295 134512640 135450776 3221224544 3221223264 134538854 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12174 9401 232 232 0 11942 0 [pid=17781] vsize: 48696 Current children cumulated CPU time (s) 749.77 Current children cumulated vsize (Kb) 48696 [startup+780.048 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17807 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17778 0 0 0 74882 1071 0 0 25 0 1 0 1843906753 49864704 9412 4294967295 134512640 135450776 3221224544 3221222880 134533968 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/17781/statm): 12174 9412 232 232 0 11942 0 [pid=17781] vsize: 48696 Current children cumulated CPU time (s) 759.53 Current children cumulated vsize (Kb) 48696 [startup+790.048 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17807 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17786 0 0 0 75850 1083 0 0 25 0 1 0 1843906753 49864704 9420 4294967295 134512640 135450776 3221224544 3221223264 134538944 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12174 9420 232 232 0 11942 0 [pid=17781] vsize: 48696 Current children cumulated CPU time (s) 769.33 Current children cumulated vsize (Kb) 48696 [startup+800.049 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17807 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 17893 0 0 0 76814 1095 0 0 25 0 1 0 1843906753 49995776 9430 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12206 9430 232 232 0 11974 0 [pid=17781] vsize: 48824 Current children cumulated CPU time (s) 779.09 Current children cumulated vsize (Kb) 48824 [startup+810.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17807 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18001 0 0 0 77773 1110 0 0 25 0 1 0 1843906753 49995776 9441 4294967295 134512640 135450776 3221224544 3221223264 134539285 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12206 9441 232 232 0 11974 0 [pid=17781] vsize: 48824 Current children cumulated CPU time (s) 788.83 Current children cumulated vsize (Kb) 48824 [startup+820.051 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17809 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18109 0 0 0 78736 1123 0 0 25 0 1 0 1843906753 49995776 9452 4294967295 134512640 135450776 3221224544 3221223264 134539299 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12206 9452 232 232 0 11974 0 [pid=17781] vsize: 48824 Current children cumulated CPU time (s) 798.59 Current children cumulated vsize (Kb) 48824 [startup+830.051 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17809 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18214 0 0 0 79695 1135 0 0 25 0 1 0 1843906753 49995776 9460 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12206 9460 232 232 0 11974 0 [pid=17781] vsize: 48824 Current children cumulated CPU time (s) 808.3 Current children cumulated vsize (Kb) 48824 [startup+840.051 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17809 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18357 0 0 0 80657 1147 0 0 25 0 1 0 1843906753 50302976 9506 4294967295 134512640 135450776 3221224544 3221223264 134538898 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12281 9506 232 232 0 12049 0 [pid=17781] vsize: 49124 Current children cumulated CPU time (s) 818.04 Current children cumulated vsize (Kb) 49124 [startup+850.052 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17809 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18425 0 0 0 81617 1161 0 0 25 0 1 0 1843906753 50302976 9574 4294967295 134512640 135450776 3221224544 3221222880 134533933 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12281 9574 232 232 0 12049 0 [pid=17781] vsize: 49124 Current children cumulated CPU time (s) 827.78 Current children cumulated vsize (Kb) 49124 [startup+860.053 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17809 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18482 0 0 0 82579 1174 0 0 25 0 1 0 1843906753 50302976 9631 4294967295 134512640 135450776 3221224544 3221222880 134533833 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12281 9631 232 232 0 12049 0 [pid=17781] vsize: 49124 Current children cumulated CPU time (s) 837.53 Current children cumulated vsize (Kb) 49124 [startup+870.053 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17809 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18644 0 0 0 83537 1189 0 0 25 0 1 0 1843906753 50302976 9696 4294967295 134512640 135450776 3221224544 3221222880 134533954 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12281 9696 232 232 0 12049 0 [pid=17781] vsize: 49124 Current children cumulated CPU time (s) 847.26 Current children cumulated vsize (Kb) 49124 [startup+880.054 s] Raw data (loadavg): 0.99 0.97 0.99 2/57 17811 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18695 0 0 0 84501 1203 0 0 25 0 1 0 1843906753 50442240 9747 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12315 9747 232 232 0 12083 0 [pid=17781] vsize: 49260 Current children cumulated CPU time (s) 857.04 Current children cumulated vsize (Kb) 49260 [startup+890.054 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17811 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 18754 0 0 0 85462 1217 0 0 25 0 1 0 1843906753 50442240 9806 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12315 9806 232 232 0 12083 0 [pid=17781] vsize: 49260 Current children cumulated CPU time (s) 866.79 Current children cumulated vsize (Kb) 49260 [startup+900.055 s] Raw data (loadavg): 0.99 0.97 0.99 1/57 17811 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 18898 0 0 0 86422 1230 0 0 25 0 1 0 1843906753 50442240 9853 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12315 9853 232 232 0 12083 0 [pid=17781] vsize: 49260 Current children cumulated CPU time (s) 876.52 Current children cumulated vsize (Kb) 49260 [startup+910.055 s] Raw data (loadavg): 1.14 1.00 1.00 1/57 17811 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 18955 0 0 0 87381 1245 0 0 25 0 1 0 1843906753 50442240 9910 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12315 9910 232 232 0 12083 0 [pid=17781] vsize: 49260 Current children cumulated CPU time (s) 886.26 Current children cumulated vsize (Kb) 49260 [startup+920.055 s] Raw data (loadavg): 1.12 1.00 1.00 2/57 17811 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19090 0 0 0 88342 1257 0 0 25 0 1 0 1843906753 50442240 9948 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12315 9948 232 232 0 12083 0 [pid=17781] vsize: 49260 Current children cumulated CPU time (s) 895.99 Current children cumulated vsize (Kb) 49260 [startup+930.056 s] Raw data (loadavg): 1.10 1.00 1.00 2/57 17811 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19097 0 0 0 89301 1270 0 0 25 0 1 0 1843906753 50442240 9955 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12315 9955 232 232 0 12083 0 [pid=17781] vsize: 49260 Current children cumulated CPU time (s) 905.71 Current children cumulated vsize (Kb) 49260 [startup+940.056 s] Raw data (loadavg): 1.08 1.00 1.00 1/57 17813 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 19202 0 0 0 90261 1282 0 0 25 0 1 0 1843906753 50442240 9963 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12315 9963 232 232 0 12083 0 [pid=17781] vsize: 49260 Current children cumulated CPU time (s) 915.43 Current children cumulated vsize (Kb) 49260 [startup+950.057 s] Raw data (loadavg): 1.07 1.00 1.00 1/57 17813 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 19206 0 0 0 91225 1294 0 0 25 0 1 0 1843906753 50442240 9967 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12315 9967 232 232 0 12083 0 [pid=17781] vsize: 49260 Current children cumulated CPU time (s) 925.19 Current children cumulated vsize (Kb) 49260 [startup+960.057 s] Raw data (loadavg): 1.06 1.00 1.00 1/57 17813 Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 19314 0 0 0 92189 1306 0 0 25 0 1 0 1843906753 50442240 9978 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12315 9978 232 232 0 12083 0 [pid=17781] vsize: 49260 Current children cumulated CPU time (s) 934.95 Current children cumulated vsize (Kb) 49260 [startup+970.057 s] Raw data (loadavg): 1.05 1.00 1.00 2/57 17813 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19360 0 0 0 93159 1316 0 0 25 0 1 0 1843906753 50442240 10024 4294967295 134512640 135450776 3221224544 3221223264 134539597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/17781/statm): 12315 10024 232 232 0 12083 0 [pid=17781] vsize: 49260 Current children cumulated CPU time (s) 944.75 Current children cumulated vsize (Kb) 49260 [startup+980.058 s] Raw data (loadavg): 1.04 1.00 1.00 2/57 17813 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19417 0 0 0 94122 1329 0 0 25 0 1 0 1843906753 50573312 10081 4294967295 134512640 135450776 3221224544 3221223412 134539972 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/17781/statm): 12347 10081 232 232 0 12115 0 [pid=17781] vsize: 49388 Current children cumulated CPU time (s) 954.51 Current children cumulated vsize (Kb) 49388 [startup+990.059 s] Raw data (loadavg): 1.04 1.00 1.00 2/57 17813 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19473 0 0 0 95088 1342 0 0 25 0 1 0 1843906753 50573312 10137 4294967295 134512640 135450776 3221224544 3221223264 134539010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/17781/statm): 12347 10137 232 232 0 12115 0 [pid=17781] vsize: 49388 Current children cumulated CPU time (s) 964.3 Current children cumulated vsize (Kb) 49388 [startup+1000.06 s] Raw data (loadavg): 1.03 1.00 1.00 2/57 17815 Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19554 0 0 0 96055 1353 0 0 25 0 1 0 1843906753 50708480 10218 4294967295 134512640 135450776 3221224544 3221223264 134539299 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/17781/statm): 12380 10218 232 232 0 12148 0 [pid=17781] vsize: 49520 Current children cumulated CPU time (s) 974.08 Current children cumulated vsize (Kb) 49520 One traced child (pid=17781) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 1006.45 CPU time (s): 980.337 CPU user time (s): 966.703 CPU system time (s): 13.6339 CPU usage (%): 97.4054 Max. virtual memory (cumulated for all children) (Kb): 49520
ERROR: no interpretation found !