Name | web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb |
MD5SUM | 04162d5197113d66489e9d95b6572385 |
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 | 41 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 134 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 38.9081 |
Number of variables | 20605 |
Total number of constraints | 59851 |
Number of constraints which are clauses | 58675 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1176 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
LAUNCH ON wulflinc30 THE 2005-09-20 14:37:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5021 boxname=wulflinc30 idbench=333 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 04162d5197113d66489e9d95b6572385 /oldhome/oroussel/tmp/wulflinc30/normalized-ooo.tag12.ucl.opb REAL COMMAND: Pueblo IDLAUNCH: 5021 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 845472 kB Buffers: 34496 kB Cached: 124520 kB SwapCached: 784 kB Active: 83444 kB Inactive: 78292 kB HighTotal: 131008 kB HighFree: 16716 kB LowTotal: 903652 kB LowFree: 828756 kB SwapTotal: 2097892 kB SwapFree: 2096640 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5792 kB Slab: 21720 kB Committed_AS: 64272 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 14:48:26 (client local time) WITH STATUS 20 IN 679.285 SECONDS stats: 5021 7 679.285 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: 20605 - #constraints read: 59850 c total time : 679.25 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/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859298024 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8456/statm): 41 3 40 18 0 23 0 [pid=8456] 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.0029 s] Raw data (loadavg): 0.92 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 3234 0 0 0 984 11 0 0 25 0 1 0 1859298024 15671296 3200 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 3826 3200 566 18 0 3808 0 [pid=8456] vsize: 15304 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 15304 [startup+20.0037 s] Raw data (loadavg): 0.93 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 3872 0 0 0 1982 13 0 0 25 0 1 0 1859298024 18366464 3838 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 4484 3838 566 18 0 4466 0 [pid=8456] vsize: 17936 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 17936 [startup+30.0045 s] Raw data (loadavg): 0.94 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 2980 14 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223520 134519887 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0 [pid=8456] vsize: 19064 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 19064 [startup+40.0053 s] Raw data (loadavg): 0.95 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 3981 14 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223568 134558655 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0 [pid=8456] vsize: 19064 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 19064 [startup+50.0061 s] Raw data (loadavg): 0.96 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 4981 14 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223504 134519923 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0 [pid=8456] vsize: 19064 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 19064 [startup+60.0059 s] Raw data (loadavg): 0.96 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 5981 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0 [pid=8456] vsize: 19064 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 19064 [startup+70.0067 s] Raw data (loadavg): 0.97 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 6981 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0 [pid=8456] vsize: 19064 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 19064 [startup+80.0075 s] Raw data (loadavg): 0.97 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 7981 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223520 134519783 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0 [pid=8456] vsize: 19064 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 19064 [startup+90.0083 s] Raw data (loadavg): 0.98 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 8982 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0 [pid=8456] vsize: 19064 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 19064 [startup+100.009 s] Raw data (loadavg): 0.98 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 9982 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223520 134520053 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0 [pid=8456] vsize: 19064 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 19064 [startup+110.009 s] Raw data (loadavg): 0.98 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4160 0 0 0 10982 15 0 0 25 0 1 0 1859298024 19521536 4126 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 4766 4126 566 18 0 4748 0 [pid=8456] vsize: 19064 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 19064 [startup+120.01 s] Raw data (loadavg): 0.98 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4239 0 0 0 11982 15 0 0 25 0 1 0 1859298024 19914752 4205 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 4862 4205 566 18 0 4844 0 [pid=8456] vsize: 19448 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 19448 [startup+130.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4509 0 0 0 12981 16 0 0 25 0 1 0 1859298024 21151744 4475 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 5164 4475 566 18 0 5146 0 [pid=8456] vsize: 20656 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 20656 [startup+140.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4638 0 0 0 13980 17 0 0 25 0 1 0 1859298024 21557248 4604 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 5263 4604 566 18 0 5245 0 [pid=8456] vsize: 21052 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 21052 [startup+150.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 4786 0 0 0 14979 18 0 0 25 0 1 0 1859298024 22335488 4752 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 5453 4752 566 18 0 5435 0 [pid=8456] vsize: 21812 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 21812 [startup+160.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5040 0 0 0 15979 18 0 0 25 0 1 0 1859298024 23257088 5006 4294967295 134512640 134578447 3221224624 3221223520 134519828 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 5678 5006 566 18 0 5660 0 [pid=8456] vsize: 22712 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 22712 [startup+170.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5217 0 0 0 16977 19 0 0 25 0 1 0 1859298024 24035328 5183 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 5868 5183 566 18 0 5850 0 [pid=8456] vsize: 23472 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 23472 [startup+180.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5409 0 0 0 17976 20 0 0 25 0 1 0 1859298024 24817664 5375 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 6059 5375 566 18 0 6041 0 [pid=8456] vsize: 24236 Current children cumulated CPU time (s) 179.96 Current children cumulated vsize (Kb) 24236 [startup+190.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5603 0 0 0 18976 21 0 0 25 0 1 0 1859298024 25595904 5569 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 6249 5569 566 18 0 6231 0 [pid=8456] vsize: 24996 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 24996 [startup+200.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5791 0 0 0 19975 22 0 0 25 0 1 0 1859298024 26398720 5757 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 6445 5757 566 18 0 6427 0 [pid=8456] vsize: 25780 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 25780 [startup+210.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 5930 0 0 0 20975 22 0 0 25 0 1 0 1859298024 26927104 5896 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 6574 5896 566 18 0 6556 0 [pid=8456] vsize: 26296 Current children cumulated CPU time (s) 209.97 Current children cumulated vsize (Kb) 26296 [startup+220.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6104 0 0 0 21974 22 0 0 25 0 1 0 1859298024 27602944 6070 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 6739 6070 566 18 0 6721 0 [pid=8456] vsize: 26956 Current children cumulated CPU time (s) 219.96 Current children cumulated vsize (Kb) 26956 [startup+230.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6200 0 0 0 22974 23 0 0 25 0 1 0 1859298024 28004352 6166 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 6837 6166 566 18 0 6819 0 [pid=8456] vsize: 27348 Current children cumulated CPU time (s) 229.97 Current children cumulated vsize (Kb) 27348 [startup+240.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6322 0 0 0 23974 23 0 0 25 0 1 0 1859298024 28528640 6288 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 6965 6288 566 18 0 6947 0 [pid=8456] vsize: 27860 Current children cumulated CPU time (s) 239.97 Current children cumulated vsize (Kb) 27860 [startup+250.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6503 0 0 0 24974 23 0 0 25 0 1 0 1859298024 29339648 6469 4294967295 134512640 134578447 3221224624 3221223476 134555737 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 7163 6469 566 18 0 7145 0 [pid=8456] vsize: 28652 Current children cumulated CPU time (s) 249.97 Current children cumulated vsize (Kb) 28652 [startup+260.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6701 0 0 0 25973 24 0 0 25 0 1 0 1859298024 30273536 6667 4294967295 134512640 134578447 3221224624 3221223520 134519801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 7391 6667 566 18 0 7373 0 [pid=8456] vsize: 29564 Current children cumulated CPU time (s) 259.97 Current children cumulated vsize (Kb) 29564 [startup+270.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 6851 0 0 0 26973 24 0 0 25 0 1 0 1859298024 30814208 6817 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 7523 6817 566 18 0 7505 0 [pid=8456] vsize: 30092 Current children cumulated CPU time (s) 269.97 Current children cumulated vsize (Kb) 30092 [startup+280.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 7040 0 0 0 27972 25 0 0 25 0 1 0 1859298024 31608832 7006 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 7717 7006 566 18 0 7699 0 [pid=8456] vsize: 30868 Current children cumulated CPU time (s) 279.97 Current children cumulated vsize (Kb) 30868 [startup+290.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 7191 0 0 0 28972 25 0 0 25 0 1 0 1859298024 32129024 7157 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 7844 7157 566 18 0 7826 0 [pid=8456] vsize: 31376 Current children cumulated CPU time (s) 289.97 Current children cumulated vsize (Kb) 31376 [startup+300.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 7442 0 0 0 29972 26 0 0 25 0 1 0 1859298024 33312768 7408 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 8133 7408 566 18 0 8115 0 [pid=8456] vsize: 32532 Current children cumulated CPU time (s) 299.98 Current children cumulated vsize (Kb) 32532 [startup+310.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 7587 0 0 0 30971 26 0 0 25 0 1 0 1859298024 33849344 7553 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 8264 7553 566 18 0 8246 0 [pid=8456] vsize: 33056 Current children cumulated CPU time (s) 309.97 Current children cumulated vsize (Kb) 33056 [startup+320.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 7939 0 0 0 31970 27 0 0 25 0 1 0 1859298024 35299328 7905 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 8618 7905 566 18 0 8600 0 [pid=8456] vsize: 34472 Current children cumulated CPU time (s) 319.97 Current children cumulated vsize (Kb) 34472 [startup+330.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 8160 0 0 0 32969 28 0 0 25 0 1 0 1859298024 36220928 8126 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 8843 8126 566 18 0 8825 0 [pid=8456] vsize: 35372 Current children cumulated CPU time (s) 329.97 Current children cumulated vsize (Kb) 35372 [startup+340.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 8328 0 0 0 33969 29 0 0 25 0 1 0 1859298024 36945920 8294 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 9020 8294 566 18 0 9002 0 [pid=8456] vsize: 36080 Current children cumulated CPU time (s) 339.98 Current children cumulated vsize (Kb) 36080 [startup+350.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 8530 0 0 0 34968 29 0 0 25 0 1 0 1859298024 37756928 8496 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 9218 8496 566 18 0 9200 0 [pid=8456] vsize: 36872 Current children cumulated CPU time (s) 349.97 Current children cumulated vsize (Kb) 36872 [startup+360.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 8758 0 0 0 35967 30 0 0 25 0 1 0 1859298024 38707200 8724 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 9450 8724 566 18 0 9432 0 [pid=8456] vsize: 37800 Current children cumulated CPU time (s) 359.97 Current children cumulated vsize (Kb) 37800 [startup+370.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 8977 0 0 0 36966 31 0 0 25 0 1 0 1859298024 39694336 8943 4294967295 134512640 134578447 3221224624 3221223568 134558636 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 9691 8943 566 18 0 9673 0 [pid=8456] vsize: 38764 Current children cumulated CPU time (s) 369.97 Current children cumulated vsize (Kb) 38764 [startup+380.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 9152 0 0 0 37966 31 0 0 25 0 1 0 1859298024 40361984 9118 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 9854 9118 566 18 0 9836 0 [pid=8456] vsize: 39416 Current children cumulated CPU time (s) 379.97 Current children cumulated vsize (Kb) 39416 [startup+390.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 9374 0 0 0 38965 32 0 0 25 0 1 0 1859298024 41279488 9340 4294967295 134512640 134578447 3221224624 3221223472 134558418 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 10078 9340 566 18 0 10060 0 [pid=8456] vsize: 40312 Current children cumulated CPU time (s) 389.97 Current children cumulated vsize (Kb) 40312 [startup+400.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 9524 0 0 0 39965 33 0 0 25 0 1 0 1859298024 41869312 9490 4294967295 134512640 134578447 3221224624 3221223560 134519842 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 10222 9490 566 18 0 10204 0 [pid=8456] vsize: 40888 Current children cumulated CPU time (s) 399.98 Current children cumulated vsize (Kb) 40888 [startup+410.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 9793 0 0 0 40964 33 0 0 25 0 1 0 1859298024 42930176 9759 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 10481 9759 566 18 0 10463 0 [pid=8456] vsize: 41924 Current children cumulated CPU time (s) 409.97 Current children cumulated vsize (Kb) 41924 [startup+420.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 9983 0 0 0 41964 34 0 0 25 0 1 0 1859298024 43737088 9949 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 10678 9949 566 18 0 10660 0 [pid=8456] vsize: 42712 Current children cumulated CPU time (s) 419.98 Current children cumulated vsize (Kb) 42712 [startup+430.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 10176 0 0 0 42964 34 0 0 25 0 1 0 1859298024 44535808 10142 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 10873 10142 566 18 0 10855 0 [pid=8456] vsize: 43492 Current children cumulated CPU time (s) 429.98 Current children cumulated vsize (Kb) 43492 [startup+440.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 10351 0 0 0 43964 34 0 0 25 0 1 0 1859298024 45195264 10317 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 11034 10317 566 18 0 11016 0 [pid=8456] vsize: 44136 Current children cumulated CPU time (s) 439.98 Current children cumulated vsize (Kb) 44136 [startup+450.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 10547 0 0 0 44963 35 0 0 25 0 1 0 1859298024 46096384 10513 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 11254 10513 566 18 0 11236 0 [pid=8456] vsize: 45016 Current children cumulated CPU time (s) 449.98 Current children cumulated vsize (Kb) 45016 [startup+460.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 10761 0 0 0 45963 35 0 0 25 0 1 0 1859298024 46891008 10727 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 11448 10727 566 18 0 11430 0 [pid=8456] vsize: 45792 Current children cumulated CPU time (s) 459.98 Current children cumulated vsize (Kb) 45792 [startup+470.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 10987 0 0 0 46962 36 0 0 25 0 1 0 1859298024 47833088 10953 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 11678 10953 566 18 0 11660 0 [pid=8456] vsize: 46712 Current children cumulated CPU time (s) 469.98 Current children cumulated vsize (Kb) 46712 [startup+480.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 11202 0 0 0 47961 37 0 0 25 0 1 0 1859298024 48803840 11168 4294967295 134512640 134578447 3221224624 3221223536 134557211 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 11915 11168 566 18 0 11897 0 [pid=8456] vsize: 47660 Current children cumulated CPU time (s) 479.98 Current children cumulated vsize (Kb) 47660 [startup+490.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 11398 0 0 0 48961 38 0 0 25 0 1 0 1859298024 49467392 11364 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 12077 11364 566 18 0 12059 0 [pid=8456] vsize: 48308 Current children cumulated CPU time (s) 489.99 Current children cumulated vsize (Kb) 48308 [startup+500.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 11651 0 0 0 49960 38 0 0 25 0 1 0 1859298024 50561024 11617 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 12344 11617 566 18 0 12326 0 [pid=8456] vsize: 49376 Current children cumulated CPU time (s) 499.98 Current children cumulated vsize (Kb) 49376 [startup+510.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 11869 0 0 0 50959 39 0 0 25 0 1 0 1859298024 51482624 11835 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 12569 11835 566 18 0 12551 0 [pid=8456] vsize: 50276 Current children cumulated CPU time (s) 509.98 Current children cumulated vsize (Kb) 50276 [startup+520.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 11969 0 0 0 51959 40 0 0 25 0 1 0 1859298024 51888128 11935 4294967295 134512640 134578447 3221224624 3221223472 134558456 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 12668 11935 566 18 0 12650 0 [pid=8456] vsize: 50672 Current children cumulated CPU time (s) 519.99 Current children cumulated vsize (Kb) 50672 [startup+530.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12085 0 0 0 52959 40 0 0 25 0 1 0 1859298024 52289536 12051 4294967295 134512640 134578447 3221224624 3221223476 134555832 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 12766 12051 566 18 0 12748 0 [pid=8456] vsize: 51064 Current children cumulated CPU time (s) 529.99 Current children cumulated vsize (Kb) 51064 [startup+540.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12256 0 0 0 53958 40 0 0 25 0 1 0 1859298024 53338112 12222 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13022 12222 566 18 0 13004 0 [pid=8456] vsize: 52088 Current children cumulated CPU time (s) 539.98 Current children cumulated vsize (Kb) 52088 [startup+550.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12427 0 0 0 54958 41 0 0 25 0 1 0 1859298024 53997568 12393 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13183 12393 566 18 0 13165 0 [pid=8456] vsize: 52732 Current children cumulated CPU time (s) 549.99 Current children cumulated vsize (Kb) 52732 [startup+560.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12677 0 0 0 55957 42 0 0 25 0 1 0 1859298024 55083008 12643 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13448 12643 566 18 0 13430 0 [pid=8456] vsize: 53792 Current children cumulated CPU time (s) 559.99 Current children cumulated vsize (Kb) 53792 [startup+570.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12748 0 0 0 56957 42 0 0 25 0 1 0 1859298024 55349248 12714 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13513 12714 566 18 0 13495 0 [pid=8456] vsize: 54052 Current children cumulated CPU time (s) 569.99 Current children cumulated vsize (Kb) 54052 [startup+580.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 12976 0 0 0 57955 43 0 0 25 0 1 0 1859298024 56266752 12942 4294967295 134512640 134578447 3221224624 3221223472 134558194 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13737 12942 566 18 0 13719 0 [pid=8456] vsize: 54948 Current children cumulated CPU time (s) 579.98 Current children cumulated vsize (Kb) 54948 [startup+590.033 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13147 0 0 0 58955 44 0 0 25 0 1 0 1859298024 56938496 13113 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13901 13113 566 18 0 13883 0 [pid=8456] vsize: 55604 Current children cumulated CPU time (s) 589.99 Current children cumulated vsize (Kb) 55604 [startup+600.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 59955 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0 [pid=8456] vsize: 55860 Current children cumulated CPU time (s) 599.99 Current children cumulated vsize (Kb) 55860 [startup+610.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 60955 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0 [pid=8456] vsize: 55860 Current children cumulated CPU time (s) 609.99 Current children cumulated vsize (Kb) 55860 [startup+620.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 61955 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0 [pid=8456] vsize: 55860 Current children cumulated CPU time (s) 619.99 Current children cumulated vsize (Kb) 55860 [startup+630.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 62955 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0 [pid=8456] vsize: 55860 Current children cumulated CPU time (s) 629.99 Current children cumulated vsize (Kb) 55860 [startup+640.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 63955 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0 [pid=8456] vsize: 55860 Current children cumulated CPU time (s) 639.99 Current children cumulated vsize (Kb) 55860 [startup+650.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 64956 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223536 134557241 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0 [pid=8456] vsize: 55860 Current children cumulated CPU time (s) 650 Current children cumulated vsize (Kb) 55860 [startup+660.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 65956 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0 [pid=8456] vsize: 55860 Current children cumulated CPU time (s) 660 Current children cumulated vsize (Kb) 55860 [startup+670.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8456 Raw data (/proc/8456/stat): 8456 (Pueblo) R 8455 8456 5245 0 -1 0 13184 0 0 0 66956 44 0 0 25 0 1 0 1859298024 57200640 13150 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8456/statm): 13965 13150 566 18 0 13947 0 [pid=8456] vsize: 55860 Current children cumulated CPU time (s) 670 Current children cumulated vsize (Kb) 55860 One traced child (pid=8456) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 679.31 CPU time (s): 679.285 CPU user time (s): 678.812 CPU system time (s): 0.472928 CPU usage (%): 99.9962 Max. virtual memory (cumulated for all children) (Kb): 55860
ERROR: no interpretation found !