Name | mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb |
MD5SUM | eaead9cf67652e4b2ad71612149d4439 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 131072000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 576307709 |
Number of bits of the biggest sum of numbers | 30 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 269983 |
Total number of constraints | 3778 |
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 | 3658 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10600 |
LAUNCH ON wulflinc7 THE 2005-09-20 00:34:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1098 boxname=wulflinc7 idbench=1098 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: eaead9cf67652e4b2ad71612149d4439 /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-dano3_5.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-dano3_5.opb IDLAUNCH: 1098 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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 : 451.050 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: 854444 kB Buffers: 33372 kB Cached: 121408 kB SwapCached: 736 kB Active: 91448 kB Inactive: 65956 kB HighTotal: 131008 kB HighFree: 7168 kB LowTotal: 903652 kB LowFree: 847276 kB SwapTotal: 2097136 kB SwapFree: 2095896 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5720 kB Slab: 17068 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 00:40:30 (client local time) WITH STATUS 0 IN 380.489 SECONDS stats: 1098 7 380.489 0
c INFO: OSL Context initialized. c BIG Int formula... c Caught signal: 15 s UNKNOWN c Exit Code: 0
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/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1796048098 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 107 3 90 68 0 39 0 [pid=6324] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 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/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 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 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 /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-dano3_5.opb [startup+10.0033 s] Raw data (loadavg): 0.91 0.96 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 36874 0 0 0 891 90 0 0 25 0 1 0 1796048098 153821184 36632 4294967295 134512640 134736556 3221224560 3221223136 134539904 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 37554 36632 1116 68 0 37486 0 [pid=6324] vsize: 150216 Current children cumulated CPU time (s) 9.81 Current children cumulated vsize (Kb) 150216 [startup+20.0039 s] Raw data (loadavg): 0.92 0.96 0.98 1/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) T 6323 6324 15400 0 -1 0 59835 0 0 0 1837 135 0 0 25 0 1 0 1796048098 246251520 59067 4294967295 134512640 134736556 3221224560 3221222780 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6324/statm): 60120 59067 1116 68 0 60052 0 [pid=6324] vsize: 240480 Current children cumulated CPU time (s) 19.72 Current children cumulated vsize (Kb) 240480 [startup+30.0036 s] Raw data (loadavg): 0.93 0.96 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 78164 0 0 0 2792 173 0 0 25 0 1 0 1796048098 318799872 76850 4294967295 134512640 134736556 3221224560 3221221228 1077359312 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 77832 76850 1116 68 0 77764 0 [pid=6324] vsize: 311328 Current children cumulated CPU time (s) 29.65 Current children cumulated vsize (Kb) 311328 [startup+40.0042 s] Raw data (loadavg): 0.94 0.96 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 94286 0 0 0 3753 206 0 0 25 0 1 0 1796048098 384475136 92972 4294967295 134512640 134736556 3221224560 3221223068 1077399566 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 93866 92972 1116 68 0 93798 0 [pid=6324] vsize: 375464 Current children cumulated CPU time (s) 39.59 Current children cumulated vsize (Kb) 375464 [startup+50.0049 s] Raw data (loadavg): 0.95 0.96 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 109540 0 0 0 4715 237 0 0 25 0 1 0 1796048098 446578688 107723 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 109028 107723 1116 68 0 108960 0 [pid=6324] vsize: 436112 Current children cumulated CPU time (s) 49.52 Current children cumulated vsize (Kb) 436112 [startup+60.0055 s] Raw data (loadavg): 0.96 0.96 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 123979 0 0 0 5679 268 0 0 25 0 1 0 1796048098 505360384 122162 4294967295 134512640 134736556 3221224560 3221223068 1077399564 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 123379 122162 1116 68 0 123311 0 [pid=6324] vsize: 493516 Current children cumulated CPU time (s) 59.47 Current children cumulated vsize (Kb) 493516 [startup+70.0051 s] Raw data (loadavg): 0.96 0.96 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 137047 0 0 0 6646 294 0 0 25 0 1 0 1796048098 558653440 135230 4294967295 134512640 134736556 3221224560 3221221324 1077090884 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 136390 135230 1116 68 0 136322 0 [pid=6324] vsize: 545560 Current children cumulated CPU time (s) 69.4 Current children cumulated vsize (Kb) 545560 [startup+80.0048 s] Raw data (loadavg): 0.97 0.96 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 151001 0 0 0 7613 321 0 0 25 0 1 0 1796048098 611041280 148086 4294967295 134512640 134736556 3221224560 3221223068 134517552 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 149180 148086 1116 68 0 149112 0 [pid=6324] vsize: 596720 Current children cumulated CPU time (s) 79.34 Current children cumulated vsize (Kb) 596720 [startup+90.0054 s] Raw data (loadavg): 0.97 0.96 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 163567 0 0 0 8582 345 0 0 25 0 1 0 1796048098 662253568 160652 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 161683 160652 1116 68 0 161615 0 [pid=6324] vsize: 646732 Current children cumulated CPU time (s) 89.27 Current children cumulated vsize (Kb) 646732 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 174762 0 0 0 9554 369 0 0 25 0 1 0 1796048098 707813376 171847 4294967295 134512640 134736556 3221224560 3221221332 1077359168 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 172806 171847 1116 68 0 172738 0 [pid=6324] vsize: 691224 Current children cumulated CPU time (s) 99.23 Current children cumulated vsize (Kb) 691224 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 186716 0 0 0 10526 392 0 0 25 0 1 0 1796048098 756563968 183801 4294967295 134512640 134736556 3221224560 3221223068 1077399575 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 184708 183801 1116 68 0 184640 0 [pid=6324] vsize: 738832 Current children cumulated CPU time (s) 109.18 Current children cumulated vsize (Kb) 738832 [startup+120.006 s] Raw data (loadavg): 0.98 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 197857 0 0 0 11498 415 0 0 25 0 1 0 1796048098 801984512 193939 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 195797 193939 1116 68 0 195729 0 [pid=6324] vsize: 783188 Current children cumulated CPU time (s) 119.13 Current children cumulated vsize (Kb) 783188 [startup+130.006 s] Raw data (loadavg): 0.98 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 208136 0 0 0 12469 439 0 0 25 0 1 0 1796048098 843837440 204218 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 206015 204218 1116 68 0 205947 0 [pid=6324] vsize: 824060 Current children cumulated CPU time (s) 129.08 Current children cumulated vsize (Kb) 824060 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 209745 0 0 0 13464 443 0 0 25 0 1 0 1796048098 850460672 205827 4294967295 134512640 134736556 3221224560 3221221260 1077197713 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 207632 205827 1116 68 0 207564 0 [pid=6324] vsize: 830528 Current children cumulated CPU time (s) 139.07 Current children cumulated vsize (Kb) 830528 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 211371 0 0 0 14458 448 0 0 25 0 1 0 1796048098 857083904 207453 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 209249 207453 1116 68 0 209181 0 [pid=6324] vsize: 836996 Current children cumulated CPU time (s) 149.06 Current children cumulated vsize (Kb) 836996 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 213082 0 0 0 15451 453 0 0 25 0 1 0 1796048098 864112640 209164 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 210965 209164 1116 68 0 210897 0 [pid=6324] vsize: 843860 Current children cumulated CPU time (s) 159.04 Current children cumulated vsize (Kb) 843860 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 214969 0 0 0 16444 458 0 0 25 0 1 0 1796048098 871817216 211051 4294967295 134512640 134736556 3221224560 3221221404 1077254713 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 212846 211051 1116 68 0 212778 0 [pid=6324] vsize: 851384 Current children cumulated CPU time (s) 169.02 Current children cumulated vsize (Kb) 851384 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 217446 0 0 0 17434 465 0 0 25 0 1 0 1796048098 881954816 213528 4294967295 134512640 134736556 3221224560 3221223064 1077294273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 215321 213528 1116 68 0 215253 0 [pid=6324] vsize: 861284 Current children cumulated CPU time (s) 178.99 Current children cumulated vsize (Kb) 861284 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 218675 0 0 0 18427 470 0 0 25 0 1 0 1796048098 887209984 214605 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 216604 214605 1116 68 0 216536 0 [pid=6324] vsize: 866416 Current children cumulated CPU time (s) 188.97 Current children cumulated vsize (Kb) 866416 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 219245 0 0 0 19424 472 0 0 25 0 1 0 1796048098 889872384 214956 4294967295 134512640 134736556 3221224560 3221223136 134539967 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 217254 214956 1116 68 0 217186 0 [pid=6324] vsize: 869016 Current children cumulated CPU time (s) 198.96 Current children cumulated vsize (Kb) 869016 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 219748 0 0 0 20422 474 0 0 25 0 1 0 1796048098 892063744 215374 4294967295 134512640 134736556 3221224560 3221223336 1076611932 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 217789 215374 1116 68 0 217721 0 [pid=6324] vsize: 871156 Current children cumulated CPU time (s) 208.96 Current children cumulated vsize (Kb) 871156 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 220297 0 0 0 21419 477 0 0 25 0 1 0 1796048098 894418944 215646 4294967295 134512640 134736556 3221224560 3221223136 134539904 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 218364 215646 1116 68 0 218296 0 [pid=6324] vsize: 873456 Current children cumulated CPU time (s) 218.96 Current children cumulated vsize (Kb) 873456 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 220828 0 0 0 22416 479 0 0 25 0 1 0 1796048098 896888832 215866 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 218967 215866 1116 68 0 218899 0 [pid=6324] vsize: 875868 Current children cumulated CPU time (s) 228.95 Current children cumulated vsize (Kb) 875868 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 221294 0 0 0 23414 481 0 0 25 0 1 0 1796048098 898838528 216311 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 219443 216311 1116 68 0 219375 0 [pid=6324] vsize: 877772 Current children cumulated CPU time (s) 238.95 Current children cumulated vsize (Kb) 877772 [startup+250.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 221775 0 0 0 24411 483 0 0 25 0 1 0 1796048098 901029888 216772 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 219978 216772 1116 68 0 219910 0 [pid=6324] vsize: 879912 Current children cumulated CPU time (s) 248.94 Current children cumulated vsize (Kb) 879912 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 222228 0 4 0 25408 484 0 0 25 0 1 0 1796048098 903114752 216918 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 220487 216918 1116 68 0 220419 0 [pid=6324] vsize: 881948 Current children cumulated CPU time (s) 258.92 Current children cumulated vsize (Kb) 881948 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 222716 0 9 0 26403 486 0 0 25 0 1 0 1796048098 905306112 217388 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 221022 217389 1116 68 0 220954 0 [pid=6324] vsize: 884088 Current children cumulated CPU time (s) 268.89 Current children cumulated vsize (Kb) 884088 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 223212 0 16 0 27395 488 0 0 25 0 1 0 1796048098 907526144 217550 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 221564 217550 1116 68 0 221496 0 [pid=6324] vsize: 886256 Current children cumulated CPU time (s) 278.83 Current children cumulated vsize (Kb) 886256 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 223640 0 22 0 28390 489 0 0 25 0 1 0 1796048098 909275136 217969 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 221991 217969 1116 68 0 221923 0 [pid=6324] vsize: 887964 Current children cumulated CPU time (s) 288.79 Current children cumulated vsize (Kb) 887964 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 224050 0 25 0 29385 490 0 0 25 0 1 0 1796048098 911187968 218234 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 222458 218234 1116 68 0 222390 0 [pid=6324] vsize: 889832 Current children cumulated CPU time (s) 298.75 Current children cumulated vsize (Kb) 889832 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) T 6323 6324 15400 0 -1 0 224528 0 33 0 30379 492 0 0 25 0 1 0 1796048098 913223680 218080 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6324/statm): 222955 218080 1116 68 0 222887 0 [pid=6324] vsize: 891820 Current children cumulated CPU time (s) 308.71 Current children cumulated vsize (Kb) 891820 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 224930 0 38 0 31375 493 0 0 25 0 1 0 1796048098 915013632 218470 4294967295 134512640 134736556 3221224560 3221221260 1077191778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 223392 218470 1116 68 0 223324 0 [pid=6324] vsize: 893568 Current children cumulated CPU time (s) 318.68 Current children cumulated vsize (Kb) 893568 [startup+330.015 s] Raw data (loadavg): 1.15 1.00 0.99 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 225368 0 42 0 32371 494 0 0 25 0 1 0 1796048098 916934656 218890 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 223861 218890 1116 68 0 223793 0 [pid=6324] vsize: 895444 Current children cumulated CPU time (s) 328.65 Current children cumulated vsize (Kb) 895444 [startup+340.015 s] Raw data (loadavg): 1.20 1.02 1.00 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 225799 0 49 0 33365 497 0 0 25 0 1 0 1796048098 918953984 219311 4294967295 134512640 134736556 3221224560 3221223136 134539940 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 224354 219311 1116 68 0 224286 0 [pid=6324] vsize: 897416 Current children cumulated CPU time (s) 338.62 Current children cumulated vsize (Kb) 897416 [startup+350.015 s] Raw data (loadavg): 1.17 1.02 1.00 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 226748 0 177 0 34310 503 0 0 25 0 1 0 1796048098 922578944 219664 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 225239 219664 1116 68 0 225171 0 [pid=6324] vsize: 900956 Current children cumulated CPU time (s) 348.13 Current children cumulated vsize (Kb) 900956 [startup+360.016 s] Raw data (loadavg): 1.14 1.02 1.00 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 227934 0 280 0 35258 509 0 0 25 0 1 0 1796048098 927174656 220229 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6324/statm): 226361 220229 1116 68 0 226293 0 [pid=6324] vsize: 905444 Current children cumulated CPU time (s) 357.67 Current children cumulated vsize (Kb) 905444 [startup+370.016 s] Raw data (loadavg): 1.12 1.02 1.00 2/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 229485 0 318 0 36203 516 0 0 25 0 1 0 1796048098 933122048 221135 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 227813 221135 1116 68 0 227745 0 [pid=6324] vsize: 911252 Current children cumulated CPU time (s) 367.19 Current children cumulated vsize (Kb) 911252 [startup+380.016 s] Raw data (loadavg): 1.18 1.03 1.01 3/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) R 6323 6324 15400 0 -1 0 231327 0 338 0 37175 526 0 0 25 0 1 0 1796048098 940453888 222430 4294967295 134512640 134736556 3221224560 3221223168 134544644 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6324/statm): 229603 222430 1116 68 0 229535 0 [pid=6324] vsize: 918412 Current children cumulated CPU time (s) 377.01 Current children cumulated vsize (Kb) 918412 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+383.137 s] Raw data (loadavg): 1.18 1.03 1.01 1/56 6324 Raw data (/proc/6324/stat): 6324 (bsolo) T 6323 6324 15400 0 -1 0 232111 0 353 0 37477 528 0 0 25 0 1 0 1796048098 943722496 222760 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/6324/statm): 230401 222760 1116 68 0 230333 0 [pid=6324] vsize: 921604 Current children cumulated CPU time (s) 380.05 Current children cumulated vsize (Kb) 921604 Sending SIGTERM to -6324 Sleeping 2 seconds Sending SIGKILL to -6324 One traced child (pid=6324) ended because it received signal 9 (SIGKILL) All traced children have exited ! Game is over. Child ended because it received signal 9 (SIGKILL) Real time (s): 385.564 CPU time (s): 380.489 CPU user time (s): 374.779 CPU system time (s): 5.71013 CPU usage (%): 98.6837 Max. virtual memory (cumulated for all children) (Kb): 921604
ERROR: no interpretation found !