Name | web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb |
MD5SUM | ccbca61851d5d361647c00bb58b30d92 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 510 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 77106 |
Total number of constraints | 218779 |
Number of constraints which are clauses | 205559 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13220 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc10 THE 2005-09-20 14:36:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5013 boxname=wulflinc10 idbench=325 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: ccbca61851d5d361647c00bb58b30d92 /oldhome/oroussel/tmp/wulflinc10/normalized-ooo.ex.mem.LdValue.ucl.opb REAL COMMAND: Pueblo IDLAUNCH: 5013 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 735936 kB Buffers: 39304 kB Cached: 231720 kB SwapCached: 228 kB Active: 92544 kB Inactive: 181400 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 735684 kB SwapTotal: 2097136 kB SwapFree: 2096756 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6292 kB Slab: 19212 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 14:56:34 (client local time) WITH STATUS 0 IN 1205.85 SECONDS stats: 5013 7 1205.85 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/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801115428 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 41 3 40 18 0 23 0 [pid=22517] 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.94 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 11431 0 0 0 951 37 0 0 25 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0 [pid=22517] vsize: 51492 Current children cumulated CPU time (s) 9.88 Current children cumulated vsize (Kb) 51492 [startup+20.0044 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 11431 0 0 0 1951 37 0 0 25 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0 [pid=22517] vsize: 51492 Current children cumulated CPU time (s) 19.88 Current children cumulated vsize (Kb) 51492 [startup+30.0039 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 11431 0 0 0 2951 37 0 0 25 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0 [pid=22517] vsize: 51492 Current children cumulated CPU time (s) 29.88 Current children cumulated vsize (Kb) 51492 [startup+40.0045 s] Raw data (loadavg): 0.96 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 11431 0 0 0 3951 38 0 0 25 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0 [pid=22517] vsize: 51492 Current children cumulated CPU time (s) 39.89 Current children cumulated vsize (Kb) 51492 [startup+50.0051 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 12563 0 0 0 4948 40 0 0 25 0 1 0 1801115428 53039104 11339 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 12949 11339 566 18 0 12931 0 [pid=22517] vsize: 51796 Current children cumulated CPU time (s) 49.88 Current children cumulated vsize (Kb) 51796 [startup+60.0056 s] Raw data (loadavg): 0.97 0.97 0.91 1/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) T 22516 22517 22582 0 -1 0 310643 0 0 0 5382 558 0 0 25 0 1 0 1801115428 53039104 11347 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22517/statm): 12949 11347 566 18 0 12931 0 [pid=22517] vsize: 51796 Current children cumulated CPU time (s) 59.4 Current children cumulated vsize (Kb) 51796 [startup+70.0062 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 606754 0 0 0 5810 1082 0 0 25 0 1 0 1801115428 53039104 11287 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 12949 11287 566 18 0 12931 0 [pid=22517] vsize: 51796 Current children cumulated CPU time (s) 68.92 Current children cumulated vsize (Kb) 51796 [startup+80.0067 s] Raw data (loadavg): 0.98 0.97 0.91 1/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) T 22516 22517 22582 0 -1 0 898807 0 0 0 6231 1610 0 0 25 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0 [pid=22517] vsize: 51492 Current children cumulated CPU time (s) 78.41 Current children cumulated vsize (Kb) 51492 [startup+90.0073 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 1192908 0 0 0 6663 2127 0 0 25 0 1 0 1801115428 53039104 11328 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 12949 11328 566 18 0 12931 0 [pid=22517] vsize: 51796 Current children cumulated CPU time (s) 87.9 Current children cumulated vsize (Kb) 51796 [startup+100.008 s] Raw data (loadavg): 0.98 0.97 0.91 1/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) T 22516 22517 22582 0 -1 0 1487503 0 0 0 7100 2639 0 0 20 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0 [pid=22517] vsize: 51492 Current children cumulated CPU time (s) 97.39 Current children cumulated vsize (Kb) 51492 [startup+110.008 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) T 22516 22517 22582 0 -1 0 1782763 0 0 0 7533 3154 0 0 25 0 1 0 1801115428 53039104 11271 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22517/statm): 12949 11271 566 18 0 12931 0 [pid=22517] vsize: 51796 Current children cumulated CPU time (s) 106.87 Current children cumulated vsize (Kb) 51796 [startup+120.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2079169 0 0 0 7964 3674 0 0 25 0 1 0 1801115428 53039104 11277 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 12949 11277 566 18 0 12931 0 [pid=22517] vsize: 51796 Current children cumulated CPU time (s) 116.38 Current children cumulated vsize (Kb) 51796 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) T 22516 22517 22582 0 -1 0 2375107 0 0 0 8391 4196 0 0 25 0 1 0 1801115428 53039104 11347 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22517/statm): 12949 11347 566 18 0 12931 0 [pid=22517] vsize: 51796 Current children cumulated CPU time (s) 125.87 Current children cumulated vsize (Kb) 51796 [startup+140.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2501868 0 0 0 9159 4410 0 0 25 0 1 0 1801115428 53252096 11340 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 13001 11340 566 18 0 12983 0 [pid=22517] vsize: 52004 Current children cumulated CPU time (s) 135.69 Current children cumulated vsize (Kb) 52004 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2501876 0 0 0 10159 4411 0 0 25 0 1 0 1801115428 53252096 11348 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 13001 11348 566 18 0 12983 0 [pid=22517] vsize: 52004 Current children cumulated CPU time (s) 145.7 Current children cumulated vsize (Kb) 52004 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2501884 0 0 0 11159 4411 0 0 25 0 1 0 1801115428 53252096 11356 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 13001 11356 566 18 0 12983 0 [pid=22517] vsize: 52004 Current children cumulated CPU time (s) 155.7 Current children cumulated vsize (Kb) 52004 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2501966 0 0 0 12158 4412 0 0 25 0 1 0 1801115428 53657600 11438 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 13100 11438 566 18 0 13082 0 [pid=22517] vsize: 52400 Current children cumulated CPU time (s) 165.7 Current children cumulated vsize (Kb) 52400 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2502153 0 0 0 13157 4413 0 0 25 0 1 0 1801115428 54333440 11625 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 13265 11625 566 18 0 13247 0 [pid=22517] vsize: 53060 Current children cumulated CPU time (s) 175.7 Current children cumulated vsize (Kb) 53060 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2502340 0 0 0 14157 4413 0 0 25 0 1 0 1801115428 55144448 11812 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 13463 11812 566 18 0 13445 0 [pid=22517] vsize: 53852 Current children cumulated CPU time (s) 185.7 Current children cumulated vsize (Kb) 53852 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2502525 0 0 0 15156 4414 0 0 25 0 1 0 1801115428 55820288 11997 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 13628 11997 566 18 0 13610 0 [pid=22517] vsize: 54512 Current children cumulated CPU time (s) 195.7 Current children cumulated vsize (Kb) 54512 [startup+210.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2502709 0 0 0 16155 4415 0 0 25 0 1 0 1801115428 56496128 12181 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 13793 12181 566 18 0 13775 0 [pid=22517] vsize: 55172 Current children cumulated CPU time (s) 205.7 Current children cumulated vsize (Kb) 55172 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2502896 0 0 0 17154 4416 0 0 25 0 1 0 1801115428 57831424 12368 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 14119 12368 566 18 0 14101 0 [pid=22517] vsize: 56476 Current children cumulated CPU time (s) 215.7 Current children cumulated vsize (Kb) 56476 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503077 0 0 0 18153 4417 0 0 25 0 1 0 1801115428 58507264 12549 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 14284 12549 566 18 0 14266 0 [pid=22517] vsize: 57136 Current children cumulated CPU time (s) 225.7 Current children cumulated vsize (Kb) 57136 [startup+240.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503257 0 0 0 19152 4418 0 0 25 0 1 0 1801115428 59183104 12729 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 14449 12729 566 18 0 14431 0 [pid=22517] vsize: 57796 Current children cumulated CPU time (s) 235.7 Current children cumulated vsize (Kb) 57796 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503440 0 0 0 20150 4419 0 0 25 0 1 0 1801115428 59858944 12912 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 14614 12912 566 18 0 14596 0 [pid=22517] vsize: 58456 Current children cumulated CPU time (s) 245.69 Current children cumulated vsize (Kb) 58456 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503622 0 0 0 21149 4420 0 0 25 0 1 0 1801115428 60669952 13094 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 14812 13094 566 18 0 14794 0 [pid=22517] vsize: 59248 Current children cumulated CPU time (s) 255.69 Current children cumulated vsize (Kb) 59248 [startup+270.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503806 0 0 0 22148 4421 0 0 25 0 1 0 1801115428 61345792 13278 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 14977 13278 566 18 0 14959 0 [pid=22517] vsize: 59908 Current children cumulated CPU time (s) 265.69 Current children cumulated vsize (Kb) 59908 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503997 0 0 0 23147 4422 0 0 25 0 1 0 1801115428 62156800 13469 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 15175 13469 566 18 0 15157 0 [pid=22517] vsize: 60700 Current children cumulated CPU time (s) 275.69 Current children cumulated vsize (Kb) 60700 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2504188 0 0 0 24146 4423 0 0 25 0 1 0 1801115428 62832640 13660 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 15340 13660 566 18 0 15322 0 [pid=22517] vsize: 61360 Current children cumulated CPU time (s) 285.69 Current children cumulated vsize (Kb) 61360 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2504370 0 0 0 25145 4424 0 0 25 0 1 0 1801115428 63508480 13842 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 15505 13842 566 18 0 15487 0 [pid=22517] vsize: 62020 Current children cumulated CPU time (s) 295.69 Current children cumulated vsize (Kb) 62020 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2504912 0 0 0 26143 4426 0 0 25 0 1 0 1801115428 65806336 14384 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 16066 14384 566 18 0 16048 0 [pid=22517] vsize: 64264 Current children cumulated CPU time (s) 305.69 Current children cumulated vsize (Kb) 64264 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2505890 0 0 0 27139 4429 0 0 25 0 1 0 1801115428 69726208 15362 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 17023 15362 566 18 0 17005 0 [pid=22517] vsize: 68092 Current children cumulated CPU time (s) 315.68 Current children cumulated vsize (Kb) 68092 [startup+330.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506354 0 0 0 28137 4431 0 0 25 0 1 0 1801115428 71675904 15794 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 17499 15794 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 325.68 Current children cumulated vsize (Kb) 69996 [startup+340.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 29137 4431 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 335.68 Current children cumulated vsize (Kb) 69996 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 30136 4431 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223472 134556098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 345.67 Current children cumulated vsize (Kb) 69996 [startup+360.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 31136 4432 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223552 134552650 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 355.68 Current children cumulated vsize (Kb) 69996 [startup+370.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 32136 4432 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 365.68 Current children cumulated vsize (Kb) 69996 [startup+380.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 33136 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 375.69 Current children cumulated vsize (Kb) 69996 [startup+390.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 34135 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223536 134557175 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 385.68 Current children cumulated vsize (Kb) 69996 [startup+400.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 35135 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 395.68 Current children cumulated vsize (Kb) 69996 [startup+410.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 36135 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223296 134523436 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 405.68 Current children cumulated vsize (Kb) 69996 [startup+420.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 37135 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 415.68 Current children cumulated vsize (Kb) 69996 [startup+430.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 38136 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 425.69 Current children cumulated vsize (Kb) 69996 [startup+440.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 39136 4434 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 435.7 Current children cumulated vsize (Kb) 69996 [startup+450.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 40136 4434 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223584 134559011 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 445.7 Current children cumulated vsize (Kb) 69996 [startup+460.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 41136 4434 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223184 134525241 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 455.7 Current children cumulated vsize (Kb) 69996 [startup+470.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 42136 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223552 134552650 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 465.7 Current children cumulated vsize (Kb) 69996 [startup+480.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 43136 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223520 134519805 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 475.7 Current children cumulated vsize (Kb) 69996 [startup+490.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 44137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223476 134555723 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 485.71 Current children cumulated vsize (Kb) 69996 [startup+500.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 45137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 495.71 Current children cumulated vsize (Kb) 69996 [startup+510.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 46137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 505.71 Current children cumulated vsize (Kb) 69996 [startup+520.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 47137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 515.71 Current children cumulated vsize (Kb) 69996 [startup+530.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 48137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223476 134555805 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 525.71 Current children cumulated vsize (Kb) 69996 [startup+540.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 49137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 535.71 Current children cumulated vsize (Kb) 69996 [startup+550.03 s] Raw data (loadavg): 1.07 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 50138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 545.72 Current children cumulated vsize (Kb) 69996 [startup+560.031 s] Raw data (loadavg): 1.06 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 51138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 555.72 Current children cumulated vsize (Kb) 69996 [startup+570.031 s] Raw data (loadavg): 1.05 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 52138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 565.72 Current children cumulated vsize (Kb) 69996 [startup+580.031 s] Raw data (loadavg): 1.04 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 53138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 575.72 Current children cumulated vsize (Kb) 69996 [startup+590.032 s] Raw data (loadavg): 1.03 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 54138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 585.72 Current children cumulated vsize (Kb) 69996 [startup+600.032 s] Raw data (loadavg): 1.03 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 55138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 595.72 Current children cumulated vsize (Kb) 69996 [startup+610.033 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 56139 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0 [pid=22517] vsize: 69996 Current children cumulated CPU time (s) 605.73 Current children cumulated vsize (Kb) 69996 [startup+620.033 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506389 0 0 0 57139 4434 0 0 25 0 1 0 1801115428 71938048 15829 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15829 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 615.73 Current children cumulated vsize (Kb) 70252 [startup+630.033 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506391 0 0 0 58139 4435 0 0 25 0 1 0 1801115428 71938048 15831 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15831 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 625.74 Current children cumulated vsize (Kb) 70252 [startup+640.033 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506392 0 0 0 59139 4435 0 0 25 0 1 0 1801115428 71938048 15832 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15832 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 635.74 Current children cumulated vsize (Kb) 70252 [startup+650.033 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506392 0 0 0 60139 4435 0 0 25 0 1 0 1801115428 71938048 15832 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15832 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 645.74 Current children cumulated vsize (Kb) 70252 [startup+660.034 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506393 0 0 0 61139 4435 0 0 25 0 1 0 1801115428 71938048 15833 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15833 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 655.74 Current children cumulated vsize (Kb) 70252 [startup+670.034 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506394 0 0 0 62140 4435 0 0 25 0 1 0 1801115428 71938048 15834 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15834 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 665.75 Current children cumulated vsize (Kb) 70252 [startup+680.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506395 0 0 0 63140 4435 0 0 25 0 1 0 1801115428 71938048 15835 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15835 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 675.75 Current children cumulated vsize (Kb) 70252 [startup+690.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506396 0 0 0 64140 4435 0 0 25 0 1 0 1801115428 71938048 15836 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15836 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 685.75 Current children cumulated vsize (Kb) 70252 [startup+700.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506398 0 0 0 65140 4435 0 0 25 0 1 0 1801115428 71938048 15838 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15838 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 695.75 Current children cumulated vsize (Kb) 70252 [startup+710.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506401 0 0 0 66140 4435 0 0 25 0 1 0 1801115428 71938048 15841 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15841 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 705.75 Current children cumulated vsize (Kb) 70252 [startup+720.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506402 0 0 0 67140 4435 0 0 25 0 1 0 1801115428 71938048 15842 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15842 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 715.75 Current children cumulated vsize (Kb) 70252 [startup+730.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506403 0 0 0 68141 4435 0 0 25 0 1 0 1801115428 71938048 15843 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15843 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 725.76 Current children cumulated vsize (Kb) 70252 [startup+740.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506405 0 0 0 69141 4435 0 0 25 0 1 0 1801115428 71938048 15845 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15845 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 735.76 Current children cumulated vsize (Kb) 70252 [startup+750.037 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506406 0 0 0 70141 4435 0 0 25 0 1 0 1801115428 71938048 15846 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15846 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 745.76 Current children cumulated vsize (Kb) 70252 [startup+760.037 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506408 0 0 0 71141 4435 0 0 25 0 1 0 1801115428 71938048 15848 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15848 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 755.76 Current children cumulated vsize (Kb) 70252 [startup+770.038 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506410 0 0 0 72142 4435 0 0 25 0 1 0 1801115428 71938048 15850 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15850 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 765.77 Current children cumulated vsize (Kb) 70252 [startup+780.038 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506413 0 0 0 73142 4435 0 0 25 0 1 0 1801115428 71938048 15853 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15853 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 775.77 Current children cumulated vsize (Kb) 70252 [startup+790.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506417 0 0 0 74142 4435 0 0 25 0 1 0 1801115428 71938048 15857 4294967295 134512640 134578447 3221224624 3221223568 134558692 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15857 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 785.77 Current children cumulated vsize (Kb) 70252 [startup+800.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506419 0 0 0 75142 4435 0 0 25 0 1 0 1801115428 71938048 15859 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17563 15859 566 18 0 17545 0 [pid=22517] vsize: 70252 Current children cumulated CPU time (s) 795.77 Current children cumulated vsize (Kb) 70252 [startup+810.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506422 0 0 0 76142 4435 0 0 25 0 1 0 1801115428 72200192 15862 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15862 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 805.77 Current children cumulated vsize (Kb) 70508 [startup+820.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506425 0 0 0 77141 4437 0 0 25 0 1 0 1801115428 72200192 15865 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15865 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 815.78 Current children cumulated vsize (Kb) 70508 [startup+830.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506427 0 0 0 78141 4437 0 0 25 0 1 0 1801115428 72200192 15867 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15867 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 825.78 Current children cumulated vsize (Kb) 70508 [startup+840.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506429 0 0 0 79141 4438 0 0 25 0 1 0 1801115428 72200192 15869 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15869 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 835.79 Current children cumulated vsize (Kb) 70508 [startup+850.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506431 0 0 0 80141 4438 0 0 25 0 1 0 1801115428 72200192 15871 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15871 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 845.79 Current children cumulated vsize (Kb) 70508 [startup+860.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506432 0 0 0 81141 4438 0 0 25 0 1 0 1801115428 72200192 15872 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15872 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 855.79 Current children cumulated vsize (Kb) 70508 [startup+870.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506432 0 0 0 82141 4438 0 0 25 0 1 0 1801115428 72200192 15872 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15872 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 865.79 Current children cumulated vsize (Kb) 70508 [startup+880.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506433 0 0 0 83141 4438 0 0 25 0 1 0 1801115428 72200192 15873 4294967295 134512640 134578447 3221224624 3221223384 1075285943 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15873 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 875.79 Current children cumulated vsize (Kb) 70508 [startup+890.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506434 0 0 0 84141 4438 0 0 25 0 1 0 1801115428 72200192 15874 4294967295 134512640 134578447 3221224624 3221223536 134557013 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15874 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 885.79 Current children cumulated vsize (Kb) 70508 [startup+900.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506434 0 0 0 85141 4439 0 0 25 0 1 0 1801115428 72200192 15874 4294967295 134512640 134578447 3221224624 3221223564 134552640 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15874 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 895.8 Current children cumulated vsize (Kb) 70508 [startup+910.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506435 0 0 0 86141 4439 0 0 25 0 1 0 1801115428 72200192 15875 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15875 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 905.8 Current children cumulated vsize (Kb) 70508 [startup+920.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506436 0 0 0 87141 4439 0 0 25 0 1 0 1801115428 72200192 15876 4294967295 134512640 134578447 3221224624 3221223520 134519760 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15876 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 915.8 Current children cumulated vsize (Kb) 70508 [startup+930.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506437 0 0 0 88141 4439 0 0 25 0 1 0 1801115428 72200192 15877 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15877 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 925.8 Current children cumulated vsize (Kb) 70508 [startup+940.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506438 0 0 0 89142 4439 0 0 25 0 1 0 1801115428 72200192 15878 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15878 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 935.81 Current children cumulated vsize (Kb) 70508 [startup+950.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506439 0 0 0 90142 4439 0 0 25 0 1 0 1801115428 72200192 15879 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15879 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 945.81 Current children cumulated vsize (Kb) 70508 [startup+960.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506441 0 0 0 91142 4439 0 0 25 0 1 0 1801115428 72200192 15881 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15881 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 955.81 Current children cumulated vsize (Kb) 70508 [startup+970.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506442 0 0 0 92142 4439 0 0 25 0 1 0 1801115428 72200192 15882 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17627 15882 566 18 0 17609 0 [pid=22517] vsize: 70508 Current children cumulated CPU time (s) 965.81 Current children cumulated vsize (Kb) 70508 [startup+980.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506513 0 0 0 93142 4439 0 0 25 0 1 0 1801115428 72597504 15953 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17724 15953 566 18 0 17706 0 [pid=22517] vsize: 70896 Current children cumulated CPU time (s) 975.81 Current children cumulated vsize (Kb) 70896 [startup+990.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506755 0 0 0 94141 4440 0 0 25 0 1 0 1801115428 73523200 16195 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 17950 16195 566 18 0 17932 0 [pid=22517] vsize: 71800 Current children cumulated CPU time (s) 985.81 Current children cumulated vsize (Kb) 71800 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506850 0 0 0 95140 4441 0 0 25 0 1 0 1801115428 73928704 16290 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 18049 16290 566 18 0 18031 0 [pid=22517] vsize: 72196 Current children cumulated CPU time (s) 995.81 Current children cumulated vsize (Kb) 72196 [startup+1010.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2507245 0 0 0 96139 4442 0 0 25 0 1 0 1801115428 75522048 16685 4294967295 134512640 134578447 3221224624 3221223300 1075288176 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 18438 16685 566 18 0 18420 0 [pid=22517] vsize: 73752 Current children cumulated CPU time (s) 1005.81 Current children cumulated vsize (Kb) 73752 [startup+1020.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2507471 0 0 0 97138 4443 0 0 25 0 1 0 1801115428 76447744 16911 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 18664 16911 566 18 0 18646 0 [pid=22517] vsize: 74656 Current children cumulated CPU time (s) 1015.81 Current children cumulated vsize (Kb) 74656 [startup+1030.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2508046 0 0 0 98136 4444 0 0 25 0 1 0 1801115428 78872576 17486 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 19256 17486 566 18 0 19238 0 [pid=22517] vsize: 77024 Current children cumulated CPU time (s) 1025.8 Current children cumulated vsize (Kb) 77024 [startup+1040.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2508450 0 0 0 99135 4446 0 0 25 0 1 0 1801115428 80506880 17890 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 19655 17890 566 18 0 19637 0 [pid=22517] vsize: 78620 Current children cumulated CPU time (s) 1035.81 Current children cumulated vsize (Kb) 78620 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2508610 0 0 0 100134 4446 0 0 25 0 1 0 1801115428 81182720 18050 4294967295 134512640 134578447 3221224624 3221223472 134558331 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 19820 18050 566 18 0 19802 0 [pid=22517] vsize: 79280 Current children cumulated CPU time (s) 1045.8 Current children cumulated vsize (Kb) 79280 [startup+1060.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2509000 0 0 0 101133 4447 0 0 25 0 1 0 1801115428 82763776 18440 4294967295 134512640 134578447 3221224624 3221223472 134558389 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 20206 18440 566 18 0 20188 0 [pid=22517] vsize: 80824 Current children cumulated CPU time (s) 1055.8 Current children cumulated vsize (Kb) 80824 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2509401 0 0 0 102132 4448 0 0 25 0 1 0 1801115428 84357120 18841 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 20595 18841 566 18 0 20577 0 [pid=22517] vsize: 82380 Current children cumulated CPU time (s) 1065.8 Current children cumulated vsize (Kb) 82380 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2509576 0 0 0 103132 4449 0 0 25 0 1 0 1801115428 85032960 19016 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 20760 19016 566 18 0 20742 0 [pid=22517] vsize: 83040 Current children cumulated CPU time (s) 1075.81 Current children cumulated vsize (Kb) 83040 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2509964 0 0 0 104131 4450 0 0 25 0 1 0 1801115428 86618112 19404 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 21147 19404 566 18 0 21129 0 [pid=22517] vsize: 84588 Current children cumulated CPU time (s) 1085.81 Current children cumulated vsize (Kb) 84588 [startup+1100.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2510283 0 0 0 105129 4451 0 0 25 0 1 0 1801115428 87945216 19723 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 21471 19723 566 18 0 21453 0 [pid=22517] vsize: 85884 Current children cumulated CPU time (s) 1095.8 Current children cumulated vsize (Kb) 85884 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2510671 0 0 0 106128 4452 0 0 25 0 1 0 1801115428 89534464 20111 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 21859 20111 566 18 0 21841 0 [pid=22517] vsize: 87436 Current children cumulated CPU time (s) 1105.8 Current children cumulated vsize (Kb) 87436 [startup+1120.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2510979 0 0 0 107127 4453 0 0 25 0 1 0 1801115428 90861568 20419 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 22183 20419 566 18 0 22165 0 [pid=22517] vsize: 88732 Current children cumulated CPU time (s) 1115.8 Current children cumulated vsize (Kb) 88732 [startup+1130.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2511272 0 0 0 108126 4454 0 0 25 0 1 0 1801115428 92065792 20712 4294967295 134512640 134578447 3221224624 3221223472 134558328 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 22477 20712 566 18 0 22459 0 [pid=22517] vsize: 89908 Current children cumulated CPU time (s) 1125.8 Current children cumulated vsize (Kb) 89908 [startup+1140.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2511536 0 0 0 109126 4455 0 0 25 0 1 0 1801115428 93110272 20976 4294967295 134512640 134578447 3221224624 3221223200 1075291010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 22732 20976 566 18 0 22714 0 [pid=22517] vsize: 90928 Current children cumulated CPU time (s) 1135.81 Current children cumulated vsize (Kb) 90928 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2511898 0 0 0 110124 4456 0 0 25 0 1 0 1801115428 94547968 21338 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 23083 21338 566 18 0 23065 0 [pid=22517] vsize: 92332 Current children cumulated CPU time (s) 1145.8 Current children cumulated vsize (Kb) 92332 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2512266 0 0 0 111123 4458 0 0 25 0 1 0 1801115428 96083968 21706 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 23458 21706 566 18 0 23440 0 [pid=22517] vsize: 93832 Current children cumulated CPU time (s) 1155.81 Current children cumulated vsize (Kb) 93832 [startup+1170.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2512668 0 0 0 112121 4459 0 0 25 0 1 0 1801115428 97771520 22108 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 23870 22108 566 18 0 23852 0 [pid=22517] vsize: 95480 Current children cumulated CPU time (s) 1165.8 Current children cumulated vsize (Kb) 95480 [startup+1180.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2512884 0 0 0 113120 4460 0 0 25 0 1 0 1801115428 98672640 22324 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 24090 22324 566 18 0 24072 0 [pid=22517] vsize: 96360 Current children cumulated CPU time (s) 1175.8 Current children cumulated vsize (Kb) 96360 [startup+1190.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2513188 0 0 0 114119 4460 0 0 25 0 1 0 1801115428 99844096 22628 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 24376 22628 566 18 0 24358 0 [pid=22517] vsize: 97504 Current children cumulated CPU time (s) 1185.79 Current children cumulated vsize (Kb) 97504 [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2513497 0 0 0 115118 4461 0 0 25 0 1 0 1801115428 101126144 22937 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 24689 22937 566 18 0 24671 0 [pid=22517] vsize: 98756 Current children cumulated CPU time (s) 1195.79 Current children cumulated vsize (Kb) 98756 [startup+1210.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2513801 0 0 0 116117 4462 0 0 25 0 1 0 1801115428 102416384 23241 4294967295 134512640 134578447 3221224624 3221223584 134559068 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 25004 23241 566 18 0 24986 0 [pid=22517] vsize: 100016 Current children cumulated CPU time (s) 1205.79 Current children cumulated vsize (Kb) 100016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22517 Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2513801 0 0 0 116117 4462 0 0 25 0 1 0 1801115428 102416384 23241 4294967295 134512640 134578447 3221224624 3221223564 134552640 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22517/statm): 25004 23241 566 18 0 24986 0 [pid=22517] vsize: 100016 Current children cumulated CPU time (s) 1205.79 Current children cumulated vsize (Kb) 100016 Sending SIGTERM to -22517 Sleeping 2 seconds One traced child (pid=22517) 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.85 CPU user time (s): 1161.18 CPU system time (s): 44.6702 CPU usage (%): 99.6491 Max. virtual memory (cumulated for all children) (Kb): 100016
ERROR: no interpretation found !