Name | mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-enigma.opb |
MD5SUM | 438e2455c0b7b4efdea6a7e48ef2555a |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 9 |
Number of bits for the biggest coefficient in the objective function | 4 |
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 | 900207 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 9508275 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 2.16667 |
Number of variables | 100 |
Total number of constraints | 121 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 120 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 90 |
LAUNCH ON wulflinc22 THE 2005-09-20 04:42:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3400 boxname=wulflinc22 idbench=1056 idsolver=3 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 438e2455c0b7b4efdea6a7e48ef2555a /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-enigma.opb REAL COMMAND: minisat+_script /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-enigma.opb IDLAUNCH: 3400 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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 : 3 cpu MHz : 451.031 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: 889452 kB Buffers: 12216 kB Cached: 106164 kB SwapCached: 552 kB Active: 16648 kB Inactive: 104296 kB HighTotal: 131008 kB HighFree: 23996 kB LowTotal: 903652 kB LowFree: 865456 kB SwapTotal: 2097892 kB SwapFree: 2096768 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5788 kB Slab: 18536 kB Committed_AS: 64300 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 04:44:18 (client local time) WITH STATUS 30 IN 115.374 SECONDS stats: 3400 0 115.374 30
c Parsing PB file... c Converting 42 PB-constraints to clauses... c -- Unit propagations: (none) c -- Detecting intervals from adjacent constraints: ##################### c -- Clauses(.)/Splits(s): (none) c ---[ 40]---> Adder-cost: 1034 maxlim: 5014125 bits: 24/23 c ---[ 38]---> BDD-cost: 17 c ---[ 36]---> BDD-cost: 17 c ---[ 34]---> BDD-cost: 17 c ---[ 32]---> BDD-cost: 17 c ---[ 30]---> BDD-cost: 17 c ---[ 28]---> BDD-cost: 17 c ---[ 26]---> BDD-cost: 17 c ---[ 24]---> BDD-cost: 17 c ---[ 22]---> BDD-cost: 17 c ---[ 20]---> BDD-cost: 17 c ---[ 18]---> BDD-cost: 15 c ---[ 16]---> BDD-cost: 17 c ---[ 14]---> BDD-cost: 17 c ---[ 12]---> BDD-cost: 17 c ---[ 10]---> BDD-cost: 17 c ---[ 8]---> BDD-cost: 17 c ---[ 6]---> BDD-cost: 17 c ---[ 4]---> BDD-cost: 17 c ---[ 2]---> BDD-cost: 17 c ---[ 0]---> BDD-cost: 17 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 7914 27392 | 2638 0 0 nan | 0.000 % | c | 100 | 7906 27366 | 2901 99 3138 31.7 | 4.549 % | c | 251 | 7906 27366 | 3191 250 6914 27.7 | 4.549 % | c | 476 | 7906 27366 | 3511 475 13759 29.0 | 4.549 % | c | 814 | 7906 27366 | 3862 813 28113 34.6 | 4.549 % | c | 1321 | 7898 27340 | 4248 1319 49173 37.3 | 4.615 % | c | 2081 | 7889 27309 | 4673 2072 78260 37.8 | 4.682 % | c | 3220 | 7880 27278 | 5140 3208 119303 37.2 | 4.749 % | c | 4929 | 7880 27278 | 5654 4917 184180 37.5 | 4.749 % | c | 7491 | 7872 27252 | 6220 4538 163851 36.1 | 4.816 % | c | 11335 | 7872 27252 | 6842 5140 171598 33.4 | 4.816 % | c | 17103 | 7863 27221 | 7526 3861 115386 29.9 | 4.883 % | c | 25752 | 7863 27221 | 8279 4646 148828 32.0 | 4.883 % | c | 38726 | 7863 27221 | 9107 4768 135754 28.5 | 4.883 % | c | 58190 | 7837 27133 | 10017 5636 167874 29.8 | 5.084 % | c | 87382 | 7837 27133 | 11019 9092 290167 31.9 | 5.084 % | c ============================================================================== c [1mFound solution: 0[0m c [1mOptimal solution: 0[0m s OPTIMUM FOUND v -A1_bit0 -A2_bit0 -A3_bit0 -A4_bit0 -A5_bit0 -A6_bit0 -A7_bit0 -A8_bit0 -A9_bit0 A0_bit0 -B0_bit0 -B1_bit0 -B2_bit0 -B3_bit0 -B4_bit0 -B5_bit0 -B6_bit0 -B7_bit0 B8_bit0 -B9_bit0 -C0_bit0 -C1_bit0 -C2_bit0 -C3_bit0 -C4_bit0 C5_bit0 -C6_bit0 -C7_bit0 -C8_bit0 -C9_bit0 -D0_bit0 -D1_bit0 -D2_bit0 -D3_bit0 -D4_bit0 -D5_bit0 D6_bit0 -D7_bit0 -D8_bit0 -D9_bit0 -E0_bit0 -E1_bit0 -E2_bit0 -E3_bit0 E4_bit0 -E5_bit0 -E6_bit0 -E7_bit0 -E8_bit0 -E9_bit0 -F0_bit0 -F1_bit0 -F2_bit0 -F3_bit0 -F4_bit0 -F5_bit0 -F6_bit0 -F7_bit0 -F8_bit0 F9_bit0 -G0_bit0 G1_bit0 -G2_bit0 -G3_bit0 -G4_bit0 -G5_bit0 -G6_bit0 -G7_bit0 -G8_bit0 -G9_bit0 -H0_bit0 -H1_bit0 -H2_bit0 -H3_bit0 -H4_bit0 -H5_bit0 -H6_bit0 H7_bit0 -H8_bit0 -H9_bit0 -I0_bit0 -I1_bit0 I2_bit0 -I3_bit0 -I4_bit0 -I5_bit0 -I6_bit0 -I7_bit0 -I8_bit0 -I9_bit0 -L0_bit0 -L1_bit0 -L2_bit0 L3_bit0 -L4_bit0 -L5_bit0 -L6_bit0 -L7_bit0 -L8_bit0 -L9_bit0 c _______________________________________________________________________________ c c restarts : 16 c conflicts : 104906 (910 /sec) c decisions : 126601 (1098 /sec) c propagations : 0 (0 /sec) c inspects : 0 (0 /sec) c CPU time : 115.272 s c _______________________________________________________________________________
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/16550/stat): 16550 (minisat+_script) R 16549 16550 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1855742282 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16550/statm): 174 3 169 147 0 27 0 [pid=16550] vsize: 696 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libtermcap.so.2 open syscall for file tls/i686/libtermcap.so.2 open syscall for file tls/mmx/libtermcap.so.2 open syscall for file tls/libtermcap.so.2 open syscall for file i686/mmx/libtermcap.so.2 open syscall for file i686/libtermcap.so.2 open syscall for file mmx/libtermcap.so.2 open syscall for file libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/libtermcap.so.2 open syscall for file /etc/ld.so.cache open syscall for file /lib/libtermcap.so.2 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 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 open syscall for file /dev/tty open syscall for file /etc/mtab open syscall for file /proc/meminfo open syscall for file /oldhome/oroussel/solvers/minisat+_script New process pid=16551 New process pid=16552 New process pid=16553 execve syscall for /bin/sed executable One traced child (pid=16552) exited with status: 0 open syscall for file /etc/ld.so.preload 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/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 One traced child (pid=16553) exited with status: 0 One traced child (pid=16551) exited with status: 0 New process pid=16554 execve syscall for /oldhome/oroussel/solvers/minisat+_64-bit_static executable open syscall for file /dev/null open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-enigma.opb [startup+10.0039 s] Raw data (loadavg): 0.93 0.97 0.91 2/57 16554 Raw data (/proc/16550/stat): 16550 (minisat+_script) S 16549 16550 21452 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1855742282 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/16550/statm): 531 226 485 147 0 384 0 [pid=16550] vsize: 2124 Raw data (/proc/16554/stat): 16554 (minisat+_64-bit) R 16550 16550 21452 0 -1 0 705 0 0 0 987 3 0 0 25 0 1 0 1855742287 3162112 692 4294967295 134512640 135094434 3221224432 3221223088 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/16554/statm): 772 692 145 145 0 627 0 [pid=16554] vsize: 3088 Current children cumulated CPU time (s) 9.91 Current children cumulated vsize (Kb) 5212 [startup+20.0056 s] Raw data (loadavg): 0.94 0.97 0.91 2/57 16554 Raw data (/proc/16550/stat): 16550 (minisat+_script) S 16549 16550 21452 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1855742282 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/16550/statm): 531 226 485 147 0 384 0 [pid=16550] vsize: 2124 Raw data (/proc/16554/stat): 16554 (minisat+_64-bit) R 16550 16550 21452 0 -1 0 782 0 0 0 1985 4 0 0 25 0 1 0 1855742287 3473408 769 4294967295 134512640 135094434 3221224432 3221223088 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/16554/statm): 848 769 145 145 0 703 0 [pid=16554] vsize: 3392 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 5516 [startup+30.0064 s] Raw data (loadavg): 0.95 0.97 0.91 2/57 16554 Raw data (/proc/16550/stat): 16550 (minisat+_script) S 16549 16550 21452 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1855742282 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/16550/statm): 531 226 485 147 0 384 0 [pid=16550] vsize: 2124 Raw data (/proc/16554/stat): 16554 (minisat+_64-bit) R 16550 16550 21452 0 -1 0 870 0 0 0 2984 4 0 0 25 0 1 0 1855742287 3842048 857 4294967295 134512640 135094434 3221224432 3221223088 134557962 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/16554/statm): 938 857 145 145 0 793 0 [pid=16554] vsize: 3752 Current children cumulated CPU time (s) 29.89 Current children cumulated vsize (Kb) 5876 [startup+40.0071 s] Raw data (loadavg): 0.96 0.97 0.91 2/57 16554 Raw data (/proc/16550/stat): 16550 (minisat+_script) S 16549 16550 21452 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1855742282 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/16550/statm): 531 226 485 147 0 384 0 [pid=16550] vsize: 2124 Raw data (/proc/16554/stat): 16554 (minisat+_64-bit) R 16550 16550 21452 0 -1 0 889 0 0 0 3984 5 0 0 25 0 1 0 1855742287 3952640 876 4294967295 134512640 135094434 3221224432 3221223088 134558016 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/16554/statm): 965 876 145 145 0 820 0 [pid=16554] vsize: 3860 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 5984 [startup+50.0078 s] Raw data (loadavg): 0.96 0.97 0.91 2/57 16554 Raw data (/proc/16550/stat): 16550 (minisat+_script) S 16549 16550 21452 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1855742282 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/16550/statm): 531 226 485 147 0 384 0 [pid=16550] vsize: 2124 Raw data (/proc/16554/stat): 16554 (minisat+_64-bit) R 16550 16550 21452 0 -1 0 919 0 0 0 4984 5 0 0 25 0 1 0 1855742287 4079616 906 4294967295 134512640 135094434 3221224432 3221223088 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/16554/statm): 996 906 145 145 0 851 0 [pid=16554] vsize: 3984 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 6108 [startup+60.0075 s] Raw data (loadavg): 0.97 0.97 0.91 2/57 16554 Raw data (/proc/16550/stat): 16550 (minisat+_script) S 16549 16550 21452 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1855742282 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/16550/statm): 531 226 485 147 0 384 0 [pid=16550] vsize: 2124 Raw data (/proc/16554/stat): 16554 (minisat+_64-bit) R 16550 16550 21452 0 -1 0 935 0 0 0 5984 5 0 0 25 0 1 0 1855742287 4161536 922 4294967295 134512640 135094434 3221224432 3221223088 134557976 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/16554/statm): 1016 922 145 145 0 871 0 [pid=16554] vsize: 4064 Current children cumulated CPU time (s) 59.9 Current children cumulated vsize (Kb) 6188 [startup+70.0082 s] Raw data (loadavg): 0.97 0.97 0.91 2/57 16554 Raw data (/proc/16550/stat): 16550 (minisat+_script) S 16549 16550 21452 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1855742282 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/16550/statm): 531 226 485 147 0 384 0 [pid=16550] vsize: 2124 Raw data (/proc/16554/stat): 16554 (minisat+_64-bit) R 16550 16550 21452 0 -1 0 997 0 0 0 6983 5 0 0 25 0 1 0 1855742287 4419584 984 4294967295 134512640 135094434 3221224432 3221223088 134557837 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/16554/statm): 1079 984 145 145 0 934 0 [pid=16554] vsize: 4316 Current children cumulated CPU time (s) 69.89 Current children cumulated vsize (Kb) 6440 [startup+80.0089 s] Raw data (loadavg): 0.98 0.97 0.91 2/57 16554 Raw data (/proc/16550/stat): 16550 (minisat+_script) S 16549 16550 21452 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1855742282 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/16550/statm): 531 226 485 147 0 384 0 [pid=16550] vsize: 2124 Raw data (/proc/16554/stat): 16554 (minisat+_64-bit) R 16550 16550 21452 0 -1 0 1009 0 0 0 7983 5 0 0 25 0 1 0 1855742287 4472832 996 4294967295 134512640 135094434 3221224432 3221223120 134554796 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/16554/statm): 1092 996 145 145 0 947 0 [pid=16554] vsize: 4368 Current children cumulated CPU time (s) 79.89 Current children cumulated vsize (Kb) 6492 [startup+90.0096 s] Raw data (loadavg): 0.98 0.97 0.91 2/57 16554 Raw data (/proc/16550/stat): 16550 (minisat+_script) S 16549 16550 21452 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1855742282 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/16550/statm): 531 226 485 147 0 384 0 [pid=16550] vsize: 2124 Raw data (/proc/16554/stat): 16554 (minisat+_64-bit) R 16550 16550 21452 0 -1 0 1017 0 0 0 8983 5 0 0 25 0 1 0 1855742287 4505600 1004 4294967295 134512640 135094434 3221224432 3221223088 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/16554/statm): 1100 1004 145 145 0 955 0 [pid=16554] vsize: 4400 Current children cumulated CPU time (s) 89.89 Current children cumulated vsize (Kb) 6524 [startup+100.01 s] Raw data (loadavg): 0.98 0.97 0.91 2/57 16554 Raw data (/proc/16550/stat): 16550 (minisat+_script) S 16549 16550 21452 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1855742282 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/16550/statm): 531 226 485 147 0 384 0 [pid=16550] vsize: 2124 Raw data (/proc/16554/stat): 16554 (minisat+_64-bit) R 16550 16550 21452 0 -1 0 1042 0 0 0 9983 6 0 0 25 0 1 0 1855742287 4603904 1029 4294967295 134512640 135094434 3221224432 3221223088 134557948 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/16554/statm): 1124 1029 145 145 0 979 0 [pid=16554] vsize: 4496 Current children cumulated CPU time (s) 99.9 Current children cumulated vsize (Kb) 6620 [startup+110.011 s] Raw data (loadavg): 0.98 0.97 0.91 2/57 16554 Raw data (/proc/16550/stat): 16550 (minisat+_script) S 16549 16550 21452 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1855742282 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/16550/statm): 531 226 485 147 0 384 0 [pid=16550] vsize: 2124 Raw data (/proc/16554/stat): 16554 (minisat+_64-bit) R 16550 16550 21452 0 -1 0 1047 0 0 0 10982 6 0 0 25 0 1 0 1855742287 4620288 1034 4294967295 134512640 135094434 3221224432 3221223088 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/16554/statm): 1128 1034 145 145 0 983 0 [pid=16554] vsize: 4512 Current children cumulated CPU time (s) 109.89 Current children cumulated vsize (Kb) 6636 One traced child (pid=16554) exited with status: 30 One traced child (pid=16550) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 115.467 CPU time (s): 115.374 CPU user time (s): 115.283 CPU system time (s): 0.090986 CPU usage (%): 99.9195 Max. virtual memory (cumulated for all children) (Kb): 6636
Verifier: OK 0