Name | mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb |
MD5SUM | ad40fa9446ec809d050488ebdd2a269a |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 126208 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 770 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1144575 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 128000000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 268466430 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1206.86 |
Number of variables | 128716 |
Total number of constraints | 28077 |
Number of constraints which are clauses | 2438 |
Number of constraints which are cardinality constraints (but not clauses) | 7196 |
Number of constraints which are nor clauses,nor cardinality constraints | 18443 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 55 |
LAUNCH ON wulflinc17 THE 2005-09-20 17:49:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5828 boxname=wulflinc17 idbench=1140 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: ad40fa9446ec809d050488ebdd2a269a /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-CMS750_4.opb REAL COMMAND: Pueblo IDLAUNCH: 5828 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 849456 kB Buffers: 32992 kB Cached: 122796 kB SwapCached: 612 kB Active: 71188 kB Inactive: 87140 kB HighTotal: 131008 kB HighFree: 7644 kB LowTotal: 903652 kB LowFree: 841812 kB SwapTotal: 2097892 kB SwapFree: 2096676 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5692 kB Slab: 21212 kB Committed_AS: 64320 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 18:09:50 (client local time) WITH STATUS 0 IN 1205.54 SECONDS stats: 5828 7 1205.54 0
c Pueblo version 1.3 (July 2005) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini
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/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860491135 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 41 3 40 18 0 23 0 [pid=26733] vsize: 164 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libstdc++.so.5 open syscall for file tls/i686/libstdc++.so.5 open syscall for file tls/mmx/libstdc++.so.5 open syscall for file tls/libstdc++.so.5 open syscall for file i686/mmx/libstdc++.so.5 open syscall for file i686/libstdc++.so.5 open syscall for file mmx/libstdc++.so.5 open syscall for file libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/libstdc++.so.5 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++.so.5 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 [startup+10.0038 s] Raw data (loadavg): 0.89 0.97 0.94 1/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) T 26732 26733 19316 0 -1 0 6358 0 0 0 957 29 0 0 25 0 1 0 1860491135 27594752 6324 4294967295 134512640 134578447 3221224624 3221091940 1075668638 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/26733/statm): 6737 6324 566 18 0 6719 0 [pid=26733] vsize: 26948 Current children cumulated CPU time (s) 9.86 Current children cumulated vsize (Kb) 26948 [startup+20.0044 s] Raw data (loadavg): 0.90 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 193190 0 0 0 1578 382 0 0 25 0 1 0 1860491135 45178880 10582 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 11030 10588 566 18 0 11012 0 [pid=26733] vsize: 44120 Current children cumulated CPU time (s) 19.6 Current children cumulated vsize (Kb) 44120 [startup+30.005 s] Raw data (loadavg): 0.92 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 481785 0 0 0 1997 930 0 0 25 0 1 0 1860491135 45178880 10511 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 11030 10519 566 18 0 11012 0 [pid=26733] vsize: 44120 Current children cumulated CPU time (s) 29.27 Current children cumulated vsize (Kb) 44120 [startup+40.0056 s] Raw data (loadavg): 0.93 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 770009 0 0 0 2417 1477 0 0 25 0 1 0 1860491135 45178880 10573 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 11030 10580 566 18 0 11012 0 [pid=26733] vsize: 44120 Current children cumulated CPU time (s) 38.94 Current children cumulated vsize (Kb) 44120 [startup+50.0052 s] Raw data (loadavg): 0.94 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 1052786 0 0 0 2832 2026 0 0 25 0 1 0 1860491135 45178880 10480 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 11030 10488 566 18 0 11012 0 [pid=26733] vsize: 44120 Current children cumulated CPU time (s) 48.58 Current children cumulated vsize (Kb) 44120 [startup+60.0058 s] Raw data (loadavg): 0.95 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 1332072 0 0 0 3245 2581 0 0 25 0 1 0 1860491135 45449216 10550 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 11096 10558 566 18 0 11078 0 [pid=26733] vsize: 44384 Current children cumulated CPU time (s) 58.26 Current children cumulated vsize (Kb) 44384 [startup+70.0054 s] Raw data (loadavg): 0.96 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 1616665 0 0 0 3674 3112 0 0 25 0 1 0 1860491135 47882240 11139 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 11690 11139 566 18 0 11672 0 [pid=26733] vsize: 46760 Current children cumulated CPU time (s) 67.86 Current children cumulated vsize (Kb) 46760 [startup+80.006 s] Raw data (loadavg): 0.96 0.97 0.94 1/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) T 26732 26733 19316 0 -1 0 1898063 0 0 0 4098 3651 0 0 25 0 1 0 1860491135 50204672 11809 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/26733/statm): 12257 11809 566 18 0 12239 0 [pid=26733] vsize: 49028 Current children cumulated CPU time (s) 77.49 Current children cumulated vsize (Kb) 49028 [startup+90.0056 s] Raw data (loadavg): 0.97 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 2177019 0 0 0 4520 4195 0 0 25 0 1 0 1860491135 53112832 12432 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 12967 12432 566 18 0 12949 0 [pid=26733] vsize: 51868 Current children cumulated CPU time (s) 87.15 Current children cumulated vsize (Kb) 51868 [startup+100.005 s] Raw data (loadavg): 0.97 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 2458731 0 0 0 4941 4740 0 0 25 0 1 0 1860491135 55005184 12911 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 13429 12921 566 18 0 13411 0 [pid=26733] vsize: 53716 Current children cumulated CPU time (s) 96.81 Current children cumulated vsize (Kb) 53716 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 2737880 0 0 0 5357 5290 0 0 25 0 1 0 1860491135 57303040 13475 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 13990 13475 566 18 0 13972 0 [pid=26733] vsize: 55960 Current children cumulated CPU time (s) 106.47 Current children cumulated vsize (Kb) 55960 [startup+120.006 s] Raw data (loadavg): 0.98 0.97 0.94 1/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) T 26732 26733 19316 0 -1 0 3020046 0 0 0 5790 5824 0 0 25 0 1 0 1860491135 59355136 14030 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/26733/statm): 14491 14030 566 18 0 14473 0 [pid=26733] vsize: 57964 Current children cumulated CPU time (s) 116.14 Current children cumulated vsize (Kb) 57964 [startup+130.007 s] Raw data (loadavg): 0.98 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3299903 0 0 0 6221 6355 0 0 25 0 1 0 1860491135 62304256 14671 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 15211 14671 566 18 0 15193 0 [pid=26733] vsize: 60844 Current children cumulated CPU time (s) 125.76 Current children cumulated vsize (Kb) 60844 [startup+140.008 s] Raw data (loadavg): 0.98 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3553524 0 0 0 6706 6839 0 0 25 0 1 0 1860491135 64987136 15410 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 15866 15410 566 18 0 15848 0 [pid=26733] vsize: 63464 Current children cumulated CPU time (s) 135.45 Current children cumulated vsize (Kb) 63464 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3553760 0 0 0 7705 6840 0 0 25 0 1 0 1860491135 66072576 15646 4294967295 134512640 134578447 3221224624 3221223456 134528360 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 16131 15646 566 18 0 16113 0 [pid=26733] vsize: 64524 Current children cumulated CPU time (s) 145.45 Current children cumulated vsize (Kb) 64524 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3554901 0 0 0 8702 6843 0 0 25 0 1 0 1860491135 70983680 16787 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 17330 16787 566 18 0 17312 0 [pid=26733] vsize: 69320 Current children cumulated CPU time (s) 155.45 Current children cumulated vsize (Kb) 69320 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3554921 0 0 0 9701 6843 0 0 25 0 1 0 1860491135 70983680 16807 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 17330 16807 566 18 0 17312 0 [pid=26733] vsize: 69320 Current children cumulated CPU time (s) 165.44 Current children cumulated vsize (Kb) 69320 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3554966 0 0 0 10701 6844 0 0 25 0 1 0 1860491135 71245824 16852 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 17394 16852 566 18 0 17376 0 [pid=26733] vsize: 69576 Current children cumulated CPU time (s) 175.45 Current children cumulated vsize (Kb) 69576 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3555060 0 0 0 11700 6844 0 0 25 0 1 0 1860491135 71516160 16946 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 17460 16946 566 18 0 17442 0 [pid=26733] vsize: 69840 Current children cumulated CPU time (s) 185.44 Current children cumulated vsize (Kb) 69840 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3555108 0 0 0 12700 6845 0 0 25 0 1 0 1860491135 71753728 16994 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 17518 16994 566 18 0 17500 0 [pid=26733] vsize: 70072 Current children cumulated CPU time (s) 195.45 Current children cumulated vsize (Kb) 70072 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3555201 0 0 0 13699 6845 0 0 25 0 1 0 1860491135 72118272 17087 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 17607 17087 566 18 0 17589 0 [pid=26733] vsize: 70428 Current children cumulated CPU time (s) 205.44 Current children cumulated vsize (Kb) 70428 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3555465 0 0 0 14698 6846 0 0 25 0 1 0 1860491135 73179136 17351 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 17866 17351 566 18 0 17848 0 [pid=26733] vsize: 71464 Current children cumulated CPU time (s) 215.44 Current children cumulated vsize (Kb) 71464 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3555701 0 0 0 15697 6847 0 0 25 0 1 0 1860491135 74231808 17587 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 18123 17587 566 18 0 18105 0 [pid=26733] vsize: 72492 Current children cumulated CPU time (s) 225.44 Current children cumulated vsize (Kb) 72492 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3555847 0 0 0 16696 6848 0 0 25 0 1 0 1860491135 74764288 17733 4294967295 134512640 134578447 3221224624 3221223504 134527686 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 18253 17733 566 18 0 18235 0 [pid=26733] vsize: 73012 Current children cumulated CPU time (s) 235.44 Current children cumulated vsize (Kb) 73012 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3556031 0 0 0 17695 6849 0 0 25 0 1 0 1860491135 75534336 17917 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 18441 17917 566 18 0 18423 0 [pid=26733] vsize: 73764 Current children cumulated CPU time (s) 245.44 Current children cumulated vsize (Kb) 73764 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3556128 0 0 0 18694 6850 0 0 25 0 1 0 1860491135 75911168 18014 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 18533 18014 566 18 0 18515 0 [pid=26733] vsize: 74132 Current children cumulated CPU time (s) 255.44 Current children cumulated vsize (Kb) 74132 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3556256 0 0 0 19693 6851 0 0 25 0 1 0 1860491135 76439552 18142 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 18662 18142 566 18 0 18644 0 [pid=26733] vsize: 74648 Current children cumulated CPU time (s) 265.44 Current children cumulated vsize (Kb) 74648 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3556384 0 0 0 20692 6851 0 0 25 0 1 0 1860491135 76959744 18270 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 18789 18270 566 18 0 18771 0 [pid=26733] vsize: 75156 Current children cumulated CPU time (s) 275.43 Current children cumulated vsize (Kb) 75156 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3556507 0 0 0 21692 6852 0 0 25 0 1 0 1860491135 77492224 18393 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 18919 18393 566 18 0 18901 0 [pid=26733] vsize: 75676 Current children cumulated CPU time (s) 285.44 Current children cumulated vsize (Kb) 75676 [startup+300.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3556626 0 0 0 22691 6853 0 0 25 0 1 0 1860491135 78024704 18512 4294967295 134512640 134578447 3221224624 3221223504 134528079 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 19049 18512 566 18 0 19031 0 [pid=26733] vsize: 76196 Current children cumulated CPU time (s) 295.44 Current children cumulated vsize (Kb) 76196 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3556765 0 0 0 23690 6854 0 0 25 0 1 0 1860491135 78557184 18651 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 19179 18651 566 18 0 19161 0 [pid=26733] vsize: 76716 Current children cumulated CPU time (s) 305.44 Current children cumulated vsize (Kb) 76716 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3556922 0 0 0 24689 6855 0 0 25 0 1 0 1860491135 79200256 18808 4294967295 134512640 134578447 3221224624 3221223412 1075289714 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 19336 18808 566 18 0 19318 0 [pid=26733] vsize: 77344 Current children cumulated CPU time (s) 315.44 Current children cumulated vsize (Kb) 77344 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3557076 0 0 0 25687 6856 0 0 25 0 1 0 1860491135 79859712 18962 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 19497 18962 566 18 0 19479 0 [pid=26733] vsize: 77988 Current children cumulated CPU time (s) 325.43 Current children cumulated vsize (Kb) 77988 [startup+340.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3557201 0 0 0 26687 6857 0 0 25 0 1 0 1860491135 80396288 19087 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 19628 19087 566 18 0 19610 0 [pid=26733] vsize: 78512 Current children cumulated CPU time (s) 335.44 Current children cumulated vsize (Kb) 78512 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3557281 0 0 0 27685 6858 0 0 25 0 1 0 1860491135 80658432 19167 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 19692 19167 566 18 0 19674 0 [pid=26733] vsize: 78768 Current children cumulated CPU time (s) 345.43 Current children cumulated vsize (Kb) 78768 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3557346 0 0 0 28684 6858 0 0 25 0 1 0 1860491135 80916480 19232 4294967295 134512640 134578447 3221224624 3221223412 1075289770 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 19755 19232 566 18 0 19737 0 [pid=26733] vsize: 79020 Current children cumulated CPU time (s) 355.42 Current children cumulated vsize (Kb) 79020 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3557448 0 0 0 29684 6859 0 0 25 0 1 0 1860491135 81309696 19334 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 19851 19334 566 18 0 19833 0 [pid=26733] vsize: 79404 Current children cumulated CPU time (s) 365.43 Current children cumulated vsize (Kb) 79404 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3557556 0 0 0 30684 6859 0 0 25 0 1 0 1860491135 81833984 19442 4294967295 134512640 134578447 3221224624 3221223412 1075289770 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 19979 19442 566 18 0 19961 0 [pid=26733] vsize: 79916 Current children cumulated CPU time (s) 375.43 Current children cumulated vsize (Kb) 79916 [startup+390.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3557668 0 0 0 31683 6860 0 0 25 0 1 0 1860491135 82223104 19554 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 20074 19554 566 18 0 20056 0 [pid=26733] vsize: 80296 Current children cumulated CPU time (s) 385.43 Current children cumulated vsize (Kb) 80296 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3557770 0 0 0 32683 6860 0 0 25 0 1 0 1860491135 82620416 19656 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 20171 19656 566 18 0 20153 0 [pid=26733] vsize: 80684 Current children cumulated CPU time (s) 395.43 Current children cumulated vsize (Kb) 80684 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3557900 0 0 0 33683 6860 0 0 25 0 1 0 1860491135 83144704 19786 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 20299 19786 566 18 0 20281 0 [pid=26733] vsize: 81196 Current children cumulated CPU time (s) 405.43 Current children cumulated vsize (Kb) 81196 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3557978 0 0 0 34683 6861 0 0 25 0 1 0 1860491135 83529728 19864 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 20393 19864 566 18 0 20375 0 [pid=26733] vsize: 81572 Current children cumulated CPU time (s) 415.44 Current children cumulated vsize (Kb) 81572 [startup+430.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3558049 0 0 0 35682 6861 0 0 25 0 1 0 1860491135 83787776 19935 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 20456 19935 566 18 0 20438 0 [pid=26733] vsize: 81824 Current children cumulated CPU time (s) 425.43 Current children cumulated vsize (Kb) 81824 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3558165 0 0 0 36682 6861 0 0 25 0 1 0 1860491135 84307968 20051 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 20583 20051 566 18 0 20565 0 [pid=26733] vsize: 82332 Current children cumulated CPU time (s) 435.43 Current children cumulated vsize (Kb) 82332 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3558276 0 0 0 37682 6862 0 0 25 0 1 0 1860491135 84701184 20162 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 20679 20162 566 18 0 20661 0 [pid=26733] vsize: 82716 Current children cumulated CPU time (s) 445.44 Current children cumulated vsize (Kb) 82716 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3558352 0 0 0 38681 6862 0 0 25 0 1 0 1860491135 85094400 20238 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 20775 20238 566 18 0 20757 0 [pid=26733] vsize: 83100 Current children cumulated CPU time (s) 455.43 Current children cumulated vsize (Kb) 83100 [startup+470.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3558508 0 0 0 39681 6863 0 0 25 0 1 0 1860491135 85753856 20394 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 20936 20394 566 18 0 20918 0 [pid=26733] vsize: 83744 Current children cumulated CPU time (s) 465.44 Current children cumulated vsize (Kb) 83744 [startup+480.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3558660 0 0 0 40680 6864 0 0 25 0 1 0 1860491135 86278144 20546 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 21064 20546 566 18 0 21046 0 [pid=26733] vsize: 84256 Current children cumulated CPU time (s) 475.44 Current children cumulated vsize (Kb) 84256 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3558802 0 0 0 41679 6864 0 0 25 0 1 0 1860491135 86925312 20688 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 21222 20688 566 18 0 21204 0 [pid=26733] vsize: 84888 Current children cumulated CPU time (s) 485.43 Current children cumulated vsize (Kb) 84888 [startup+500.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3558880 0 0 0 42679 6865 0 0 25 0 1 0 1860491135 87187456 20766 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 21286 20766 566 18 0 21268 0 [pid=26733] vsize: 85144 Current children cumulated CPU time (s) 495.44 Current children cumulated vsize (Kb) 85144 [startup+510.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3558953 0 0 0 43679 6865 0 0 25 0 1 0 1860491135 87576576 20839 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 21381 20839 566 18 0 21363 0 [pid=26733] vsize: 85524 Current children cumulated CPU time (s) 505.44 Current children cumulated vsize (Kb) 85524 [startup+520.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3559066 0 0 0 44679 6865 0 0 25 0 1 0 1860491135 87965696 20952 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 21476 20952 566 18 0 21458 0 [pid=26733] vsize: 85904 Current children cumulated CPU time (s) 515.44 Current children cumulated vsize (Kb) 85904 [startup+530.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3559174 0 0 0 45679 6866 0 0 25 0 1 0 1860491135 88358912 21060 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 21572 21060 566 18 0 21554 0 [pid=26733] vsize: 86288 Current children cumulated CPU time (s) 525.45 Current children cumulated vsize (Kb) 86288 [startup+540.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3559290 0 0 0 46678 6866 0 0 25 0 1 0 1860491135 88887296 21176 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 21701 21176 566 18 0 21683 0 [pid=26733] vsize: 86804 Current children cumulated CPU time (s) 535.44 Current children cumulated vsize (Kb) 86804 [startup+550.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3559398 0 0 0 47678 6867 0 0 25 0 1 0 1860491135 89284608 21284 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 21798 21284 566 18 0 21780 0 [pid=26733] vsize: 87192 Current children cumulated CPU time (s) 545.45 Current children cumulated vsize (Kb) 87192 [startup+560.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3559547 0 0 0 48677 6867 0 0 25 0 1 0 1860491135 89939968 21433 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 21958 21433 566 18 0 21940 0 [pid=26733] vsize: 87832 Current children cumulated CPU time (s) 555.44 Current children cumulated vsize (Kb) 87832 [startup+570.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3559732 0 0 0 49676 6868 0 0 25 0 1 0 1860491135 90734592 21618 4294967295 134512640 134578447 3221224624 3221223456 134528460 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 22152 21618 566 18 0 22134 0 [pid=26733] vsize: 88608 Current children cumulated CPU time (s) 565.44 Current children cumulated vsize (Kb) 88608 [startup+580.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3559928 0 0 0 50675 6869 0 0 25 0 1 0 1860491135 91586560 21814 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 22360 21814 566 18 0 22342 0 [pid=26733] vsize: 89440 Current children cumulated CPU time (s) 575.44 Current children cumulated vsize (Kb) 89440 [startup+590.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3560123 0 0 0 51674 6870 0 0 25 0 1 0 1860491135 92381184 22009 4294967295 134512640 134578447 3221224624 3221223456 134558306 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26733/statm): 22554 22009 566 18 0 22536 0 [pid=26733] vsize: 90216 Current children cumulated CPU time (s) 585.44 Current children cumulated vsize (Kb) 90216 [startup+600.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3560321 0 0 0 52671 6872 0 0 25 0 1 0 1860491135 93171712 22207 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 22747 22207 566 18 0 22729 0 [pid=26733] vsize: 90988 Current children cumulated CPU time (s) 595.43 Current children cumulated vsize (Kb) 90988 [startup+610.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3560519 0 0 0 53671 6872 0 0 25 0 1 0 1860491135 93962240 22405 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 22940 22405 566 18 0 22922 0 [pid=26733] vsize: 91760 Current children cumulated CPU time (s) 605.43 Current children cumulated vsize (Kb) 91760 [startup+620.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26733 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3560713 0 0 0 54670 6873 0 0 25 0 1 0 1860491135 94760960 22599 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 23135 22599 566 18 0 23117 0 [pid=26733] vsize: 92540 Current children cumulated CPU time (s) 615.43 Current children cumulated vsize (Kb) 92540 [startup+630.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26788 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3560902 0 0 0 55666 6876 0 0 25 0 1 0 1860491135 95559680 22788 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 23330 22788 566 18 0 23312 0 [pid=26733] vsize: 93320 Current children cumulated CPU time (s) 625.42 Current children cumulated vsize (Kb) 93320 [startup+640.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26788 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3561099 0 0 0 56665 6877 0 0 25 0 1 0 1860491135 96350208 22985 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 23523 22985 566 18 0 23505 0 [pid=26733] vsize: 94092 Current children cumulated CPU time (s) 635.42 Current children cumulated vsize (Kb) 94092 [startup+650.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26788 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3561299 0 0 0 57664 6878 0 0 25 0 1 0 1860491135 97140736 23185 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 23716 23185 566 18 0 23698 0 [pid=26733] vsize: 94864 Current children cumulated CPU time (s) 645.42 Current children cumulated vsize (Kb) 94864 [startup+660.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26788 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3561512 0 0 0 58663 6879 0 0 25 0 1 0 1860491135 98066432 23398 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 23942 23398 566 18 0 23924 0 [pid=26733] vsize: 95768 Current children cumulated CPU time (s) 655.42 Current children cumulated vsize (Kb) 95768 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26788 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3561722 0 0 0 59662 6880 0 0 25 0 1 0 1860491135 98852864 23608 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 24134 23608 566 18 0 24116 0 [pid=26733] vsize: 96536 Current children cumulated CPU time (s) 665.42 Current children cumulated vsize (Kb) 96536 [startup+680.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26788 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3561917 0 0 0 60662 6881 0 0 25 0 1 0 1860491135 99647488 23803 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 24328 23803 566 18 0 24310 0 [pid=26733] vsize: 97312 Current children cumulated CPU time (s) 675.43 Current children cumulated vsize (Kb) 97312 [startup+690.026 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26790 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3562060 0 0 0 61661 6881 0 0 25 0 1 0 1860491135 100306944 23946 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 24489 23946 566 18 0 24471 0 [pid=26733] vsize: 97956 Current children cumulated CPU time (s) 685.42 Current children cumulated vsize (Kb) 97956 [startup+700.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3562177 0 0 0 62661 6882 0 0 25 0 1 0 1860491135 100704256 24063 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 24586 24063 566 18 0 24568 0 [pid=26733] vsize: 98344 Current children cumulated CPU time (s) 695.43 Current children cumulated vsize (Kb) 98344 [startup+710.026 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3562273 0 0 0 63660 6882 0 0 25 0 1 0 1860491135 101199872 24159 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 24707 24159 566 18 0 24689 0 [pid=26733] vsize: 98828 Current children cumulated CPU time (s) 705.42 Current children cumulated vsize (Kb) 98828 [startup+720.027 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3562345 0 0 0 64660 6882 0 0 25 0 1 0 1860491135 101453824 24231 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 24769 24231 566 18 0 24751 0 [pid=26733] vsize: 99076 Current children cumulated CPU time (s) 715.42 Current children cumulated vsize (Kb) 99076 [startup+730.027 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3562416 0 0 0 65660 6882 0 0 25 0 1 0 1860491135 101707776 24302 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 24831 24302 566 18 0 24813 0 [pid=26733] vsize: 99324 Current children cumulated CPU time (s) 725.42 Current children cumulated vsize (Kb) 99324 [startup+740.028 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3562525 0 0 0 66660 6883 0 0 25 0 1 0 1860491135 102211584 24411 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 24954 24411 566 18 0 24936 0 [pid=26733] vsize: 99816 Current children cumulated CPU time (s) 735.43 Current children cumulated vsize (Kb) 99816 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3562686 0 0 0 67660 6883 0 0 25 0 1 0 1860491135 102871040 24572 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 25115 24572 566 18 0 25097 0 [pid=26733] vsize: 100460 Current children cumulated CPU time (s) 745.43 Current children cumulated vsize (Kb) 100460 [startup+760.028 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3562848 0 0 0 68659 6883 0 0 25 0 1 0 1860491135 103530496 24734 4294967295 134512640 134578447 3221224624 3221223504 134527431 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 25276 24734 566 18 0 25258 0 [pid=26733] vsize: 101104 Current children cumulated CPU time (s) 755.42 Current children cumulated vsize (Kb) 101104 [startup+770.029 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3563004 0 0 0 69659 6884 0 0 25 0 1 0 1860491135 104194048 24890 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 25438 24890 566 18 0 25420 0 [pid=26733] vsize: 101752 Current children cumulated CPU time (s) 765.43 Current children cumulated vsize (Kb) 101752 [startup+780.029 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3563115 0 0 0 70658 6885 0 0 25 0 1 0 1860491135 104591360 25001 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 25535 25001 566 18 0 25517 0 [pid=26733] vsize: 102140 Current children cumulated CPU time (s) 775.43 Current children cumulated vsize (Kb) 102140 [startup+790.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3563192 0 0 0 71658 6885 0 0 25 0 1 0 1860491135 104853504 25078 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 25599 25078 566 18 0 25581 0 [pid=26733] vsize: 102396 Current children cumulated CPU time (s) 785.43 Current children cumulated vsize (Kb) 102396 [startup+800.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3563276 0 0 0 72658 6886 0 0 25 0 1 0 1860491135 105254912 25162 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 25697 25162 566 18 0 25679 0 [pid=26733] vsize: 102788 Current children cumulated CPU time (s) 795.44 Current children cumulated vsize (Kb) 102788 [startup+810.031 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3563435 0 0 0 73657 6886 0 0 25 0 1 0 1860491135 105926656 25321 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 25861 25321 566 18 0 25843 0 [pid=26733] vsize: 103444 Current children cumulated CPU time (s) 805.43 Current children cumulated vsize (Kb) 103444 [startup+820.032 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3563592 0 0 0 74657 6887 0 0 25 0 1 0 1860491135 106598400 25478 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 26025 25478 566 18 0 26007 0 [pid=26733] vsize: 104100 Current children cumulated CPU time (s) 815.44 Current children cumulated vsize (Kb) 104100 [startup+830.032 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3563697 0 0 0 75657 6887 0 0 25 0 1 0 1860491135 107003904 25583 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 26124 25583 566 18 0 26106 0 [pid=26733] vsize: 104496 Current children cumulated CPU time (s) 825.44 Current children cumulated vsize (Kb) 104496 [startup+840.033 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3563822 0 0 0 76657 6887 0 0 25 0 1 0 1860491135 107511808 25708 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 26248 25708 566 18 0 26230 0 [pid=26733] vsize: 104992 Current children cumulated CPU time (s) 835.44 Current children cumulated vsize (Kb) 104992 [startup+850.032 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3563938 0 0 0 77656 6887 0 0 25 0 1 0 1860491135 107999232 25824 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 26367 25824 566 18 0 26349 0 [pid=26733] vsize: 105468 Current children cumulated CPU time (s) 845.43 Current children cumulated vsize (Kb) 105468 [startup+860.033 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3564003 0 0 0 78657 6888 0 0 25 0 1 0 1860491135 108265472 25889 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 26432 25889 566 18 0 26414 0 [pid=26733] vsize: 105728 Current children cumulated CPU time (s) 855.45 Current children cumulated vsize (Kb) 105728 [startup+870.034 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3564094 0 0 0 79656 6888 0 0 25 0 1 0 1860491135 108654592 25980 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 26527 25980 566 18 0 26509 0 [pid=26733] vsize: 106108 Current children cumulated CPU time (s) 865.44 Current children cumulated vsize (Kb) 106108 [startup+880.034 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3564120 0 0 0 80656 6888 0 0 25 0 1 0 1860491135 108638208 26006 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 26523 26006 566 18 0 26505 0 [pid=26733] vsize: 106092 Current children cumulated CPU time (s) 875.44 Current children cumulated vsize (Kb) 106092 [startup+890.035 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3564218 0 0 0 81656 6889 0 0 25 0 1 0 1860491135 109150208 26104 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 26648 26104 566 18 0 26630 0 [pid=26733] vsize: 106592 Current children cumulated CPU time (s) 885.45 Current children cumulated vsize (Kb) 106592 [startup+900.034 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3564327 0 0 0 82655 6889 0 0 25 0 1 0 1860491135 109506560 26213 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 26735 26213 566 18 0 26717 0 [pid=26733] vsize: 106940 Current children cumulated CPU time (s) 895.44 Current children cumulated vsize (Kb) 106940 [startup+910.035 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3564447 0 0 0 83655 6890 0 0 25 0 1 0 1860491135 109998080 26333 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 26855 26333 566 18 0 26837 0 [pid=26733] vsize: 107420 Current children cumulated CPU time (s) 905.45 Current children cumulated vsize (Kb) 107420 [startup+920.036 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3564618 0 0 0 84654 6890 0 0 25 0 1 0 1860491135 110669824 26504 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27019 26504 566 18 0 27001 0 [pid=26733] vsize: 108076 Current children cumulated CPU time (s) 915.44 Current children cumulated vsize (Kb) 108076 [startup+930.037 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3564799 0 0 0 85654 6891 0 0 25 0 1 0 1860491135 111489024 26685 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27219 26685 566 18 0 27201 0 [pid=26733] vsize: 108876 Current children cumulated CPU time (s) 925.45 Current children cumulated vsize (Kb) 108876 [startup+940.038 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3564849 0 0 0 86654 6891 0 0 25 0 1 0 1860491135 111751168 26735 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27283 26735 566 18 0 27265 0 [pid=26733] vsize: 109132 Current children cumulated CPU time (s) 935.45 Current children cumulated vsize (Kb) 109132 [startup+950.037 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26792 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3564939 0 0 0 87654 6891 0 0 25 0 1 0 1860491135 112087040 26825 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27365 26825 566 18 0 27347 0 [pid=26733] vsize: 109460 Current children cumulated CPU time (s) 945.45 Current children cumulated vsize (Kb) 109460 [startup+960.038 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565030 0 0 0 88654 6891 0 0 25 0 1 0 1860491135 112467968 26916 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27458 26916 566 18 0 27440 0 [pid=26733] vsize: 109832 Current children cumulated CPU time (s) 955.45 Current children cumulated vsize (Kb) 109832 [startup+970.039 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565088 0 0 0 89654 6891 0 0 25 0 1 0 1860491135 112599040 26974 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27490 26974 566 18 0 27472 0 [pid=26733] vsize: 109960 Current children cumulated CPU time (s) 965.45 Current children cumulated vsize (Kb) 109960 [startup+980.039 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565119 0 0 0 90654 6891 0 0 25 0 1 0 1860491135 112726016 27005 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27521 27005 566 18 0 27503 0 [pid=26733] vsize: 110084 Current children cumulated CPU time (s) 975.45 Current children cumulated vsize (Kb) 110084 [startup+990.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565153 0 0 0 91654 6892 0 0 25 0 1 0 1860491135 112971776 27039 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27581 27039 566 18 0 27563 0 [pid=26733] vsize: 110324 Current children cumulated CPU time (s) 985.46 Current children cumulated vsize (Kb) 110324 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565195 0 0 0 92654 6892 0 0 25 0 1 0 1860491135 113102848 27081 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27613 27081 566 18 0 27595 0 [pid=26733] vsize: 110452 Current children cumulated CPU time (s) 995.46 Current children cumulated vsize (Kb) 110452 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565246 0 0 0 93654 6892 0 0 25 0 1 0 1860491135 113332224 27132 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27669 27132 566 18 0 27651 0 [pid=26733] vsize: 110676 Current children cumulated CPU time (s) 1005.46 Current children cumulated vsize (Kb) 110676 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565267 0 0 0 94654 6892 0 0 25 0 1 0 1860491135 113332224 27153 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27669 27153 566 18 0 27651 0 [pid=26733] vsize: 110676 Current children cumulated CPU time (s) 1015.46 Current children cumulated vsize (Kb) 110676 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565339 0 0 0 95654 6892 0 0 25 0 1 0 1860491135 113676288 27225 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27753 27225 566 18 0 27735 0 [pid=26733] vsize: 111012 Current children cumulated CPU time (s) 1025.46 Current children cumulated vsize (Kb) 111012 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565417 0 0 0 96654 6893 0 0 25 0 1 0 1860491135 114065408 27303 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27848 27303 566 18 0 27830 0 [pid=26733] vsize: 111392 Current children cumulated CPU time (s) 1035.47 Current children cumulated vsize (Kb) 111392 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565479 0 0 0 97654 6893 0 0 25 0 1 0 1860491135 114311168 27365 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27908 27365 566 18 0 27890 0 [pid=26733] vsize: 111632 Current children cumulated CPU time (s) 1045.47 Current children cumulated vsize (Kb) 111632 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565519 0 0 0 98654 6893 0 0 25 0 1 0 1860491135 114446336 27405 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27941 27405 566 18 0 27923 0 [pid=26733] vsize: 111764 Current children cumulated CPU time (s) 1055.47 Current children cumulated vsize (Kb) 111764 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565560 0 0 0 99654 6893 0 0 25 0 1 0 1860491135 114569216 27446 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 27971 27446 566 18 0 27953 0 [pid=26733] vsize: 111884 Current children cumulated CPU time (s) 1065.47 Current children cumulated vsize (Kb) 111884 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565604 0 0 0 100654 6893 0 0 25 0 1 0 1860491135 114802688 27490 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 28028 27490 566 18 0 28010 0 [pid=26733] vsize: 112112 Current children cumulated CPU time (s) 1075.47 Current children cumulated vsize (Kb) 112112 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565647 0 0 0 101654 6893 0 0 25 0 1 0 1860491135 114925568 27533 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 28058 27533 566 18 0 28040 0 [pid=26733] vsize: 112232 Current children cumulated CPU time (s) 1085.47 Current children cumulated vsize (Kb) 112232 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565747 0 0 0 102653 6894 0 0 25 0 1 0 1860491135 115466240 27633 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 28190 27633 566 18 0 28172 0 [pid=26733] vsize: 112760 Current children cumulated CPU time (s) 1095.47 Current children cumulated vsize (Kb) 112760 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3565936 0 0 0 103652 6895 0 0 25 0 1 0 1860491135 116150272 27822 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 28357 27822 566 18 0 28339 0 [pid=26733] vsize: 113428 Current children cumulated CPU time (s) 1105.47 Current children cumulated vsize (Kb) 113428 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3566106 0 0 0 104652 6895 0 0 25 0 1 0 1860491135 116871168 27992 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 28533 27992 566 18 0 28515 0 [pid=26733] vsize: 114132 Current children cumulated CPU time (s) 1115.47 Current children cumulated vsize (Kb) 114132 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3566222 0 0 0 105651 6896 0 0 25 0 1 0 1860491135 117342208 28108 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 28648 28108 566 18 0 28630 0 [pid=26733] vsize: 114592 Current children cumulated CPU time (s) 1125.47 Current children cumulated vsize (Kb) 114592 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3566314 0 0 0 106651 6896 0 0 25 0 1 0 1860491135 117719040 28200 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 28740 28200 566 18 0 28722 0 [pid=26733] vsize: 114960 Current children cumulated CPU time (s) 1135.47 Current children cumulated vsize (Kb) 114960 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3566420 0 0 0 107651 6897 0 0 25 0 1 0 1860491135 118108160 28306 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 28835 28306 566 18 0 28817 0 [pid=26733] vsize: 115340 Current children cumulated CPU time (s) 1145.48 Current children cumulated vsize (Kb) 115340 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3566516 0 0 0 108650 6897 0 0 25 0 1 0 1860491135 118497280 28402 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 28930 28402 566 18 0 28912 0 [pid=26733] vsize: 115720 Current children cumulated CPU time (s) 1155.47 Current children cumulated vsize (Kb) 115720 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3566711 0 0 0 109649 6898 0 0 25 0 1 0 1860491135 119336960 28597 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 29135 28597 566 18 0 29117 0 [pid=26733] vsize: 116540 Current children cumulated CPU time (s) 1165.47 Current children cumulated vsize (Kb) 116540 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3566921 0 0 0 110649 6899 0 0 25 0 1 0 1860491135 120279040 28807 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 29365 28807 566 18 0 29347 0 [pid=26733] vsize: 117460 Current children cumulated CPU time (s) 1175.48 Current children cumulated vsize (Kb) 117460 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3567090 0 0 0 111648 6899 0 0 25 0 1 0 1860491135 120922112 28976 4294967295 134512640 134578447 3221224624 3221223456 134558345 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 29522 28976 566 18 0 29504 0 [pid=26733] vsize: 118088 Current children cumulated CPU time (s) 1185.47 Current children cumulated vsize (Kb) 118088 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3567146 0 0 0 112647 6900 0 0 25 0 1 0 1860491135 121196544 29032 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 29589 29032 566 18 0 29571 0 [pid=26733] vsize: 118356 Current children cumulated CPU time (s) 1195.47 Current children cumulated vsize (Kb) 118356 [startup+1210.05 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3567217 0 0 0 113647 6900 0 0 25 0 1 0 1860491135 121405440 29103 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 29640 29103 566 18 0 29622 0 [pid=26733] vsize: 118560 Current children cumulated CPU time (s) 1205.47 Current children cumulated vsize (Kb) 118560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.05 s] Raw data (loadavg): 0.99 0.97 0.94 2/56 26794 Raw data (/proc/26733/stat): 26733 (Pueblo) R 26732 26733 19316 0 -1 0 3567217 0 0 0 113647 6900 0 0 25 0 1 0 1860491135 121405440 29103 4294967295 134512640 134578447 3221224624 3221223552 134552665 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/26733/statm): 29640 29103 566 18 0 29622 0 [pid=26733] vsize: 118560 Current children cumulated CPU time (s) 1205.47 Current children cumulated vsize (Kb) 118560 Sending SIGTERM to -26733 Sleeping 2 seconds One traced child (pid=26733) 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): 1210.1 CPU time (s): 1205.54 CPU user time (s): 1136.48 CPU system time (s): 69.0555 CPU usage (%): 99.6224 Max. virtual memory (cumulated for all children) (Kb): 118560
ERROR: no interpretation found !