Name | web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb |
MD5SUM | 59052c182e2f0c4ec9aef432e4002ed0 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 67 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 256 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 21.3408 |
Number of variables | 55066 |
Total number of constraints | 160619 |
Number of constraints which are clauses | 156587 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 4032 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
LAUNCH ON wulflinc11 THE 2005-09-20 14:35:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5002 boxname=wulflinc11 idbench=314 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 59052c182e2f0c4ec9aef432e4002ed0 /oldhome/oroussel/tmp/wulflinc11/normalized-elf.rf10.ucl.opb REAL COMMAND: Pueblo IDLAUNCH: 5002 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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 : 2 cpu MHz : 451.028 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: 841800 kB Buffers: 33688 kB Cached: 132200 kB SwapCached: 916 kB Active: 77872 kB Inactive: 90612 kB HighTotal: 131008 kB HighFree: 3836 kB LowTotal: 903652 kB LowFree: 837964 kB SwapTotal: 2097136 kB SwapFree: 2095640 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5684 kB Slab: 18808 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 14:40:59 (client local time) WITH STATUS 20 IN 339.876 SECONDS stats: 5002 7 339.876 20
c Pueblo version 1.3 (July 2005) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c starting to Solve c #variables read: 55066 - #constraints read: 160618 c total time : 339.84 s s UNSATISFIABLE
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/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801066641 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/5616/statm): 41 3 40 18 0 23 0 [pid=5616] 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.003 s] Raw data (loadavg): 0.80 0.96 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 117810 0 0 0 753 214 0 0 25 0 1 0 1801066641 35225600 7994 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/5616/statm): 8600 7994 566 18 0 8582 0 [pid=5616] vsize: 34400 Current children cumulated CPU time (s) 9.67 Current children cumulated vsize (Kb) 34400 [startup+20.0028 s] Raw data (loadavg): 0.83 0.96 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 413514 0 0 0 1189 715 0 0 25 0 1 0 1801066641 35446784 8048 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8654 8048 566 18 0 8636 0 [pid=5616] vsize: 34616 Current children cumulated CPU time (s) 19.04 Current children cumulated vsize (Kb) 34616 [startup+30.0026 s] Raw data (loadavg): 0.85 0.96 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 712458 0 0 0 1628 1221 0 0 25 0 1 0 1801066641 35446784 8048 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8654 8048 566 18 0 8636 0 [pid=5616] vsize: 34616 Current children cumulated CPU time (s) 28.49 Current children cumulated vsize (Kb) 34616 [startup+40.0024 s] Raw data (loadavg): 0.88 0.96 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 1008324 0 0 0 2050 1731 0 0 25 0 1 0 1801066641 35446784 8048 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8654 8048 566 18 0 8636 0 [pid=5616] vsize: 34616 Current children cumulated CPU time (s) 37.81 Current children cumulated vsize (Kb) 34616 [startup+50.0031 s] Raw data (loadavg): 0.89 0.96 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 1305287 0 0 0 2473 2243 0 0 25 0 1 0 1801066641 35446784 8011 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8654 8020 566 18 0 8636 0 [pid=5616] vsize: 34616 Current children cumulated CPU time (s) 47.16 Current children cumulated vsize (Kb) 34616 [startup+60.0029 s] Raw data (loadavg): 0.91 0.96 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 1602837 0 0 0 2910 2741 0 0 25 0 1 0 1801066641 35446784 8021 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8654 8031 566 18 0 8636 0 [pid=5616] vsize: 34616 Current children cumulated CPU time (s) 56.51 Current children cumulated vsize (Kb) 34616 [startup+70.0027 s] Raw data (loadavg): 0.92 0.97 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 1899197 0 0 0 3347 3239 0 0 25 0 1 0 1801066641 35708928 8083 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8718 8083 566 18 0 8700 0 [pid=5616] vsize: 34872 Current children cumulated CPU time (s) 65.86 Current children cumulated vsize (Kb) 34872 [startup+80.0035 s] Raw data (loadavg): 0.93 0.97 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 2193610 0 0 0 3781 3736 0 0 20 0 1 0 1801066641 35487744 8034 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8664 8034 566 18 0 8646 0 [pid=5616] vsize: 34656 Current children cumulated CPU time (s) 75.17 Current children cumulated vsize (Kb) 34656 [startup+90.0033 s] Raw data (loadavg): 0.94 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 2487800 0 0 0 4204 4245 0 0 25 0 1 0 1801066641 35708928 8086 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/5616/statm): 8718 8093 566 18 0 8700 0 [pid=5616] vsize: 34872 Current children cumulated CPU time (s) 84.49 Current children cumulated vsize (Kb) 34872 [startup+100.004 s] Raw data (loadavg): 0.95 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 2784543 0 0 0 4644 4739 0 0 25 0 1 0 1801066641 35708928 8099 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8718 8099 566 18 0 8700 0 [pid=5616] vsize: 34872 Current children cumulated CPU time (s) 93.83 Current children cumulated vsize (Kb) 34872 [startup+110.005 s] Raw data (loadavg): 0.96 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 3080553 0 0 0 5071 5247 0 0 25 0 1 0 1801066641 35708928 8081 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8718 8091 566 18 0 8700 0 [pid=5616] vsize: 34872 Current children cumulated CPU time (s) 103.18 Current children cumulated vsize (Kb) 34872 [startup+120.005 s] Raw data (loadavg): 0.97 0.97 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 3374503 0 0 0 5499 5748 0 0 25 0 1 0 1801066641 35487744 8055 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8664 8055 566 18 0 8646 0 [pid=5616] vsize: 34656 Current children cumulated CPU time (s) 112.47 Current children cumulated vsize (Kb) 34656 [startup+130.004 s] Raw data (loadavg): 0.97 0.97 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 3669619 0 0 0 5928 6254 0 0 25 0 1 0 1801066641 35971072 8115 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8782 8115 566 18 0 8764 0 [pid=5616] vsize: 35128 Current children cumulated CPU time (s) 121.82 Current children cumulated vsize (Kb) 35128 [startup+140.005 s] Raw data (loadavg): 0.97 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 3961096 0 0 0 6354 6761 0 0 25 0 1 0 1801066641 36241408 8154 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8848 8154 566 18 0 8830 0 [pid=5616] vsize: 35392 Current children cumulated CPU time (s) 131.15 Current children cumulated vsize (Kb) 35392 [startup+150.006 s] Raw data (loadavg): 0.98 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 4252056 0 0 0 6776 7274 0 0 25 0 1 0 1801066641 36646912 8270 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 8947 8270 566 18 0 8929 0 [pid=5616] vsize: 35788 Current children cumulated CPU time (s) 140.5 Current children cumulated vsize (Kb) 35788 [startup+160.006 s] Raw data (loadavg): 0.98 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 4541224 0 0 0 7203 7782 0 0 25 0 1 0 1801066641 37052416 8376 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/5616/statm): 9046 8376 566 18 0 9028 0 [pid=5616] vsize: 36184 Current children cumulated CPU time (s) 149.85 Current children cumulated vsize (Kb) 36184 [startup+170.006 s] Raw data (loadavg): 0.98 0.97 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 4830742 0 0 0 7619 8302 0 0 25 0 1 0 1801066641 37593088 8508 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 9178 8508 566 18 0 9160 0 [pid=5616] vsize: 36712 Current children cumulated CPU time (s) 159.21 Current children cumulated vsize (Kb) 36712 [startup+180.006 s] Raw data (loadavg): 0.98 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 5123787 0 0 0 8039 8818 0 0 25 0 1 0 1801066641 37998592 8603 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 9277 8612 566 18 0 9259 0 [pid=5616] vsize: 37108 Current children cumulated CPU time (s) 168.57 Current children cumulated vsize (Kb) 37108 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 5420015 0 0 0 8469 9325 0 0 25 0 1 0 1801066641 38539264 8695 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 9409 8695 566 18 0 9391 0 [pid=5616] vsize: 37636 Current children cumulated CPU time (s) 177.94 Current children cumulated vsize (Kb) 37636 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 5717027 0 0 0 8902 9831 0 0 25 0 1 0 1801066641 38944768 8815 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 9508 8815 566 18 0 9490 0 [pid=5616] vsize: 38032 Current children cumulated CPU time (s) 187.33 Current children cumulated vsize (Kb) 38032 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 6010098 0 0 0 9331 10335 0 0 25 0 1 0 1801066641 39264256 8936 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 9586 8936 566 18 0 9568 0 [pid=5616] vsize: 38344 Current children cumulated CPU time (s) 196.66 Current children cumulated vsize (Kb) 38344 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 6304416 0 0 0 9757 10846 0 0 25 0 1 0 1801066641 39890944 9062 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 9739 9062 566 18 0 9721 0 [pid=5616] vsize: 38956 Current children cumulated CPU time (s) 206.03 Current children cumulated vsize (Kb) 38956 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 6598369 0 0 0 10179 11354 0 0 25 0 1 0 1801066641 40431616 9201 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 9871 9201 566 18 0 9853 0 [pid=5616] vsize: 39484 Current children cumulated CPU time (s) 215.33 Current children cumulated vsize (Kb) 39484 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 6894902 0 0 0 10613 11859 0 0 25 0 1 0 1801066641 40837120 9328 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 9970 9336 566 18 0 9952 0 [pid=5616] vsize: 39880 Current children cumulated CPU time (s) 224.72 Current children cumulated vsize (Kb) 39880 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 7190759 0 0 0 11038 12370 0 0 25 0 1 0 1801066641 41902080 9481 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 10230 9481 566 18 0 10212 0 [pid=5616] vsize: 40920 Current children cumulated CPU time (s) 234.08 Current children cumulated vsize (Kb) 40920 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 7487937 0 0 0 11474 12870 0 0 25 0 1 0 1801066641 42442752 9605 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 10362 9605 566 18 0 10344 0 [pid=5616] vsize: 41448 Current children cumulated CPU time (s) 243.44 Current children cumulated vsize (Kb) 41448 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 7784985 0 0 0 11903 13376 0 0 25 0 1 0 1801066641 42848256 9707 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 10461 9716 566 18 0 10443 0 [pid=5616] vsize: 41844 Current children cumulated CPU time (s) 252.79 Current children cumulated vsize (Kb) 41844 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.96 1/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) T 5615 5616 9854 0 -1 0 8083905 0 0 0 12332 13879 0 0 25 0 1 0 1801066641 43032576 9791 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/5616/statm): 10506 9791 566 18 0 10488 0 [pid=5616] vsize: 42024 Current children cumulated CPU time (s) 262.11 Current children cumulated vsize (Kb) 42024 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8383455 0 0 0 12768 14382 0 0 25 0 1 0 1801066641 43794432 9965 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 10692 9965 566 18 0 10674 0 [pid=5616] vsize: 42768 Current children cumulated CPU time (s) 271.5 Current children cumulated vsize (Kb) 42768 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8680712 0 0 0 13210 14873 0 0 25 0 1 0 1801066641 45821952 10438 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 11187 10447 566 18 0 11169 0 [pid=5616] vsize: 44748 Current children cumulated CPU time (s) 280.83 Current children cumulated vsize (Kb) 44748 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8684139 0 0 0 14203 14879 0 0 25 0 1 0 1801066641 46624768 10647 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 11383 10647 566 18 0 11365 0 [pid=5616] vsize: 45532 Current children cumulated CPU time (s) 290.82 Current children cumulated vsize (Kb) 45532 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8684140 0 0 0 15203 14879 0 0 25 0 1 0 1801066641 46624768 10648 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 11383 10648 566 18 0 11365 0 [pid=5616] vsize: 45532 Current children cumulated CPU time (s) 300.82 Current children cumulated vsize (Kb) 45532 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8684140 0 0 0 16203 14879 0 0 25 0 1 0 1801066641 46624768 10648 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 11383 10648 566 18 0 11365 0 [pid=5616] vsize: 45532 Current children cumulated CPU time (s) 310.82 Current children cumulated vsize (Kb) 45532 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8684140 0 0 0 17203 14879 0 0 25 0 1 0 1801066641 46624768 10648 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 11383 10648 566 18 0 11365 0 [pid=5616] vsize: 45532 Current children cumulated CPU time (s) 320.82 Current children cumulated vsize (Kb) 45532 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5616 Raw data (/proc/5616/stat): 5616 (Pueblo) R 5615 5616 9854 0 -1 0 8684140 0 0 0 18204 14879 0 0 25 0 1 0 1801066641 46624768 10648 4294967295 134512640 134578447 3221224624 3221223536 134557228 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5616/statm): 11383 10648 566 18 0 11365 0 [pid=5616] vsize: 45532 Current children cumulated CPU time (s) 330.83 Current children cumulated vsize (Kb) 45532 One traced child (pid=5616) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 359.046 CPU time (s): 339.876 CPU user time (s): 191.057 CPU system time (s): 148.819 CPU usage (%): 94.6608 Max. virtual memory (cumulated for all children) (Kb): 45532
ERROR: no interpretation found !