Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08aCUTS.opb |
MD5SUM | 0b9c67a532f4b918575cbec793117378 |
Bench Category | optimization, big integers (OPTBIGINT) |
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 | 3424 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 180407058264 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 180407058264 |
Number of bits of the biggest sum of numbers | 38 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 4600 |
Total number of constraints | 310 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 310 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 147 |
LAUNCH ON wulflinc15 THE 2005-09-18 14:57:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=676 boxname=wulflinc15 idbench=676 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 0b9c67a532f4b918575cbec793117378 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-pp08aCUTS.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-pp08aCUTS.opb IDLAUNCH: 676 /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: 914588 kB Buffers: 36332 kB Cached: 54844 kB SwapCached: 692 kB Active: 66616 kB Inactive: 27168 kB HighTotal: 131008 kB HighFree: 73304 kB LowTotal: 903652 kB LowFree: 841284 kB SwapTotal: 2097136 kB SwapFree: 2095920 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5732 kB Slab: 20840 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 15:03:07 (client local time) WITH STATUS 0 IN 295.727 SECONDS stats: 676 7 295.727 0
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 4600 variables and 374 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 3.331 c After prepocess the problem consists of 4600 variables and 374 constraints. c Initial Lower Bound: 0 c Restart #1 #Var: 4600 #Dec: 20363 LB: 0 @ 4.416 c Restart #2 #Var: 4600 #Dec: 51344 LB: 0 @ 6.076 c Restart #3 #Var: 4600 #Dec: 84660 LB: 0 @ 8.03 c Restart #4 #Var: 4600 #Dec: 113410 LB: 0 @ 9.881 c Restart #5 #Var: 4600 #Dec: 148917 LB: 0 @ 12.391 c Restart #6 #Var: 4600 #Dec: 177998 LB: 0 @ 14.785 c Restart #7 #Var: 4600 #Dec: 206169 LB: 0 @ 17.183 c Restart #8 #Var: 4600 #Dec: 242204 LB: 0 @ 20.169 c Restart #9 #Var: 4600 #Dec: 244074 LB: 0 @ 21.345 c Restart #10 #Var: 4600 #Dec: 246140 LB: 0 @ 22.734 c Restart #11 #Var: 4600 #Dec: 248406 LB: 0 @ 24.105 c Restart #12 #Var: 4600 #Dec: 250872 LB: 0 @ 25.667 c Restart #13 #Var: 4600 #Dec: 253542 LB: 0 @ 27.374 c Restart #14 #Var: 4600 #Dec: 256414 LB: 0 @ 29.112 c Restart #15 #Var: 4600 #Dec: 259482 LB: 0 @ 31.285 c Restart #16 #Var: 4600 #Dec: 262753 LB: 0 @ 33.302 c Restart #17 #Var: 4600 #Dec: 266220 LB: 0 @ 35.647 c Restart #18 #Var: 4600 #Dec: 269889 LB: 0 @ 38.096 c Restart #19 #Var: 4600 #Dec: 273760 LB: 0 @ 40.922 c Restart #20 #Var: 4600 #Dec: 277829 LB: 0 @ 43.88 c Restart #21 #Var: 4600 #Dec: 282099 LB: 0 @ 47.457 c Restart #22 #Var: 4600 #Dec: 286567 LB: 0 @ 50.771 c Restart #23 #Var: 4600 #Dec: 291237 LB: 0 @ 54.214 c Restart #24 #Var: 4600 #Dec: 296105 LB: 0 @ 58.175 c Restart #25 #Var: 4600 #Dec: 301173 LB: 0 @ 61.656 c Restart #26 #Var: 4600 #Dec: 306442 LB: 0 @ 66.018 c Restart #27 #Var: 4600 #Dec: 311910 LB: 0 @ 70.507 c Restart #28 #Var: 4600 #Dec: 317578 LB: 0 @ 75.046 c Restart #29 #Var: 4600 #Dec: 323446 LB: 0 @ 80.134 c Restart #30 #Var: 4600 #Dec: 329512 LB: 0 @ 84.728 c Restart #31 #Var: 4600 #Dec: 335784 LB: 0 @ 90.004 c Restart #32 #Var: 4600 #Dec: 342254 LB: 0 @ 94.906 c Restart #33 #Var: 4600 #Dec: 348924 LB: 0 @ 101.22 c Restart #34 #Var: 4600 #Dec: 355791 LB: 0 @ 108.44 c Restart #35 #Var: 4600 #Dec: 362861 LB: 0 @ 114.6 c Restart #36 #Var: 4600 #Dec: 370128 LB: 0 @ 121.78 c Restart #37 #Var: 4600 #Dec: 377595 LB: 0 @ 128.8 c Restart #38 #Var: 4600 #Dec: 385262 LB: 0 @ 135.43 c Restart #39 #Var: 4600 #Dec: 393129 LB: 0 @ 143 c Restart #40 #Var: 4600 #Dec: 401196 LB: 0 @ 149.32 c Restart #41 #Var: 4600 #Dec: 409462 LB: 0 @ 157.38 c Restart #42 #Var: 4600 #Dec: 417928 LB: 0 @ 165.28 c Restart #43 #Var: 4600 #Dec: 426593 LB: 0 @ 173.21 c Restart #44 #Var: 4600 #Dec: 435461 LB: 0 @ 180.88 c Restart #45 #Var: 4600 #Dec: 444526 LB: 0 @ 190.7 c Restart #46 #Var: 4600 #Dec: 453794 LB: 0 @ 198.1 c Restart #47 #Var: 4600 #Dec: 463262 LB: 0 @ 206.78 c Restart #48 #Var: 4600 #Dec: 472928 LB: 0 @ 214.75 c Restart #49 #Var: 4600 #Dec: 482800 LB: 0 @ 225.02 c Restart #50 #Var: 4600 #Dec: 492863 LB: 0 @ 234.74 c Restart #51 #Var: 4600 #Dec: 503132 LB: 0 @ 245.05 c Restart #52 #Var: 4600 #Dec: 513599 LB: 0 @ 254.65 c Restart #53 #Var: 4600 #Dec: 524268 LB: 0 @ 265.49 c Restart #54 #Var: 4600 #Dec: 535137 LB: 0 @ 277.74 c Restart #55 #Var: 4600 #Dec: 546202 LB: 0 @ 287.25 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/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1783915606 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 107 3 90 68 0 39 0 [pid=9712] 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/wulflinc15/normalized-mps-v2-20-10-pp08aCUTS.opb [startup+10.0041 s] Raw data (loadavg): 1.00 1.03 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 5209 0 0 0 660 114 0 0 17 0 1 0 1783915606 24559616 5120 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9712/statm): 5996 5120 1116 68 0 5928 0 [pid=9712] vsize: 23984 Current children cumulated CPU time (s) 7.74 Current children cumulated vsize (Kb) 23984 [startup+20.0049 s] Raw data (loadavg): 1.08 1.05 1.01 1/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) T 9711 9712 31778 0 -1 0 7484 0 0 0 1254 252 0 0 19 0 1 0 1783915606 33886208 7395 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9712/statm): 8273 7395 1116 68 0 8205 0 [pid=9712] vsize: 33092 Current children cumulated CPU time (s) 15.06 Current children cumulated vsize (Kb) 33092 [startup+30.0057 s] Raw data (loadavg): 1.07 1.04 1.01 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 12892 0 0 0 1975 352 0 0 25 0 1 0 1783915606 56102912 12802 4294967295 134512640 134736556 3221224560 3221223136 134550888 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9712/statm): 13697 12802 1116 68 0 13629 0 [pid=9712] vsize: 54788 Current children cumulated CPU time (s) 23.27 Current children cumulated vsize (Kb) 54788 [startup+40.0055 s] Raw data (loadavg): 1.06 1.04 1.01 1/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) T 9711 9712 31778 0 -1 0 23167 0 0 0 2870 403 0 0 25 0 1 0 1783915606 98172928 23070 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9712/statm): 23968 23070 1116 68 0 23900 0 [pid=9712] vsize: 95872 Current children cumulated CPU time (s) 32.73 Current children cumulated vsize (Kb) 95872 [startup+50.0074 s] Raw data (loadavg): 1.05 1.04 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 32694 0 0 0 3774 450 0 0 25 0 1 0 1783915606 137396224 32585 4294967295 134512640 134736556 3221224560 3221223168 134524348 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 33544 32585 1116 68 0 33476 0 [pid=9712] vsize: 134176 Current children cumulated CPU time (s) 42.24 Current children cumulated vsize (Kb) 134176 [startup+60.0082 s] Raw data (loadavg): 1.04 1.04 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 41372 0 0 0 4685 494 0 0 25 0 1 0 1783915606 172982272 41256 4294967295 134512640 134736556 3221224560 3221223184 134537450 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 42232 41256 1116 68 0 42164 0 [pid=9712] vsize: 168928 Current children cumulated CPU time (s) 51.79 Current children cumulated vsize (Kb) 168928 [startup+70.009 s] Raw data (loadavg): 1.03 1.04 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 50509 0 0 0 5594 539 0 0 25 0 1 0 1783915606 210661376 50359 4294967295 134512640 134736556 3221224560 3221223296 134528947 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9712/statm): 51431 50359 1116 68 0 51363 0 [pid=9712] vsize: 205724 Current children cumulated CPU time (s) 61.33 Current children cumulated vsize (Kb) 205724 [startup+80.0098 s] Raw data (loadavg): 1.03 1.03 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 58413 0 0 0 6515 580 0 0 25 0 1 0 1783915606 242999296 58245 4294967295 134512640 134736556 3221224560 3221223184 134537450 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 59326 58245 1116 68 0 59258 0 [pid=9712] vsize: 237304 Current children cumulated CPU time (s) 70.95 Current children cumulated vsize (Kb) 237304 [startup+90.0097 s] Raw data (loadavg): 1.02 1.03 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 66435 0 0 0 7434 618 0 0 25 0 1 0 1783915606 276013056 66257 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 67386 66257 1116 68 0 67318 0 [pid=9712] vsize: 269544 Current children cumulated CPU time (s) 80.52 Current children cumulated vsize (Kb) 269544 [startup+100.009 s] Raw data (loadavg): 1.02 1.03 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 75014 0 0 0 8353 660 0 0 25 0 1 0 1783915606 311345152 74825 4294967295 134512640 134736556 3221224560 3221223152 134550935 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 76012 74825 1116 68 0 75944 0 [pid=9712] vsize: 304048 Current children cumulated CPU time (s) 90.13 Current children cumulated vsize (Kb) 304048 [startup+110.01 s] Raw data (loadavg): 1.02 1.03 1.00 1/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) T 9711 9712 31778 0 -1 0 83428 0 0 0 9266 704 0 0 25 0 1 0 1783915606 345759744 83231 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9712/statm): 84414 83231 1116 68 0 84346 0 [pid=9712] vsize: 337656 Current children cumulated CPU time (s) 99.7 Current children cumulated vsize (Kb) 337656 [startup+120.01 s] Raw data (loadavg): 1.01 1.03 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 89682 0 0 0 10207 733 0 0 25 0 1 0 1783915606 371212288 89392 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9712/statm): 90628 89392 1116 68 0 90560 0 [pid=9712] vsize: 362512 Current children cumulated CPU time (s) 109.4 Current children cumulated vsize (Kb) 362512 [startup+130.011 s] Raw data (loadavg): 1.01 1.03 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 97465 0 0 0 11132 769 0 0 25 0 1 0 1783915606 402911232 96916 4294967295 134512640 134736556 3221224560 3221223120 134551105 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 98367 96916 1116 68 0 98299 0 [pid=9712] vsize: 393468 Current children cumulated CPU time (s) 119.01 Current children cumulated vsize (Kb) 393468 [startup+140.011 s] Raw data (loadavg): 1.01 1.03 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 104876 0 0 0 12061 805 0 0 25 0 1 0 1783915606 433111040 104245 4294967295 134512640 134736556 3221224560 3221223280 134529265 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9712/statm): 105740 104245 1116 68 0 105672 0 [pid=9712] vsize: 422960 Current children cumulated CPU time (s) 128.66 Current children cumulated vsize (Kb) 422960 [startup+150.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) T 9711 9712 31778 0 -1 0 112187 0 0 0 12988 842 0 0 25 0 1 0 1783915606 463020032 111554 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9712/statm): 113042 111554 1116 68 0 112974 0 [pid=9712] vsize: 452168 Current children cumulated CPU time (s) 138.3 Current children cumulated vsize (Kb) 452168 [startup+160.011 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) T 9711 9712 31778 0 -1 0 120356 0 0 0 13910 881 0 0 25 0 1 0 1783915606 496607232 119673 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9712/statm): 121242 119673 1116 68 0 121174 0 [pid=9712] vsize: 484968 Current children cumulated CPU time (s) 147.91 Current children cumulated vsize (Kb) 484968 [startup+170.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 127352 0 0 0 14840 915 0 0 25 0 1 0 1783915606 525062144 126668 4294967295 134512640 134736556 3221224560 3221223264 134528717 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 128189 126668 1116 68 0 128121 0 [pid=9712] vsize: 512756 Current children cumulated CPU time (s) 157.55 Current children cumulated vsize (Kb) 512756 [startup+180.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 134551 0 0 0 15767 952 0 0 25 0 1 0 1783915606 554315776 133785 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9712/statm): 135331 133785 1116 68 0 135263 0 [pid=9712] vsize: 541324 Current children cumulated CPU time (s) 167.19 Current children cumulated vsize (Kb) 541324 [startup+190.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 142136 0 0 0 16696 986 0 0 25 0 1 0 1783915606 585134080 141370 4294967295 134512640 134736556 3221224560 3221223136 134550721 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 142855 141370 1116 68 0 142787 0 [pid=9712] vsize: 571420 Current children cumulated CPU time (s) 176.82 Current children cumulated vsize (Kb) 571420 [startup+200.012 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) T 9711 9712 31778 0 -1 0 149418 0 0 0 17626 1021 0 0 25 0 1 0 1783915606 614707200 148565 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9712/statm): 150075 148565 1116 68 0 150007 0 [pid=9712] vsize: 600300 Current children cumulated CPU time (s) 186.47 Current children cumulated vsize (Kb) 600300 [startup+210.013 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) T 9711 9712 31778 0 -1 0 157283 0 0 0 18547 1059 0 0 25 0 1 0 1783915606 646942720 156421 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9712/statm): 157945 156421 1116 68 0 157877 0 [pid=9712] vsize: 631780 Current children cumulated CPU time (s) 196.06 Current children cumulated vsize (Kb) 631780 [startup+220.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 164838 0 0 0 19470 1096 0 0 25 0 1 0 1783915606 677789696 163971 4294967295 134512640 134736556 3221224560 3221223136 134716334 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 165476 163971 1116 68 0 165408 0 [pid=9712] vsize: 661904 Current children cumulated CPU time (s) 205.66 Current children cumulated vsize (Kb) 661904 [startup+230.013 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 172156 0 0 0 20393 1134 0 0 25 0 1 0 1783915606 707743744 171285 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 172789 171285 1116 68 0 172721 0 [pid=9712] vsize: 691156 Current children cumulated CPU time (s) 215.27 Current children cumulated vsize (Kb) 691156 [startup+240.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 179121 0 0 0 21324 1165 0 0 22 0 1 0 1783915606 736395264 178234 4294967295 134512640 134736556 3221224560 3221223288 134554058 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9712/statm): 179784 178234 1116 68 0 179716 0 [pid=9712] vsize: 719136 Current children cumulated CPU time (s) 224.89 Current children cumulated vsize (Kb) 719136 [startup+250.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 186695 0 0 0 22255 1200 0 0 25 0 1 0 1783915606 766824448 185402 4294967295 134512640 134736556 3221224560 3221223300 134609065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9712/statm): 187213 185402 1116 68 0 187145 0 [pid=9712] vsize: 748852 Current children cumulated CPU time (s) 234.55 Current children cumulated vsize (Kb) 748852 [startup+260.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 193911 0 0 0 23184 1239 0 0 25 0 1 0 1783915606 796078080 192535 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9712/statm): 194355 192535 1116 68 0 194287 0 [pid=9712] vsize: 777420 Current children cumulated CPU time (s) 244.23 Current children cumulated vsize (Kb) 777420 [startup+270.013 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) T 9711 9712 31778 0 -1 0 201452 0 0 0 24112 1275 0 0 25 0 1 0 1783915606 826691584 199994 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9712/statm): 201829 199994 1116 68 0 201761 0 [pid=9712] vsize: 807316 Current children cumulated CPU time (s) 253.87 Current children cumulated vsize (Kb) 807316 [startup+280.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 208242 0 0 0 25049 1305 0 0 25 0 1 0 1783915606 854253568 206622 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9712/statm): 208558 206623 1116 68 0 208490 0 [pid=9712] vsize: 834232 Current children cumulated CPU time (s) 263.54 Current children cumulated vsize (Kb) 834232 [startup+290.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) T 9711 9712 31778 0 -1 0 214275 0 0 0 25994 1334 0 0 25 0 1 0 1783915606 878587904 212654 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9712/statm): 214499 212654 1116 68 0 214431 0 [pid=9712] vsize: 857996 Current children cumulated CPU time (s) 273.28 Current children cumulated vsize (Kb) 857996 [startup+300.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 221185 0 0 0 26926 1366 0 0 25 0 1 0 1783915606 906702848 219564 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 221363 219564 1116 68 0 221295 0 [pid=9712] vsize: 885452 Current children cumulated CPU time (s) 282.92 Current children cumulated vsize (Kb) 885452 [startup+310.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) R 9711 9712 31778 0 -1 0 227790 0 0 0 27861 1397 0 0 25 0 1 0 1783915606 933453824 226007 4294967295 134512640 134736556 3221224560 3221223056 134536188 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9712/statm): 227894 226007 1116 68 0 227826 0 [pid=9712] vsize: 911576 Current children cumulated CPU time (s) 292.58 Current children cumulated vsize (Kb) 911576 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+312.865 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 9712 Raw data (/proc/9712/stat): 9712 (bsolo) T 9711 9712 31778 0 -1 0 230349 0 0 0 28120 1410 0 0 25 0 1 0 1783915606 943730688 228498 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9712/statm): 230403 228498 1116 68 0 230335 0 [pid=9712] vsize: 921612 Current children cumulated CPU time (s) 295.3 Current children cumulated vsize (Kb) 921612 Sending SIGTERM to -9712 Sleeping 2 seconds Sending SIGKILL to -9712 One traced child (pid=9712) 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): 315.288 CPU time (s): 295.727 CPU user time (s): 281.202 CPU system time (s): 14.5248 CPU usage (%): 93.7958 Max. virtual memory (cumulated for all children) (Kb): 921612
ERROR: no interpretation found !