Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb |
MD5SUM | 9c5126d785c8d5465220e290c5fc25a6 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6656 |
Optimality of the best value was proved | NO |
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 | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 2421502 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 675 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 55 |
Number of constraints which are nor clauses,nor cardinality constraints | 45 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 95 |
LAUNCH ON wulflinc12 THE 2005-09-19 23:21:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=974 boxname=wulflinc12 idbench=974 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 9c5126d785c8d5465220e290c5fc25a6 /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-pk1.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-pk1.opb IDLAUNCH: 974 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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: 918836 kB Buffers: 33172 kB Cached: 51920 kB SwapCached: 520 kB Active: 29812 kB Inactive: 57840 kB HighTotal: 131008 kB HighFree: 77000 kB LowTotal: 903652 kB LowFree: 841836 kB SwapTotal: 2097136 kB SwapFree: 2096072 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5884 kB Slab: 22384 kB Committed_AS: 64136 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 23:25:44 (client local time) WITH STATUS 0 IN 250.398 SECONDS stats: 974 7 250.398 0
c INFO: OSL Context initialized. c Initial problem consists of 675 variables and 60 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.249 c After prepocess the problem consists of 675 variables and 60 constraints. c Initial Lower Bound: 0 c Restart #1 #Var: 675 #Dec: 4338 LB: 0 @ 0.553 c Restart #2 #Var: 675 #Dec: 9911 LB: 0 @ 0.992 c Restart #3 #Var: 675 #Dec: 18320 LB: 0 @ 1.668 c Restart #4 #Var: 675 #Dec: 23243 LB: 0 @ 2.369 c Restart #5 #Var: 675 #Dec: 27281 LB: 0 @ 3.136 c Restart #6 #Var: 675 #Dec: 31793 LB: 0 @ 4.086 c Restart #7 #Var: 675 #Dec: 33403 LB: 0 @ 5.062 c Restart #8 #Var: 675 #Dec: 35093 LB: 0 @ 6.249 c Restart #9 #Var: 675 #Dec: 36980 LB: 0 @ 7.577 c Restart #10 #Var: 675 #Dec: 39063 LB: 0 @ 9.032 c Restart #11 #Var: 675 #Dec: 41347 LB: 0 @ 10.661 c Restart #12 #Var: 675 #Dec: 43832 LB: 0 @ 12.619 c Restart #13 #Var: 675 #Dec: 46519 LB: 0 @ 14.536 c Restart #14 #Var: 675 #Dec: 49404 LB: 0 @ 16.703 c Restart #15 #Var: 675 #Dec: 52490 LB: 0 @ 19.055 c Restart #16 #Var: 675 #Dec: 55776 LB: 0 @ 21.466 c Restart #17 #Var: 675 #Dec: 59262 LB: 0 @ 24.259 c Restart #18 #Var: 675 #Dec: 62944 LB: 0 @ 26.994 c Restart #19 #Var: 675 #Dec: 66827 LB: 0 @ 30.574 c Restart #20 #Var: 675 #Dec: 70912 LB: 0 @ 34.901 c Restart #21 #Var: 675 #Dec: 75196 LB: 0 @ 38.524 c Restart #22 #Var: 675 #Dec: 79679 LB: 0 @ 42.353 c Restart #23 #Var: 675 #Dec: 84365 LB: 0 @ 46.616 c Restart #24 #Var: 675 #Dec: 89249 LB: 0 @ 50.482 c Restart #25 #Var: 675 #Dec: 94334 LB: 0 @ 55.076 c Restart #26 #Var: 675 #Dec: 99618 LB: 0 @ 59.343 c Restart #27 #Var: 675 #Dec: 105102 LB: 0 @ 64.608 c Restart #28 #Var: 675 #Dec: 110788 LB: 0 @ 69.341 c Restart #29 #Var: 675 #Dec: 116673 LB: 0 @ 75.049 c Restart #30 #Var: 675 #Dec: 122759 LB: 0 @ 80.304 c Restart #31 #Var: 675 #Dec: 129047 LB: 0 @ 86.611 c Restart #32 #Var: 675 #Dec: 135532 LB: 0 @ 93.258 c Restart #33 #Var: 675 #Dec: 142215 LB: 0 @ 99.552 c Restart #34 #Var: 675 #Dec: 149097 LB: 0 @ 106.42 c Restart #35 #Var: 675 #Dec: 156183 LB: 0 @ 113.07 c Restart #36 #Var: 675 #Dec: 163465 LB: 0 @ 120.64 c Restart #37 #Var: 675 #Dec: 170950 LB: 0 @ 127 c Restart #38 #Var: 675 #Dec: 178631 LB: 0 @ 135.56 c Restart #39 #Var: 675 #Dec: 186514 LB: 0 @ 143.11 c Restart #40 #Var: 675 #Dec: 194599 LB: 0 @ 152.86 c Restart #41 #Var: 675 #Dec: 202882 LB: 0 @ 163.34 c Restart #42 #Var: 675 #Dec: 211367 LB: 0 @ 174.92 c Restart #43 #Var: 675 #Dec: 220050 LB: 0 @ 184.59 c Restart #44 #Var: 675 #Dec: 228933 LB: 0 @ 193.75 c Restart #45 #Var: 675 #Dec: 238016 LB: 0 @ 204.37 c Restart #46 #Var: 675 #Dec: 247295 LB: 0 @ 214.25 c Restart #47 #Var: 675 #Dec: 256777 LB: 0 @ 224.7 c Restart #48 #Var: 675 #Dec: 266461 LB: 0 @ 235.77 c Restart #49 #Var: 675 #Dec: 276345 LB: 0 @ 246.71 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/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 22 0 0 0 0 0 0 0 22 0 1 0 1795575778 438272 6 4294967295 134512640 134736556 3221224560 3221224536 1073815575 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 107 9 90 68 0 39 0 [pid=8569] 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/wulflinc12/normalized-mps-v2-13-7-pk1.opb [startup+10.003 s] Raw data (loadavg): 0.93 0.95 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 11304 0 0 0 799 82 0 0 25 0 1 0 1795575778 49442816 11213 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 12071 11213 1116 68 0 12003 0 [pid=8569] vsize: 48284 Current children cumulated CPU time (s) 8.81 Current children cumulated vsize (Kb) 48284 [startup+20.0029 s] Raw data (loadavg): 0.94 0.96 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 22710 0 0 0 1705 132 0 0 17 0 1 0 1795575778 96284672 22614 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 23507 22614 1116 68 0 23439 0 [pid=8569] vsize: 94028 Current children cumulated CPU time (s) 18.37 Current children cumulated vsize (Kb) 94028 [startup+30.0037 s] Raw data (loadavg): 0.95 0.96 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 33678 0 0 0 2615 174 0 0 25 0 1 0 1795575778 141381632 33569 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8569/statm): 34517 33569 1116 68 0 34449 0 [pid=8569] vsize: 138068 Current children cumulated CPU time (s) 27.89 Current children cumulated vsize (Kb) 138068 [startup+40.0046 s] Raw data (loadavg): 0.95 0.96 0.96 1/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 42883 0 0 0 3539 212 0 0 25 0 1 0 1795575778 179200000 42763 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8569/statm): 43750 42763 1116 68 0 43682 0 [pid=8569] vsize: 175000 Current children cumulated CPU time (s) 37.51 Current children cumulated vsize (Kb) 175000 [startup+50.0054 s] Raw data (loadavg): 0.96 0.96 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 52646 0 0 0 4455 255 0 0 25 0 1 0 1795575778 219209728 52517 4294967295 134512640 134736556 3221224560 3221223080 134716525 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8569/statm): 53518 52517 1116 68 0 53450 0 [pid=8569] vsize: 214072 Current children cumulated CPU time (s) 47.1 Current children cumulated vsize (Kb) 214072 [startup+60.0062 s] Raw data (loadavg): 0.97 0.96 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 62910 0 0 0 5377 294 0 0 17 0 1 0 1795575778 261410816 62761 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8569/statm): 63821 62761 1116 68 0 63753 0 [pid=8569] vsize: 255284 Current children cumulated CPU time (s) 56.71 Current children cumulated vsize (Kb) 255284 [startup+70.0061 s] Raw data (loadavg): 0.97 0.96 0.96 1/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 72883 0 0 0 6294 337 0 0 25 0 1 0 1795575778 302411776 72729 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8569/statm): 73831 72729 1116 68 0 73763 0 [pid=8569] vsize: 295324 Current children cumulated CPU time (s) 66.31 Current children cumulated vsize (Kb) 295324 [startup+80.0069 s] Raw data (loadavg): 0.98 0.96 0.96 1/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 82211 0 0 0 7220 377 0 0 18 0 1 0 1795575778 340635648 82050 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8569/statm): 83163 82050 1116 68 0 83095 0 [pid=8569] vsize: 332652 Current children cumulated CPU time (s) 75.97 Current children cumulated vsize (Kb) 332652 [startup+90.0067 s] Raw data (loadavg): 0.98 0.96 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 92040 0 0 0 8144 415 0 0 25 0 1 0 1795575778 380837888 91875 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 92978 91875 1116 68 0 92910 0 [pid=8569] vsize: 371912 Current children cumulated CPU time (s) 85.59 Current children cumulated vsize (Kb) 371912 [startup+100.008 s] Raw data (loadavg): 0.98 0.96 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 100231 0 0 0 9077 450 0 0 25 0 1 0 1795575778 414425088 100063 4294967295 134512640 134736556 3221224560 3221223192 134554109 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 101178 100063 1116 68 0 101110 0 [pid=8569] vsize: 404712 Current children cumulated CPU time (s) 95.27 Current children cumulated vsize (Kb) 404712 [startup+110.008 s] Raw data (loadavg): 0.98 0.96 0.96 1/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 109510 0 0 0 10003 488 0 0 25 0 1 0 1795575778 452440064 109328 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8569/statm): 110459 109328 1116 68 0 110391 0 [pid=8569] vsize: 441836 Current children cumulated CPU time (s) 104.91 Current children cumulated vsize (Kb) 441836 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 118378 0 0 0 10931 524 0 0 25 0 1 0 1795575778 488509440 118032 4294967295 134512640 134736556 3221224560 3221223116 134536620 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 119265 118032 1116 68 0 119197 0 [pid=8569] vsize: 477060 Current children cumulated CPU time (s) 114.55 Current children cumulated vsize (Kb) 477060 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 128096 0 0 0 11851 565 0 0 25 0 1 0 1795575778 528343040 127663 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8569/statm): 128990 127663 1116 68 0 128922 0 [pid=8569] vsize: 515960 Current children cumulated CPU time (s) 124.16 Current children cumulated vsize (Kb) 515960 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 136968 0 0 0 12780 602 0 0 25 0 1 0 1795575778 564469760 136532 4294967295 134512640 134736556 3221224560 3221223180 134537572 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 137810 136532 1116 68 0 137742 0 [pid=8569] vsize: 551240 Current children cumulated CPU time (s) 133.82 Current children cumulated vsize (Kb) 551240 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 145279 0 0 0 13713 637 0 0 25 0 1 0 1795575778 598519808 144757 4294967295 134512640 134736556 3221224560 3221223136 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 146123 144757 1116 68 0 146055 0 [pid=8569] vsize: 584492 Current children cumulated CPU time (s) 143.5 Current children cumulated vsize (Kb) 584492 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 152689 0 0 0 14653 668 0 0 25 0 1 0 1795575778 628588544 152083 4294967295 134512640 134736556 3221224560 3221223140 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 153464 152083 1116 68 0 153396 0 [pid=8569] vsize: 613856 Current children cumulated CPU time (s) 153.21 Current children cumulated vsize (Kb) 613856 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 160249 0 0 0 15590 698 0 0 25 0 1 0 1795575778 659738624 159629 4294967295 134512640 134736556 3221224560 3221223212 134554100 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 161069 159629 1116 68 0 161001 0 [pid=8569] vsize: 644276 Current children cumulated CPU time (s) 162.88 Current children cumulated vsize (Kb) 644276 [startup+180.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 166632 0 0 0 16538 724 0 0 25 0 1 0 1795575778 685826048 166012 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 167438 166012 1116 68 0 167370 0 [pid=8569] vsize: 669752 Current children cumulated CPU time (s) 172.62 Current children cumulated vsize (Kb) 669752 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.96 1/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 174062 0 0 0 17479 753 0 0 25 0 1 0 1795575778 716095488 173354 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8569/statm): 174828 173354 1116 68 0 174760 0 [pid=8569] vsize: 699312 Current children cumulated CPU time (s) 182.32 Current children cumulated vsize (Kb) 699312 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.96 1/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 182598 0 0 0 18413 787 0 0 25 0 1 0 1795575778 751099904 181877 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8569/statm): 183374 181877 1116 68 0 183306 0 [pid=8569] vsize: 733496 Current children cumulated CPU time (s) 192 Current children cumulated vsize (Kb) 733496 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 190555 0 0 0 19346 820 0 0 25 0 1 0 1795575778 783470592 189826 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8569/statm): 191277 189826 1116 68 0 191209 0 [pid=8569] vsize: 765108 Current children cumulated CPU time (s) 201.66 Current children cumulated vsize (Kb) 765108 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.96 1/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 198187 0 0 0 20278 853 0 0 25 0 1 0 1795575778 814694400 197458 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8569/statm): 198900 197458 1116 68 0 198832 0 [pid=8569] vsize: 795600 Current children cumulated CPU time (s) 211.31 Current children cumulated vsize (Kb) 795600 [startup+230.014 s] Raw data (loadavg): 0.99 0.97 0.96 1/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 206427 0 0 0 21209 889 0 0 25 0 1 0 1795575778 848084992 205698 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8569/statm): 207052 205698 1116 68 0 206984 0 [pid=8569] vsize: 828208 Current children cumulated CPU time (s) 220.98 Current children cumulated vsize (Kb) 828208 [startup+240.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 214391 0 0 0 22146 920 0 0 18 0 1 0 1795575778 880640000 213498 4294967295 134512640 134736556 3221224560 3221223136 134550742 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 215000 213498 1116 68 0 214932 0 [pid=8569] vsize: 860000 Current children cumulated CPU time (s) 230.66 Current children cumulated vsize (Kb) 860000 [startup+250.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) R 8568 8569 8263 0 -1 0 222555 0 0 0 23080 955 0 0 18 0 1 0 1795575778 913657856 221418 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 223061 221418 1116 68 0 222993 0 [pid=8569] vsize: 892244 Current children cumulated CPU time (s) 240.35 Current children cumulated vsize (Kb) 892244 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+259.968 s] Raw data (loadavg): 1.07 0.99 0.97 1/56 8569 Raw data (/proc/8569/stat): 8569 (bsolo) T 8568 8569 8263 0 -1 0 229969 0 0 0 24008 989 0 0 25 0 1 0 1795575778 943800320 228832 4294967295 134512640 134736556 3221224560 3221222908 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8569/statm): 230420 228832 1116 68 0 230352 0 [pid=8569] vsize: 921680 Current children cumulated CPU time (s) 249.97 Current children cumulated vsize (Kb) 921680 Sending SIGTERM to -8569 Sleeping 2 seconds [startup+260.016 s] Raw data (loadavg): 1.07 0.99 0.97 1/57 8570 Raw data (/proc/8569/stat): 8569 (bsolo) S 8568 8569 8263 0 -1 0 229969 0 0 0 24008 989 0 0 25 0 1 0 1795575778 943800320 228832 4294967295 134512640 134736556 3221224560 3221221880 1077867073 0 16384 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8569/statm): 230420 228832 1116 68 0 230352 0 [pid=8569] vsize: 921680 Current children cumulated CPU time (s) 249.97 Current children cumulated vsize (Kb) 921680 Sending SIGKILL to -8569 One traced child (pid=8569) 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): 262.39 CPU time (s): 250.398 CPU user time (s): 240.083 CPU system time (s): 10.3154 CPU usage (%): 95.4298 Max. virtual memory (cumulated for all children) (Kb): 921680
ERROR: no interpretation found !