Name | submitted/een/normalized-stein45.opb |
MD5SUM | 34647f6a75058de4a92f0ff94f3c9005 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 45 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 67 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 82.1775 |
Number of variables | 45 |
Total number of constraints | 331 |
Number of constraints which are clauses | 330 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 45 |
LAUNCH ON wulflinc10 THE 2005-09-20 14:26:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4978 boxname=wulflinc10 idbench=290 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 34647f6a75058de4a92f0ff94f3c9005 /oldhome/oroussel/tmp/wulflinc10/normalized-stein45.opb REAL COMMAND: Pueblo IDLAUNCH: 4978 /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: 745064 kB Buffers: 39288 kB Cached: 222964 kB SwapCached: 228 kB Active: 84836 kB Inactive: 180308 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 744812 kB SwapTotal: 2097136 kB SwapFree: 2096756 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6292 kB Slab: 18700 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 14:36:14 (client local time) WITH STATUS 30 IN 549.149 SECONDS stats: 4978 0 549.149 30
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: 45 - #constraints read: 332 c optimum objective found = 30 c total time : 549.14 s s OPTIMUM FOUND v x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 -x30 -x31 -x32 -x33 -x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44
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/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801056674 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 41 3 40 18 0 23 0 [pid=22406] 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.0028 s] Raw data (loadavg): 0.93 0.97 0.91 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 319 0 0 0 883 41 0 0 25 0 1 0 1801056674 2895872 285 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22406/statm): 707 285 566 18 0 689 0 [pid=22406] vsize: 2828 Current children cumulated CPU time (s) 9.24 Current children cumulated vsize (Kb) 2828 [startup+20.0024 s] Raw data (loadavg): 0.94 0.97 0.91 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 331 0 0 0 1783 76 0 0 25 0 1 0 1801056674 2891776 297 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22406/statm): 706 297 566 18 0 688 0 [pid=22406] vsize: 2824 Current children cumulated CPU time (s) 18.59 Current children cumulated vsize (Kb) 2824 [startup+30.0029 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 340 0 0 0 2691 111 0 0 25 0 1 0 1801056674 2891776 306 4294967295 134512640 134578447 3221224624 3221223508 1075285478 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 706 306 566 18 0 688 0 [pid=22406] vsize: 2824 Current children cumulated CPU time (s) 28.02 Current children cumulated vsize (Kb) 2824 [startup+40.0025 s] Raw data (loadavg): 0.96 0.97 0.91 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 342 0 0 0 3599 141 0 0 25 0 1 0 1801056674 2891776 308 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22406/statm): 706 308 566 18 0 688 0 [pid=22406] vsize: 2824 Current children cumulated CPU time (s) 37.4 Current children cumulated vsize (Kb) 2824 [startup+50.0031 s] Raw data (loadavg): 0.96 0.97 0.91 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 349 0 0 0 4513 172 0 0 17 0 1 0 1801056674 3006464 315 4294967295 134512640 134578447 3221224624 3221223456 134527203 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 734 315 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 46.85 Current children cumulated vsize (Kb) 2936 [startup+60.0026 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 349 0 0 0 5428 201 0 0 25 0 1 0 1801056674 3006464 315 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 734 315 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 56.29 Current children cumulated vsize (Kb) 2936 [startup+70.0022 s] Raw data (loadavg): 0.97 0.97 0.91 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 349 0 0 0 6342 231 0 0 25 0 1 0 1801056674 3006464 315 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22406/statm): 734 315 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 65.73 Current children cumulated vsize (Kb) 2936 [startup+80.0028 s] Raw data (loadavg): 0.98 0.97 0.91 3/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 356 0 0 0 7267 258 0 0 25 0 1 0 1801056674 3006464 322 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22406/statm): 734 322 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 75.25 Current children cumulated vsize (Kb) 2936 [startup+90.0023 s] Raw data (loadavg): 0.98 0.97 0.91 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 356 0 0 0 8190 286 0 0 25 0 1 0 1801056674 3006464 322 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22406/statm): 734 322 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 84.76 Current children cumulated vsize (Kb) 2936 [startup+100.003 s] Raw data (loadavg): 0.98 0.97 0.91 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 356 0 0 0 9115 314 0 0 25 0 1 0 1801056674 3006464 322 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22406/statm): 734 322 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 94.29 Current children cumulated vsize (Kb) 2936 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 356 0 0 0 10037 343 0 0 25 0 1 0 1801056674 3006464 322 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 734 322 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 103.8 Current children cumulated vsize (Kb) 2936 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 365 0 0 0 10955 375 0 0 25 0 1 0 1801056674 3006464 331 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22406/statm): 734 331 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 113.3 Current children cumulated vsize (Kb) 2936 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 365 0 0 0 11877 404 0 0 25 0 1 0 1801056674 3006464 331 4294967295 134512640 134578447 3221224624 3221223584 134558724 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 734 331 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 122.81 Current children cumulated vsize (Kb) 2936 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 365 0 0 0 12799 433 0 0 25 0 1 0 1801056674 3006464 331 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22406/statm): 734 331 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 132.32 Current children cumulated vsize (Kb) 2936 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 367 0 0 0 13721 459 0 0 25 0 1 0 1801056674 3006464 333 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 734 333 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 141.8 Current children cumulated vsize (Kb) 2936 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 367 0 0 0 14641 487 0 0 25 0 1 0 1801056674 3006464 333 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22406/statm): 734 333 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 151.28 Current children cumulated vsize (Kb) 2936 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 367 0 0 0 15565 515 0 0 17 0 1 0 1801056674 3006464 333 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22406/statm): 734 333 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 160.8 Current children cumulated vsize (Kb) 2936 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 367 0 0 0 16492 540 0 0 25 0 1 0 1801056674 3006464 333 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22406/statm): 734 333 566 18 0 716 0 [pid=22406] vsize: 2936 Current children cumulated CPU time (s) 170.32 Current children cumulated vsize (Kb) 2936 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 376 0 0 0 17415 567 0 0 25 0 1 0 1801056674 3137536 342 4294967295 134512640 134578447 3221224624 3221223540 134552704 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 766 342 566 18 0 748 0 [pid=22406] vsize: 3064 Current children cumulated CPU time (s) 179.82 Current children cumulated vsize (Kb) 3064 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 376 0 0 0 18339 594 0 0 25 0 1 0 1801056674 3117056 342 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 342 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 189.33 Current children cumulated vsize (Kb) 3044 [startup+210.006 s] Raw data (loadavg): 1.07 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 378 0 0 0 19263 621 0 0 25 0 1 0 1801056674 3117056 344 4294967295 134512640 134578447 3221224624 3221223536 134516792 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 344 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 198.84 Current children cumulated vsize (Kb) 3044 [startup+220.006 s] Raw data (loadavg): 1.06 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 378 0 0 0 20189 647 0 0 25 0 1 0 1801056674 3117056 344 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 344 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 208.36 Current children cumulated vsize (Kb) 3044 [startup+230.006 s] Raw data (loadavg): 1.05 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 379 0 0 0 21113 676 0 0 25 0 1 0 1801056674 3117056 345 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 345 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 217.89 Current children cumulated vsize (Kb) 3044 [startup+240.006 s] Raw data (loadavg): 1.04 0.99 0.92 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 379 0 0 0 22035 709 0 0 25 0 1 0 1801056674 3117056 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22406/statm): 761 345 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 227.44 Current children cumulated vsize (Kb) 3044 [startup+250.006 s] Raw data (loadavg): 1.03 0.99 0.92 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 379 0 0 0 22960 736 0 0 25 0 1 0 1801056674 3117056 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 345 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 236.96 Current children cumulated vsize (Kb) 3044 [startup+260.007 s] Raw data (loadavg): 1.03 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 380 0 0 0 23887 762 0 0 25 0 1 0 1801056674 3117056 346 4294967295 134512640 134578447 3221224624 3221223536 134516795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 346 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 246.49 Current children cumulated vsize (Kb) 3044 [startup+270.006 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 380 0 0 0 24812 789 0 0 25 0 1 0 1801056674 3117056 346 4294967295 134512640 134578447 3221224624 3221223376 134528944 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 346 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 256.01 Current children cumulated vsize (Kb) 3044 [startup+280.007 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 381 0 0 0 25738 815 0 0 25 0 1 0 1801056674 3117056 347 4294967295 134512640 134578447 3221224624 3221223520 134519825 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 347 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 265.53 Current children cumulated vsize (Kb) 3044 [startup+290.008 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 390 0 0 0 26663 841 0 0 25 0 1 0 1801056674 3117056 356 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 356 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 275.04 Current children cumulated vsize (Kb) 3044 [startup+300.008 s] Raw data (loadavg): 1.01 0.99 0.92 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 391 0 0 0 27586 869 0 0 25 0 1 0 1801056674 3117056 357 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 357 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 284.55 Current children cumulated vsize (Kb) 3044 [startup+310.009 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 28515 895 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223536 134557228 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 358 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 294.1 Current children cumulated vsize (Kb) 3044 [startup+320.009 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 29449 918 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 358 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 303.67 Current children cumulated vsize (Kb) 3044 [startup+330.01 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 30377 944 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 358 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 313.21 Current children cumulated vsize (Kb) 3044 [startup+340.01 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 31306 970 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 358 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 322.76 Current children cumulated vsize (Kb) 3044 [startup+350.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 32232 997 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 358 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 332.29 Current children cumulated vsize (Kb) 3044 [startup+360.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 392 0 0 0 33159 1026 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 358 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 341.85 Current children cumulated vsize (Kb) 3044 [startup+370.01 s] Raw data (loadavg): 1.00 0.99 0.92 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 392 0 0 0 34084 1054 0 0 25 0 1 0 1801056674 3117056 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 358 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 351.38 Current children cumulated vsize (Kb) 3044 [startup+380.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 393 0 0 0 35011 1079 0 0 25 0 1 0 1801056674 3117056 359 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 359 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 360.9 Current children cumulated vsize (Kb) 3044 [startup+390.01 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 35936 1106 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 360 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 370.42 Current children cumulated vsize (Kb) 3044 [startup+400.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 36870 1131 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221223520 134519885 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 360 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 380.01 Current children cumulated vsize (Kb) 3044 [startup+410.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 37800 1155 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 360 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 389.55 Current children cumulated vsize (Kb) 3044 [startup+420.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 38727 1180 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221222208 134533098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 360 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 399.07 Current children cumulated vsize (Kb) 3044 [startup+430.012 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 39649 1208 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221223192 1075289825 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 360 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 408.57 Current children cumulated vsize (Kb) 3044 [startup+440.012 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 394 0 0 0 40578 1236 0 0 25 0 1 0 1801056674 3117056 360 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 761 360 566 18 0 743 0 [pid=22406] vsize: 3044 Current children cumulated CPU time (s) 418.14 Current children cumulated vsize (Kb) 3044 [startup+450.013 s] Raw data (loadavg): 1.00 0.99 0.92 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 404 0 0 0 41504 1265 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22406/statm): 788 370 566 18 0 770 0 [pid=22406] vsize: 3152 Current children cumulated CPU time (s) 427.69 Current children cumulated vsize (Kb) 3152 [startup+460.013 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 404 0 0 0 42437 1289 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223564 134527396 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 788 370 566 18 0 770 0 [pid=22406] vsize: 3152 Current children cumulated CPU time (s) 437.26 Current children cumulated vsize (Kb) 3152 [startup+470.013 s] Raw data (loadavg): 1.00 0.99 0.92 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 404 0 0 0 43369 1315 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22406/statm): 788 370 566 18 0 770 0 [pid=22406] vsize: 3152 Current children cumulated CPU time (s) 446.84 Current children cumulated vsize (Kb) 3152 [startup+480.013 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 404 0 0 0 44299 1341 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 788 370 566 18 0 770 0 [pid=22406] vsize: 3152 Current children cumulated CPU time (s) 456.4 Current children cumulated vsize (Kb) 3152 [startup+490.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 404 0 0 0 45228 1369 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 788 370 566 18 0 770 0 [pid=22406] vsize: 3152 Current children cumulated CPU time (s) 465.97 Current children cumulated vsize (Kb) 3152 [startup+500.014 s] Raw data (loadavg): 1.00 0.99 0.92 1/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) T 22405 22406 22582 0 -1 0 404 0 0 0 46159 1395 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/22406/statm): 788 370 566 18 0 770 0 [pid=22406] vsize: 3152 Current children cumulated CPU time (s) 475.54 Current children cumulated vsize (Kb) 3152 [startup+510.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 404 0 0 0 47086 1420 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223556 134527675 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 788 370 566 18 0 770 0 [pid=22406] vsize: 3152 Current children cumulated CPU time (s) 485.06 Current children cumulated vsize (Kb) 3152 [startup+520.016 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 404 0 0 0 48016 1445 0 0 25 0 1 0 1801056674 3227648 370 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 788 370 566 18 0 770 0 [pid=22406] vsize: 3152 Current children cumulated CPU time (s) 494.61 Current children cumulated vsize (Kb) 3152 [startup+530.016 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 406 0 0 0 48945 1471 0 0 25 0 1 0 1801056674 3227648 372 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 788 372 566 18 0 770 0 [pid=22406] vsize: 3152 Current children cumulated CPU time (s) 504.16 Current children cumulated vsize (Kb) 3152 [startup+540.017 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 406 0 0 0 49877 1494 0 0 25 0 1 0 1801056674 3227648 372 4294967295 134512640 134578447 3221224624 3221222384 134532177 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22406/statm): 788 372 566 18 0 770 0 [pid=22406] vsize: 3152 Current children cumulated CPU time (s) 513.71 Current children cumulated vsize (Kb) 3152 [startup+550.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 406 0 0 0 50808 1516 0 0 25 0 1 0 1801056674 3219456 372 4294967295 134512640 134578447 3221224624 3221223584 134558714 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 786 372 566 18 0 768 0 [pid=22406] vsize: 3144 Current children cumulated CPU time (s) 523.24 Current children cumulated vsize (Kb) 3144 [startup+560.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 406 0 0 0 51733 1546 0 0 25 0 1 0 1801056674 3219456 372 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 786 372 566 18 0 768 0 [pid=22406] vsize: 3144 Current children cumulated CPU time (s) 532.79 Current children cumulated vsize (Kb) 3144 [startup+570.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 22406 Raw data (/proc/22406/stat): 22406 (Pueblo) R 22405 22406 22582 0 -1 0 406 0 0 0 52662 1572 0 0 25 0 1 0 1801056674 3219456 372 4294967295 134512640 134578447 3221224624 3221223532 1075285472 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22406/statm): 786 372 566 18 0 768 0 [pid=22406] vsize: 3144 Current children cumulated CPU time (s) 542.34 Current children cumulated vsize (Kb) 3144 One traced child (pid=22406) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 577.119 CPU time (s): 549.149 CPU user time (s): 533.238 CPU system time (s): 15.9116 CPU usage (%): 95.1537 Max. virtual memory (cumulated for all children) (Kb): 3152
Verifier: OK 30