Name | submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb |
MD5SUM | 4fdec182582ed31d1ae371090f6cc5c1 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 1200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1200 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1200 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 1200 |
Total number of constraints | 3150 |
Number of constraints which are clauses | 3150 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
LAUNCH ON wulflinc31 THE 2005-09-20 13:17:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4812 boxname=wulflinc31 idbench=124 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 4fdec182582ed31d1ae371090f6cc5c1 /oldhome/oroussel/tmp/wulflinc31/normalized-f600.opb REAL COMMAND: Pueblo IDLAUNCH: 4812 /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: 851352 kB Buffers: 31592 kB Cached: 123784 kB SwapCached: 1160 kB Active: 46928 kB Inactive: 111188 kB HighTotal: 131008 kB HighFree: 8652 kB LowTotal: 903652 kB LowFree: 842700 kB SwapTotal: 2097892 kB SwapFree: 2096252 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5700 kB Slab: 19596 kB Committed_AS: 64352 kB PageTables: 340 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 13:37:49 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 4812 7 1200.22 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/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1858794536 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/10404/statm): 41 3 40 18 0 23 0 [pid=10404] 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.0037 s] Raw data (loadavg): 0.64 0.27 0.10 2/57 10404 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 632 0 0 0 995 2 0 0 25 0 1 0 1858794536 4116480 598 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1005 598 566 18 0 987 0 [pid=10404] vsize: 4020 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 4020 [startup+20.0047 s] Raw data (loadavg): 0.69 0.30 0.11 2/57 10404 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 691 0 0 0 1995 2 0 0 25 0 1 0 1858794536 4378624 657 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1069 657 566 18 0 1051 0 [pid=10404] vsize: 4276 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 4276 [startup+30.0056 s] Raw data (loadavg): 0.74 0.32 0.12 2/57 10404 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 757 0 0 0 2995 2 0 0 25 0 1 0 1858794536 4640768 723 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1133 723 566 18 0 1115 0 [pid=10404] vsize: 4532 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 4532 [startup+40.0055 s] Raw data (loadavg): 0.78 0.34 0.13 2/57 10406 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 808 0 0 0 3995 2 0 0 25 0 1 0 1858794536 4907008 774 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1198 774 566 18 0 1180 0 [pid=10404] vsize: 4792 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 4792 [startup+50.0054 s] Raw data (loadavg): 0.81 0.36 0.13 2/57 10406 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 827 0 0 0 4995 2 0 0 25 0 1 0 1858794536 4907008 793 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1198 793 566 18 0 1180 0 [pid=10404] vsize: 4792 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 4792 [startup+60.0064 s] Raw data (loadavg): 0.84 0.38 0.14 2/57 10406 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 842 0 0 0 5995 2 0 0 25 0 1 0 1858794536 5042176 808 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1231 808 566 18 0 1213 0 [pid=10404] vsize: 4924 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 4924 [startup+70.0063 s] Raw data (loadavg): 0.86 0.40 0.15 2/57 10406 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 889 0 0 0 6995 2 0 0 25 0 1 0 1858794536 5177344 855 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1264 855 566 18 0 1246 0 [pid=10404] vsize: 5056 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 5056 [startup+80.0072 s] Raw data (loadavg): 0.89 0.42 0.16 2/57 10406 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 931 0 0 0 7995 3 0 0 25 0 1 0 1858794536 5443584 897 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1329 897 566 18 0 1311 0 [pid=10404] vsize: 5316 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 5316 [startup+90.0081 s] Raw data (loadavg): 0.90 0.44 0.17 2/57 10406 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 946 0 0 0 8995 3 0 0 25 0 1 0 1858794536 5443584 912 4294967295 134512640 134578447 3221224624 3221223560 134519713 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1329 912 566 18 0 1311 0 [pid=10404] vsize: 5316 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 5316 [startup+100.008 s] Raw data (loadavg): 0.92 0.46 0.18 2/57 10408 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 948 0 0 0 9995 3 0 0 25 0 1 0 1858794536 5443584 914 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1329 914 566 18 0 1311 0 [pid=10404] vsize: 5316 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 5316 [startup+110.009 s] Raw data (loadavg): 0.93 0.48 0.19 2/57 10408 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 981 0 0 0 10996 3 0 0 25 0 1 0 1858794536 5578752 947 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1362 947 566 18 0 1344 0 [pid=10404] vsize: 5448 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 5448 [startup+120.01 s] Raw data (loadavg): 0.94 0.49 0.19 2/57 10408 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1005 0 0 0 11995 3 0 0 25 0 1 0 1858794536 5709824 971 4294967295 134512640 134578447 3221224624 3221223472 134558252 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1394 971 566 18 0 1376 0 [pid=10404] vsize: 5576 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 5576 [startup+130.011 s] Raw data (loadavg): 0.95 0.51 0.20 2/57 10408 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1012 0 0 0 12996 3 0 0 25 0 1 0 1858794536 5709824 978 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1394 978 566 18 0 1376 0 [pid=10404] vsize: 5576 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 5576 [startup+140.012 s] Raw data (loadavg): 0.96 0.52 0.21 2/57 10408 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1027 0 0 0 13996 3 0 0 25 0 1 0 1858794536 5840896 993 4294967295 134512640 134578447 3221224624 3221223472 134558252 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1426 993 566 18 0 1408 0 [pid=10404] vsize: 5704 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 5704 [startup+150.012 s] Raw data (loadavg): 0.96 0.54 0.22 2/57 10408 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1034 0 0 0 14996 3 0 0 25 0 1 0 1858794536 5840896 1000 4294967295 134512640 134578447 3221224624 3221223584 134559095 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1426 1000 566 18 0 1408 0 [pid=10404] vsize: 5704 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 5704 [startup+160.012 s] Raw data (loadavg): 0.97 0.55 0.23 2/57 10410 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1055 0 0 0 15996 4 0 0 25 0 1 0 1858794536 5840896 1021 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1426 1021 566 18 0 1408 0 [pid=10404] vsize: 5704 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 5704 [startup+170.012 s] Raw data (loadavg): 0.97 0.57 0.23 2/57 10410 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1090 0 0 0 16996 4 0 0 25 0 1 0 1858794536 5976064 1056 4294967295 134512640 134578447 3221224624 3221223520 134519771 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1459 1056 566 18 0 1441 0 [pid=10404] vsize: 5836 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 5836 [startup+180.012 s] Raw data (loadavg): 0.98 0.58 0.24 2/57 10410 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1125 0 0 0 17996 4 0 0 25 0 1 0 1858794536 6250496 1091 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1526 1091 566 18 0 1508 0 [pid=10404] vsize: 6104 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 6104 [startup+190.012 s] Raw data (loadavg): 0.98 0.60 0.25 2/57 10410 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1148 0 0 0 18996 4 0 0 25 0 1 0 1858794536 6250496 1114 4294967295 134512640 134578447 3221224624 3221223520 134556718 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1526 1114 566 18 0 1508 0 [pid=10404] vsize: 6104 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 6104 [startup+200.012 s] Raw data (loadavg): 0.98 0.61 0.26 2/57 10410 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1153 0 0 0 19996 4 0 0 25 0 1 0 1858794536 6250496 1119 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1526 1119 566 18 0 1508 0 [pid=10404] vsize: 6104 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 6104 [startup+210.013 s] Raw data (loadavg): 0.98 0.62 0.26 2/57 10410 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1160 0 0 0 20996 4 0 0 25 0 1 0 1858794536 6385664 1126 4294967295 134512640 134578447 3221224624 3221223584 134558924 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1559 1126 566 18 0 1541 0 [pid=10404] vsize: 6236 Current children cumulated CPU time (s) 210 Current children cumulated vsize (Kb) 6236 [startup+220.013 s] Raw data (loadavg): 0.99 0.63 0.27 2/57 10412 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1161 0 0 0 21996 5 0 0 25 0 1 0 1858794536 6385664 1127 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1559 1127 566 18 0 1541 0 [pid=10404] vsize: 6236 Current children cumulated CPU time (s) 220.01 Current children cumulated vsize (Kb) 6236 [startup+230.014 s] Raw data (loadavg): 0.99 0.64 0.28 2/57 10412 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1190 0 0 0 22996 5 0 0 25 0 1 0 1858794536 6520832 1156 4294967295 134512640 134578447 3221224624 3221223472 134558389 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1592 1156 566 18 0 1574 0 [pid=10404] vsize: 6368 Current children cumulated CPU time (s) 230.01 Current children cumulated vsize (Kb) 6368 [startup+240.015 s] Raw data (loadavg): 0.99 0.66 0.29 2/57 10412 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1190 0 0 0 23997 5 0 0 25 0 1 0 1858794536 6520832 1156 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1592 1156 566 18 0 1574 0 [pid=10404] vsize: 6368 Current children cumulated CPU time (s) 240.02 Current children cumulated vsize (Kb) 6368 [startup+250.015 s] Raw data (loadavg): 0.99 0.67 0.29 2/57 10412 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1200 0 0 0 24997 5 0 0 25 0 1 0 1858794536 6520832 1166 4294967295 134512640 134578447 3221224624 3221223520 134519869 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1592 1166 566 18 0 1574 0 [pid=10404] vsize: 6368 Current children cumulated CPU time (s) 250.02 Current children cumulated vsize (Kb) 6368 [startup+260.015 s] Raw data (loadavg): 0.99 0.68 0.30 2/57 10412 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1238 0 0 0 25997 5 0 0 25 0 1 0 1858794536 6651904 1204 4294967295 134512640 134578447 3221224624 3221223664 134531670 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1624 1204 566 18 0 1606 0 [pid=10404] vsize: 6496 Current children cumulated CPU time (s) 260.02 Current children cumulated vsize (Kb) 6496 [startup+270.015 s] Raw data (loadavg): 0.99 0.69 0.31 2/57 10412 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1253 0 0 0 26997 5 0 0 25 0 1 0 1858794536 6651904 1219 4294967295 134512640 134578447 3221224624 3221223536 134556756 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1624 1219 566 18 0 1606 0 [pid=10404] vsize: 6496 Current children cumulated CPU time (s) 270.02 Current children cumulated vsize (Kb) 6496 [startup+280.016 s] Raw data (loadavg): 0.99 0.70 0.31 2/57 10414 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1284 0 0 0 27997 5 0 0 25 0 1 0 1858794536 6782976 1250 4294967295 134512640 134578447 3221224624 3221223488 134517506 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1656 1250 566 18 0 1638 0 [pid=10404] vsize: 6624 Current children cumulated CPU time (s) 280.02 Current children cumulated vsize (Kb) 6624 [startup+290.016 s] Raw data (loadavg): 0.99 0.71 0.32 2/57 10414 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1289 0 0 0 28997 5 0 0 25 0 1 0 1858794536 6918144 1255 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1689 1255 566 18 0 1671 0 [pid=10404] vsize: 6756 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (Kb) 6756 [startup+300.016 s] Raw data (loadavg): 0.99 0.72 0.33 2/57 10414 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1305 0 0 0 29997 5 0 0 25 0 1 0 1858794536 6918144 1271 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1689 1271 566 18 0 1671 0 [pid=10404] vsize: 6756 Current children cumulated CPU time (s) 300.02 Current children cumulated vsize (Kb) 6756 [startup+310.016 s] Raw data (loadavg): 0.99 0.72 0.33 2/57 10414 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1311 0 0 0 30997 5 0 0 25 0 1 0 1858794536 6918144 1277 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1689 1277 566 18 0 1671 0 [pid=10404] vsize: 6756 Current children cumulated CPU time (s) 310.02 Current children cumulated vsize (Kb) 6756 [startup+320.016 s] Raw data (loadavg): 0.99 0.73 0.34 2/57 10414 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1315 0 0 0 31997 5 0 0 25 0 1 0 1858794536 6918144 1281 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1689 1281 566 18 0 1671 0 [pid=10404] vsize: 6756 Current children cumulated CPU time (s) 320.02 Current children cumulated vsize (Kb) 6756 [startup+330.017 s] Raw data (loadavg): 0.99 0.74 0.35 2/57 10414 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1329 0 0 0 32998 5 0 0 25 0 1 0 1858794536 7049216 1295 4294967295 134512640 134578447 3221224624 3221223572 134559040 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1721 1295 566 18 0 1703 0 [pid=10404] vsize: 6884 Current children cumulated CPU time (s) 330.03 Current children cumulated vsize (Kb) 6884 [startup+340.018 s] Raw data (loadavg): 0.99 0.75 0.35 2/57 10416 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1334 0 0 0 33998 5 0 0 25 0 1 0 1858794536 7049216 1300 4294967295 134512640 134578447 3221224624 3221223536 134557017 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1721 1300 566 18 0 1703 0 [pid=10404] vsize: 6884 Current children cumulated CPU time (s) 340.03 Current children cumulated vsize (Kb) 6884 [startup+350.018 s] Raw data (loadavg): 0.99 0.76 0.36 2/57 10416 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1341 0 0 0 34998 6 0 0 25 0 1 0 1858794536 7049216 1307 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1721 1307 566 18 0 1703 0 [pid=10404] vsize: 6884 Current children cumulated CPU time (s) 350.04 Current children cumulated vsize (Kb) 6884 [startup+360.019 s] Raw data (loadavg): 0.99 0.76 0.37 2/57 10416 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1344 0 0 0 35998 6 0 0 25 0 1 0 1858794536 7049216 1310 4294967295 134512640 134578447 3221224624 3221223472 134520178 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1721 1310 566 18 0 1703 0 [pid=10404] vsize: 6884 Current children cumulated CPU time (s) 360.04 Current children cumulated vsize (Kb) 6884 [startup+370.019 s] Raw data (loadavg): 0.99 0.77 0.37 2/57 10416 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1344 0 0 0 36998 6 0 0 25 0 1 0 1858794536 7049216 1310 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1721 1310 566 18 0 1703 0 [pid=10404] vsize: 6884 Current children cumulated CPU time (s) 370.04 Current children cumulated vsize (Kb) 6884 [startup+380.02 s] Raw data (loadavg): 0.99 0.78 0.38 2/57 10416 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1350 0 0 0 37998 6 0 0 25 0 1 0 1858794536 7184384 1316 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1754 1316 566 18 0 1736 0 [pid=10404] vsize: 7016 Current children cumulated CPU time (s) 380.04 Current children cumulated vsize (Kb) 7016 [startup+390.021 s] Raw data (loadavg): 0.99 0.79 0.39 2/57 10416 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1363 0 0 0 38998 6 0 0 25 0 1 0 1858794536 7184384 1329 4294967295 134512640 134578447 3221224624 3221223568 134558676 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1754 1329 566 18 0 1736 0 [pid=10404] vsize: 7016 Current children cumulated CPU time (s) 390.04 Current children cumulated vsize (Kb) 7016 [startup+400.021 s] Raw data (loadavg): 0.99 0.79 0.39 2/57 10418 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1407 0 0 0 39998 6 0 0 25 0 1 0 1858794536 7315456 1373 4294967295 134512640 134578447 3221224624 3221223572 134559036 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1786 1373 566 18 0 1768 0 [pid=10404] vsize: 7144 Current children cumulated CPU time (s) 400.04 Current children cumulated vsize (Kb) 7144 [startup+410.022 s] Raw data (loadavg): 0.99 0.80 0.40 2/57 10418 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1431 0 0 0 40998 6 0 0 25 0 1 0 1858794536 7446528 1397 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1818 1397 566 18 0 1800 0 [pid=10404] vsize: 7272 Current children cumulated CPU time (s) 410.04 Current children cumulated vsize (Kb) 7272 [startup+420.023 s] Raw data (loadavg): 0.99 0.80 0.40 2/57 10418 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1444 0 0 0 41999 6 0 0 25 0 1 0 1858794536 7446528 1410 4294967295 134512640 134578447 3221224624 3221223492 134558152 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1818 1410 566 18 0 1800 0 [pid=10404] vsize: 7272 Current children cumulated CPU time (s) 420.05 Current children cumulated vsize (Kb) 7272 [startup+430.024 s] Raw data (loadavg): 0.99 0.81 0.41 2/57 10418 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1453 0 0 0 42998 6 0 0 25 0 1 0 1858794536 7577600 1419 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1850 1419 566 18 0 1832 0 [pid=10404] vsize: 7400 Current children cumulated CPU time (s) 430.04 Current children cumulated vsize (Kb) 7400 [startup+440.024 s] Raw data (loadavg): 0.99 0.82 0.41 2/57 10418 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1453 0 0 0 43999 6 0 0 25 0 1 0 1858794536 7577600 1419 4294967295 134512640 134578447 3221224624 3221223520 134519817 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1850 1419 566 18 0 1832 0 [pid=10404] vsize: 7400 Current children cumulated CPU time (s) 440.05 Current children cumulated vsize (Kb) 7400 [startup+450.024 s] Raw data (loadavg): 0.99 0.82 0.42 2/57 10418 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1457 0 0 0 44999 6 0 0 25 0 1 0 1858794536 7577600 1423 4294967295 134512640 134578447 3221224624 3221223520 134519947 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1850 1423 566 18 0 1832 0 [pid=10404] vsize: 7400 Current children cumulated CPU time (s) 450.05 Current children cumulated vsize (Kb) 7400 [startup+460.025 s] Raw data (loadavg): 0.99 0.83 0.43 2/57 10420 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1476 0 0 0 45999 6 0 0 25 0 1 0 1858794536 7577600 1442 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1850 1442 566 18 0 1832 0 [pid=10404] vsize: 7400 Current children cumulated CPU time (s) 460.05 Current children cumulated vsize (Kb) 7400 [startup+470.025 s] Raw data (loadavg): 0.99 0.83 0.43 2/57 10420 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1489 0 0 0 46999 7 0 0 25 0 1 0 1858794536 7716864 1455 4294967295 134512640 134578447 3221224624 3221223420 1075285163 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1884 1455 566 18 0 1866 0 [pid=10404] vsize: 7536 Current children cumulated CPU time (s) 470.06 Current children cumulated vsize (Kb) 7536 [startup+480.027 s] Raw data (loadavg): 0.99 0.84 0.44 2/57 10420 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1489 0 0 0 47999 7 0 0 25 0 1 0 1858794536 7716864 1455 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1884 1455 566 18 0 1866 0 [pid=10404] vsize: 7536 Current children cumulated CPU time (s) 480.06 Current children cumulated vsize (Kb) 7536 [startup+490.028 s] Raw data (loadavg): 0.99 0.84 0.44 2/57 10420 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1489 0 0 0 49000 7 0 0 25 0 1 0 1858794536 7716864 1455 4294967295 134512640 134578447 3221224624 3221223536 134557033 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1884 1455 566 18 0 1866 0 [pid=10404] vsize: 7536 Current children cumulated CPU time (s) 490.07 Current children cumulated vsize (Kb) 7536 [startup+500.028 s] Raw data (loadavg): 0.99 0.85 0.45 2/57 10420 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1489 0 0 0 50000 7 0 0 25 0 1 0 1858794536 7716864 1455 4294967295 134512640 134578447 3221224624 3221223584 134559060 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1884 1455 566 18 0 1866 0 [pid=10404] vsize: 7536 Current children cumulated CPU time (s) 500.07 Current children cumulated vsize (Kb) 7536 [startup+510.029 s] Raw data (loadavg): 0.99 0.85 0.46 2/57 10420 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1490 0 0 0 51000 7 0 0 25 0 1 0 1858794536 7716864 1456 4294967295 134512640 134578447 3221224624 3221223472 134558354 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1884 1456 566 18 0 1866 0 [pid=10404] vsize: 7536 Current children cumulated CPU time (s) 510.07 Current children cumulated vsize (Kb) 7536 [startup+520.029 s] Raw data (loadavg): 0.99 0.86 0.46 2/57 10422 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1521 0 0 0 51999 7 0 0 25 0 1 0 1858794536 7847936 1487 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1916 1487 566 18 0 1898 0 [pid=10404] vsize: 7664 Current children cumulated CPU time (s) 520.06 Current children cumulated vsize (Kb) 7664 [startup+530.03 s] Raw data (loadavg): 0.99 0.86 0.47 2/57 10422 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1523 0 0 0 53000 7 0 0 25 0 1 0 1858794536 7847936 1489 4294967295 134512640 134578447 3221224624 3221223536 134557349 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1916 1489 566 18 0 1898 0 [pid=10404] vsize: 7664 Current children cumulated CPU time (s) 530.07 Current children cumulated vsize (Kb) 7664 [startup+540.031 s] Raw data (loadavg): 0.99 0.86 0.47 2/57 10422 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1523 0 0 0 53999 8 0 0 25 0 1 0 1858794536 7847936 1489 4294967295 134512640 134578447 3221224624 3221223584 134558809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1916 1489 566 18 0 1898 0 [pid=10404] vsize: 7664 Current children cumulated CPU time (s) 540.07 Current children cumulated vsize (Kb) 7664 [startup+550.031 s] Raw data (loadavg): 0.99 0.87 0.48 2/57 10422 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1523 0 0 0 54999 9 0 0 25 0 1 0 1858794536 7847936 1489 4294967295 134512640 134578447 3221224624 3221223536 134557190 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1916 1489 566 18 0 1898 0 [pid=10404] vsize: 7664 Current children cumulated CPU time (s) 550.08 Current children cumulated vsize (Kb) 7664 [startup+560.03 s] Raw data (loadavg): 0.99 0.87 0.48 2/57 10422 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1523 0 0 0 55998 9 0 0 25 0 1 0 1858794536 7847936 1489 4294967295 134512640 134578447 3221224624 3221223584 134558895 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1916 1489 566 18 0 1898 0 [pid=10404] vsize: 7664 Current children cumulated CPU time (s) 560.07 Current children cumulated vsize (Kb) 7664 [startup+570.03 s] Raw data (loadavg): 0.99 0.88 0.49 2/57 10422 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1527 0 0 0 56998 9 0 0 25 0 1 0 1858794536 7847936 1493 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1916 1493 566 18 0 1898 0 [pid=10404] vsize: 7664 Current children cumulated CPU time (s) 570.07 Current children cumulated vsize (Kb) 7664 [startup+580.031 s] Raw data (loadavg): 0.99 0.88 0.49 2/57 10424 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1533 0 0 0 57998 10 0 0 25 0 1 0 1858794536 7847936 1499 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1916 1499 566 18 0 1898 0 [pid=10404] vsize: 7664 Current children cumulated CPU time (s) 580.08 Current children cumulated vsize (Kb) 7664 [startup+590.031 s] Raw data (loadavg): 0.99 0.88 0.50 2/57 10424 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1561 0 0 0 58998 10 0 0 25 0 1 0 1858794536 7979008 1527 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1948 1527 566 18 0 1930 0 [pid=10404] vsize: 7792 Current children cumulated CPU time (s) 590.08 Current children cumulated vsize (Kb) 7792 [startup+600.031 s] Raw data (loadavg): 0.99 0.89 0.50 2/57 10424 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1567 0 0 0 59998 10 0 0 25 0 1 0 1858794536 7979008 1533 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1948 1533 566 18 0 1930 0 [pid=10404] vsize: 7792 Current children cumulated CPU time (s) 600.08 Current children cumulated vsize (Kb) 7792 [startup+610.032 s] Raw data (loadavg): 0.99 0.89 0.50 2/57 10424 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1567 0 0 0 60998 10 0 0 25 0 1 0 1858794536 7979008 1533 4294967295 134512640 134578447 3221224624 3221223572 134559040 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1948 1533 566 18 0 1930 0 [pid=10404] vsize: 7792 Current children cumulated CPU time (s) 610.08 Current children cumulated vsize (Kb) 7792 [startup+620.032 s] Raw data (loadavg): 0.99 0.89 0.51 2/57 10424 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1580 0 0 0 61998 11 0 0 25 0 1 0 1858794536 8110080 1546 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 1980 1546 566 18 0 1962 0 [pid=10404] vsize: 7920 Current children cumulated CPU time (s) 620.09 Current children cumulated vsize (Kb) 7920 [startup+630.033 s] Raw data (loadavg): 0.99 0.90 0.51 2/57 10424 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1613 0 0 0 62998 11 0 0 25 0 1 0 1858794536 8245248 1579 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2013 1579 566 18 0 1995 0 [pid=10404] vsize: 8052 Current children cumulated CPU time (s) 630.09 Current children cumulated vsize (Kb) 8052 [startup+640.034 s] Raw data (loadavg): 0.99 0.90 0.52 2/57 10426 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1618 0 0 0 63998 11 0 0 25 0 1 0 1858794536 8245248 1584 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2013 1584 566 18 0 1995 0 [pid=10404] vsize: 8052 Current children cumulated CPU time (s) 640.09 Current children cumulated vsize (Kb) 8052 [startup+650.034 s] Raw data (loadavg): 0.99 0.90 0.52 2/57 10426 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1618 0 0 0 64998 11 0 0 25 0 1 0 1858794536 8245248 1584 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2013 1584 566 18 0 1995 0 [pid=10404] vsize: 8052 Current children cumulated CPU time (s) 650.09 Current children cumulated vsize (Kb) 8052 [startup+660.035 s] Raw data (loadavg): 0.99 0.90 0.53 2/57 10426 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1623 0 0 0 65998 11 0 0 25 0 1 0 1858794536 8245248 1589 4294967295 134512640 134578447 3221224624 3221223448 1075285885 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2013 1589 566 18 0 1995 0 [pid=10404] vsize: 8052 Current children cumulated CPU time (s) 660.09 Current children cumulated vsize (Kb) 8052 [startup+670.035 s] Raw data (loadavg): 0.99 0.91 0.53 2/57 10426 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1623 0 0 0 66998 11 0 0 25 0 1 0 1858794536 8245248 1589 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2013 1589 566 18 0 1995 0 [pid=10404] vsize: 8052 Current children cumulated CPU time (s) 670.09 Current children cumulated vsize (Kb) 8052 [startup+680.036 s] Raw data (loadavg): 0.99 0.91 0.54 2/57 10426 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1631 0 0 0 67998 11 0 0 25 0 1 0 1858794536 8245248 1597 4294967295 134512640 134578447 3221224624 3221223472 134558529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2013 1597 566 18 0 1995 0 [pid=10404] vsize: 8052 Current children cumulated CPU time (s) 680.09 Current children cumulated vsize (Kb) 8052 [startup+690.037 s] Raw data (loadavg): 0.99 0.91 0.54 2/57 10426 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1637 0 0 0 68998 11 0 0 25 0 1 0 1858794536 8245248 1603 4294967295 134512640 134578447 3221224624 3221223552 134519717 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2013 1603 566 18 0 1995 0 [pid=10404] vsize: 8052 Current children cumulated CPU time (s) 690.09 Current children cumulated vsize (Kb) 8052 [startup+700.036 s] Raw data (loadavg): 0.99 0.91 0.55 2/57 10428 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1647 0 0 0 69998 12 0 0 25 0 1 0 1858794536 8380416 1613 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2046 1613 566 18 0 2028 0 [pid=10404] vsize: 8184 Current children cumulated CPU time (s) 700.1 Current children cumulated vsize (Kb) 8184 [startup+710.037 s] Raw data (loadavg): 0.99 0.92 0.55 2/57 10428 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1653 0 0 0 70999 12 0 0 25 0 1 0 1858794536 8380416 1619 4294967295 134512640 134578447 3221224624 3221223488 134517715 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2046 1619 566 18 0 2028 0 [pid=10404] vsize: 8184 Current children cumulated CPU time (s) 710.11 Current children cumulated vsize (Kb) 8184 [startup+720.038 s] Raw data (loadavg): 0.99 0.92 0.56 2/57 10428 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1661 0 0 0 71999 12 0 0 25 0 1 0 1858794536 8380416 1627 4294967295 134512640 134578447 3221224624 3221223472 134558252 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2046 1627 566 18 0 2028 0 [pid=10404] vsize: 8184 Current children cumulated CPU time (s) 720.11 Current children cumulated vsize (Kb) 8184 [startup+730.039 s] Raw data (loadavg): 0.99 0.92 0.56 2/57 10428 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1688 0 0 0 72999 12 0 0 25 0 1 0 1858794536 8511488 1654 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2078 1654 566 18 0 2060 0 [pid=10404] vsize: 8312 Current children cumulated CPU time (s) 730.11 Current children cumulated vsize (Kb) 8312 [startup+740.039 s] Raw data (loadavg): 0.99 0.92 0.56 2/57 10428 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1706 0 0 0 73999 12 0 0 25 0 1 0 1858794536 8650752 1672 4294967295 134512640 134578447 3221224624 3221223520 134519908 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2112 1672 566 18 0 2094 0 [pid=10404] vsize: 8448 Current children cumulated CPU time (s) 740.11 Current children cumulated vsize (Kb) 8448 [startup+750.039 s] Raw data (loadavg): 0.99 0.92 0.57 2/57 10428 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1706 0 0 0 74999 12 0 0 25 0 1 0 1858794536 8650752 1672 4294967295 134512640 134578447 3221224624 3221223472 134520163 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2112 1672 566 18 0 2094 0 [pid=10404] vsize: 8448 Current children cumulated CPU time (s) 750.11 Current children cumulated vsize (Kb) 8448 [startup+760.04 s] Raw data (loadavg): 0.99 0.93 0.57 2/57 10430 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1706 0 0 0 75999 12 0 0 25 0 1 0 1858794536 8650752 1672 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2112 1672 566 18 0 2094 0 [pid=10404] vsize: 8448 Current children cumulated CPU time (s) 760.11 Current children cumulated vsize (Kb) 8448 [startup+770.04 s] Raw data (loadavg): 0.99 0.93 0.58 2/57 10430 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1706 0 0 0 76999 12 0 0 25 0 1 0 1858794536 8650752 1672 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2112 1672 566 18 0 2094 0 [pid=10404] vsize: 8448 Current children cumulated CPU time (s) 770.11 Current children cumulated vsize (Kb) 8448 [startup+780.041 s] Raw data (loadavg): 0.99 0.93 0.58 2/57 10430 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1706 0 0 0 77999 12 0 0 25 0 1 0 1858794536 8650752 1672 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2112 1672 566 18 0 2094 0 [pid=10404] vsize: 8448 Current children cumulated CPU time (s) 780.11 Current children cumulated vsize (Kb) 8448 [startup+790.042 s] Raw data (loadavg): 0.99 0.93 0.58 2/57 10430 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1706 0 0 0 78999 12 0 0 25 0 1 0 1858794536 8650752 1672 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2112 1672 566 18 0 2094 0 [pid=10404] vsize: 8448 Current children cumulated CPU time (s) 790.11 Current children cumulated vsize (Kb) 8448 [startup+800.042 s] Raw data (loadavg): 0.99 0.93 0.59 2/57 10430 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1706 0 0 0 80000 12 0 0 25 0 1 0 1858794536 8650752 1672 4294967295 134512640 134578447 3221224624 3221223496 134558258 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2112 1672 566 18 0 2094 0 [pid=10404] vsize: 8448 Current children cumulated CPU time (s) 800.12 Current children cumulated vsize (Kb) 8448 [startup+810.042 s] Raw data (loadavg): 0.99 0.94 0.59 2/57 10430 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1706 0 0 0 81000 12 0 0 25 0 1 0 1858794536 8650752 1672 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2112 1672 566 18 0 2094 0 [pid=10404] vsize: 8448 Current children cumulated CPU time (s) 810.12 Current children cumulated vsize (Kb) 8448 [startup+820.042 s] Raw data (loadavg): 0.99 0.94 0.60 2/57 10432 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1707 0 0 0 82000 13 0 0 25 0 1 0 1858794536 8650752 1673 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2112 1673 566 18 0 2094 0 [pid=10404] vsize: 8448 Current children cumulated CPU time (s) 820.13 Current children cumulated vsize (Kb) 8448 [startup+830.042 s] Raw data (loadavg): 0.99 0.94 0.60 2/57 10432 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1748 0 0 0 82999 13 0 0 25 0 1 0 1858794536 8781824 1714 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1714 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 830.12 Current children cumulated vsize (Kb) 8576 [startup+840.043 s] Raw data (loadavg): 0.99 0.94 0.60 2/57 10432 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1748 0 0 0 84000 13 0 0 25 0 1 0 1858794536 8781824 1714 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1714 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 840.13 Current children cumulated vsize (Kb) 8576 [startup+850.043 s] Raw data (loadavg): 0.99 0.94 0.61 2/57 10432 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1748 0 0 0 85000 13 0 0 25 0 1 0 1858794536 8781824 1714 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1714 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 850.13 Current children cumulated vsize (Kb) 8576 [startup+860.044 s] Raw data (loadavg): 0.99 0.94 0.61 2/57 10432 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1748 0 0 0 86000 13 0 0 25 0 1 0 1858794536 8781824 1714 4294967295 134512640 134578447 3221224624 3221223516 134531660 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1714 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 860.13 Current children cumulated vsize (Kb) 8576 [startup+870.044 s] Raw data (loadavg): 0.99 0.94 0.61 2/57 10432 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1748 0 0 0 87000 13 0 0 25 0 1 0 1858794536 8781824 1714 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1714 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 870.13 Current children cumulated vsize (Kb) 8576 [startup+880.045 s] Raw data (loadavg): 0.99 0.95 0.62 2/57 10434 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1748 0 0 0 88000 13 0 0 25 0 1 0 1858794536 8781824 1714 4294967295 134512640 134578447 3221224624 3221223488 134517671 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1714 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 880.13 Current children cumulated vsize (Kb) 8576 [startup+890.046 s] Raw data (loadavg): 0.99 0.95 0.62 2/57 10434 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1748 0 0 0 89000 13 0 0 25 0 1 0 1858794536 8781824 1714 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1714 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 890.13 Current children cumulated vsize (Kb) 8576 [startup+900.047 s] Raw data (loadavg): 0.99 0.95 0.63 2/57 10434 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1748 0 0 0 90001 13 0 0 25 0 1 0 1858794536 8781824 1714 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1714 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 900.14 Current children cumulated vsize (Kb) 8576 [startup+910.048 s] Raw data (loadavg): 0.99 0.95 0.63 2/57 10434 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1748 0 0 0 91001 13 0 0 25 0 1 0 1858794536 8781824 1714 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1714 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 910.14 Current children cumulated vsize (Kb) 8576 [startup+920.048 s] Raw data (loadavg): 0.99 0.95 0.63 2/57 10434 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1748 0 0 0 92001 13 0 0 25 0 1 0 1858794536 8781824 1714 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1714 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 920.14 Current children cumulated vsize (Kb) 8576 [startup+930.049 s] Raw data (loadavg): 0.99 0.95 0.64 2/57 10434 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1748 0 0 0 93001 13 0 0 25 0 1 0 1858794536 8781824 1714 4294967295 134512640 134578447 3221224624 3221223472 134558198 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1714 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 930.14 Current children cumulated vsize (Kb) 8576 [startup+940.05 s] Raw data (loadavg): 0.99 0.95 0.64 2/57 10436 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1751 0 0 0 94001 13 0 0 25 0 1 0 1858794536 8781824 1717 4294967295 134512640 134578447 3221224624 3221223536 134557055 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1717 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 940.14 Current children cumulated vsize (Kb) 8576 [startup+950.049 s] Raw data (loadavg): 0.99 0.95 0.64 2/57 10436 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1754 0 0 0 95001 14 0 0 25 0 1 0 1858794536 8781824 1720 4294967295 134512640 134578447 3221224624 3221223536 134556806 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2144 1720 566 18 0 2126 0 [pid=10404] vsize: 8576 Current children cumulated CPU time (s) 950.15 Current children cumulated vsize (Kb) 8576 [startup+960.05 s] Raw data (loadavg): 0.99 0.95 0.65 2/57 10436 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1792 0 0 0 96001 14 0 0 25 0 1 0 1858794536 8925184 1758 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2179 1758 566 18 0 2161 0 [pid=10404] vsize: 8716 Current children cumulated CPU time (s) 960.15 Current children cumulated vsize (Kb) 8716 [startup+970.05 s] Raw data (loadavg): 0.99 0.95 0.65 2/57 10436 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1797 0 0 0 97002 14 0 0 25 0 1 0 1858794536 9060352 1763 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2212 1763 566 18 0 2194 0 [pid=10404] vsize: 8848 Current children cumulated CPU time (s) 970.16 Current children cumulated vsize (Kb) 8848 [startup+980.051 s] Raw data (loadavg): 0.99 0.96 0.65 2/57 10436 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1797 0 0 0 98002 14 0 0 25 0 1 0 1858794536 9060352 1763 4294967295 134512640 134578447 3221224624 3221223560 134519842 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2212 1763 566 18 0 2194 0 [pid=10404] vsize: 8848 Current children cumulated CPU time (s) 980.16 Current children cumulated vsize (Kb) 8848 [startup+990.052 s] Raw data (loadavg): 0.99 0.96 0.66 2/57 10436 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1799 0 0 0 99002 14 0 0 25 0 1 0 1858794536 9060352 1765 4294967295 134512640 134578447 3221224624 3221223384 1075288465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2212 1765 566 18 0 2194 0 [pid=10404] vsize: 8848 Current children cumulated CPU time (s) 990.16 Current children cumulated vsize (Kb) 8848 [startup+1000.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/57 10438 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1812 0 0 0 100002 14 0 0 25 0 1 0 1858794536 9060352 1778 4294967295 134512640 134578447 3221224624 3221223536 134557196 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2212 1778 566 18 0 2194 0 [pid=10404] vsize: 8848 Current children cumulated CPU time (s) 1000.16 Current children cumulated vsize (Kb) 8848 [startup+1010.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/57 10438 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1812 0 0 0 101002 14 0 0 25 0 1 0 1858794536 9060352 1778 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2212 1778 566 18 0 2194 0 [pid=10404] vsize: 8848 Current children cumulated CPU time (s) 1010.16 Current children cumulated vsize (Kb) 8848 [startup+1020.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/57 10438 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1817 0 0 0 102002 14 0 0 25 0 1 0 1858794536 9060352 1783 4294967295 134512640 134578447 3221224624 3221223536 134557270 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2212 1783 566 18 0 2194 0 [pid=10404] vsize: 8848 Current children cumulated CPU time (s) 1020.16 Current children cumulated vsize (Kb) 8848 [startup+1030.06 s] Raw data (loadavg): 0.99 0.96 0.67 2/57 10438 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1821 0 0 0 103003 14 0 0 25 0 1 0 1858794536 9060352 1787 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2212 1787 566 18 0 2194 0 [pid=10404] vsize: 8848 Current children cumulated CPU time (s) 1030.17 Current children cumulated vsize (Kb) 8848 [startup+1040.06 s] Raw data (loadavg): 0.99 0.96 0.67 2/57 10438 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1866 0 0 0 104003 14 0 0 25 0 1 0 1858794536 9322496 1832 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2276 1832 566 18 0 2258 0 [pid=10404] vsize: 9104 Current children cumulated CPU time (s) 1040.17 Current children cumulated vsize (Kb) 9104 [startup+1050.06 s] Raw data (loadavg): 0.99 0.96 0.67 2/57 10438 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1866 0 0 0 105003 14 0 0 25 0 1 0 1858794536 9322496 1832 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2276 1832 566 18 0 2258 0 [pid=10404] vsize: 9104 Current children cumulated CPU time (s) 1050.17 Current children cumulated vsize (Kb) 9104 [startup+1060.06 s] Raw data (loadavg): 0.99 0.96 0.68 2/57 10440 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1866 0 0 0 106003 14 0 0 25 0 1 0 1858794536 9306112 1832 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2272 1832 566 18 0 2254 0 [pid=10404] vsize: 9088 Current children cumulated CPU time (s) 1060.17 Current children cumulated vsize (Kb) 9088 [startup+1070.06 s] Raw data (loadavg): 0.99 0.96 0.68 2/57 10440 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1866 0 0 0 107003 14 0 0 25 0 1 0 1858794536 9306112 1832 4294967295 134512640 134578447 3221224624 3221223520 134520040 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2272 1832 566 18 0 2254 0 [pid=10404] vsize: 9088 Current children cumulated CPU time (s) 1070.17 Current children cumulated vsize (Kb) 9088 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.68 2/57 10440 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1866 0 0 0 108003 14 0 0 25 0 1 0 1858794536 9306112 1832 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2272 1832 566 18 0 2254 0 [pid=10404] vsize: 9088 Current children cumulated CPU time (s) 1080.17 Current children cumulated vsize (Kb) 9088 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.68 2/57 10440 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1867 0 0 0 109004 14 0 0 25 0 1 0 1858794536 9306112 1833 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2272 1833 566 18 0 2254 0 [pid=10404] vsize: 9088 Current children cumulated CPU time (s) 1090.18 Current children cumulated vsize (Kb) 9088 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.69 2/57 10440 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1867 0 0 0 110004 14 0 0 25 0 1 0 1858794536 9306112 1833 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2272 1833 566 18 0 2254 0 [pid=10404] vsize: 9088 Current children cumulated CPU time (s) 1100.18 Current children cumulated vsize (Kb) 9088 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.69 2/57 10440 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1874 0 0 0 111004 15 0 0 25 0 1 0 1858794536 9306112 1840 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2272 1840 566 18 0 2254 0 [pid=10404] vsize: 9088 Current children cumulated CPU time (s) 1110.19 Current children cumulated vsize (Kb) 9088 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.69 2/57 10442 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1874 0 0 0 112004 15 0 0 25 0 1 0 1858794536 9306112 1840 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2272 1840 566 18 0 2254 0 [pid=10404] vsize: 9088 Current children cumulated CPU time (s) 1120.19 Current children cumulated vsize (Kb) 9088 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.70 2/57 10442 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1874 0 0 0 113004 15 0 0 25 0 1 0 1858794536 9306112 1840 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2272 1840 566 18 0 2254 0 [pid=10404] vsize: 9088 Current children cumulated CPU time (s) 1130.19 Current children cumulated vsize (Kb) 9088 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.70 2/57 10442 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1877 0 0 0 114003 16 0 0 25 0 1 0 1858794536 9306112 1843 4294967295 134512640 134578447 3221224624 3221223472 134558462 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2272 1843 566 18 0 2254 0 [pid=10404] vsize: 9088 Current children cumulated CPU time (s) 1140.19 Current children cumulated vsize (Kb) 9088 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.70 2/57 10442 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1921 0 0 0 115003 16 0 0 25 0 1 0 1858794536 9445376 1887 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2306 1887 566 18 0 2288 0 [pid=10404] vsize: 9224 Current children cumulated CPU time (s) 1150.19 Current children cumulated vsize (Kb) 9224 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.71 2/57 10442 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1921 0 0 0 116003 17 0 0 25 0 1 0 1858794536 9445376 1887 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2306 1887 566 18 0 2288 0 [pid=10404] vsize: 9224 Current children cumulated CPU time (s) 1160.2 Current children cumulated vsize (Kb) 9224 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.71 2/57 10442 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1921 0 0 0 117002 17 0 0 25 0 1 0 1858794536 9445376 1887 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2306 1887 566 18 0 2288 0 [pid=10404] vsize: 9224 Current children cumulated CPU time (s) 1170.19 Current children cumulated vsize (Kb) 9224 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.71 2/57 10444 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1921 0 0 0 118002 17 0 0 25 0 1 0 1858794536 9445376 1887 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2306 1887 566 18 0 2288 0 [pid=10404] vsize: 9224 Current children cumulated CPU time (s) 1180.19 Current children cumulated vsize (Kb) 9224 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.71 2/57 10444 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1921 0 0 0 119003 17 0 0 25 0 1 0 1858794536 9445376 1887 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2306 1887 566 18 0 2288 0 [pid=10404] vsize: 9224 Current children cumulated CPU time (s) 1190.2 Current children cumulated vsize (Kb) 9224 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.72 2/57 10444 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1921 0 0 0 120002 18 0 0 25 0 1 0 1858794536 9445376 1887 4294967295 134512640 134578447 3221224624 3221223488 134517860 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2306 1887 566 18 0 2288 0 [pid=10404] vsize: 9224 Current children cumulated CPU time (s) 1200.2 Current children cumulated vsize (Kb) 9224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1200.07 s] Raw data (loadavg): 0.99 0.97 0.72 2/57 10444 Raw data (/proc/10404/stat): 10404 (Pueblo) R 10403 10404 9102 0 -1 0 1921 0 0 0 120002 18 0 0 25 0 1 0 1858794536 9445376 1887 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10404/statm): 2306 1887 566 18 0 2288 0 [pid=10404] vsize: 9224 Current children cumulated CPU time (s) 1200.2 Current children cumulated vsize (Kb) 9224 Sending SIGTERM to -10404 Sleeping 2 seconds One traced child (pid=10404) 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): 1200.07 CPU time (s): 1200.22 CPU user time (s): 1200.03 CPU system time (s): 0.184971 CPU usage (%): 100.012 Max. virtual memory (cumulated for all children) (Kb): 9224
ERROR: no interpretation found !