Name | mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb |
MD5SUM | 58b746ba9d27bca658263dee1941983b |
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 | 5344 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 64 |
Number of constraints which are nor clauses,nor cardinality constraints | 136 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 240 |
LAUNCH ON wulflinc10 THE 2005-09-18 11:49:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=592 boxname=wulflinc10 idbench=592 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 58b746ba9d27bca658263dee1941983b /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-pp08a.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-pp08a.opb IDLAUNCH: 592 /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: 948364 kB Buffers: 34004 kB Cached: 25812 kB SwapCached: 228 kB Active: 54024 kB Inactive: 8708 kB HighTotal: 131008 kB HighFree: 101472 kB LowTotal: 903652 kB LowFree: 846892 kB SwapTotal: 2097136 kB SwapFree: 2096756 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6272 kB Slab: 18084 kB Committed_AS: 64164 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 11:53:47 (client local time) WITH STATUS 0 IN 248.861 SECONDS stats: 592 7 248.861 0
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 5344 variables and 200 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 1.229 c After prepocess the problem consists of 4600 variables and 200 constraints. c Initial Lower Bound: 0 c Restart #1 #Var: 4600 #Dec: 12406 LB: 0 @ 1.965 c Restart #2 #Var: 4600 #Dec: 42897 LB: 0 @ 3.614 c Restart #3 #Var: 4600 #Dec: 78779 LB: 0 @ 5.594 c Restart #4 #Var: 4600 #Dec: 109620 LB: 0 @ 7.419 c Restart #5 #Var: 4600 #Dec: 132057 LB: 0 @ 9.053 c Restart #6 #Var: 4600 #Dec: 158468 LB: 0 @ 11.047 c Restart #7 #Var: 4600 #Dec: 192448 LB: 0 @ 13.572 c Restart #8 #Var: 4600 #Dec: 225372 LB: 0 @ 16.172 c Restart #9 #Var: 4600 #Dec: 227243 LB: 0 @ 17.415 c Restart #10 #Var: 4600 #Dec: 229309 LB: 0 @ 18.811 c Restart #11 #Var: 4600 #Dec: 231579 LB: 0 @ 20.292 c Restart #12 #Var: 4600 #Dec: 234044 LB: 0 @ 21.95 c Restart #13 #Var: 4600 #Dec: 236713 LB: 0 @ 23.862 c Restart #14 #Var: 4600 #Dec: 239581 LB: 0 @ 25.912 c Restart #15 #Var: 4600 #Dec: 242651 LB: 0 @ 27.924 c Restart #16 #Var: 4600 #Dec: 245916 LB: 0 @ 30.385 c Restart #17 #Var: 4600 #Dec: 249383 LB: 0 @ 32.755 c Restart #18 #Var: 4600 #Dec: 253049 LB: 0 @ 35.683 c Restart #19 #Var: 4600 #Dec: 256918 LB: 0 @ 38.603 c Restart #20 #Var: 4600 #Dec: 260987 LB: 0 @ 42.281 c Restart #21 #Var: 4600 #Dec: 265255 LB: 0 @ 46.176 c Restart #22 #Var: 4600 #Dec: 269723 LB: 0 @ 49.616 c Restart #23 #Var: 4600 #Dec: 274393 LB: 0 @ 53.472 c Restart #24 #Var: 4600 #Dec: 279259 LB: 0 @ 57.672 c Restart #25 #Var: 4600 #Dec: 284327 LB: 0 @ 61.459 c Restart #26 #Var: 4600 #Dec: 289597 LB: 0 @ 66.09 c Restart #27 #Var: 4600 #Dec: 295063 LB: 0 @ 70.007 c Restart #28 #Var: 4600 #Dec: 300730 LB: 0 @ 74.837 c Restart #29 #Var: 4600 #Dec: 306599 LB: 0 @ 80.103 c Restart #30 #Var: 4600 #Dec: 312666 LB: 0 @ 85.075 c Restart #31 #Var: 4600 #Dec: 318935 LB: 0 @ 91.012 c Restart #32 #Var: 4600 #Dec: 325403 LB: 0 @ 96.364 c Restart #33 #Var: 4600 #Dec: 332071 LB: 0 @ 103.14 c Restart #34 #Var: 4600 #Dec: 338936 LB: 0 @ 108.68 c Restart #35 #Var: 4600 #Dec: 346005 LB: 0 @ 116.24 c Restart #36 #Var: 4600 #Dec: 353269 LB: 0 @ 122.99 c Restart #37 #Var: 4600 #Dec: 360737 LB: 0 @ 130.7 c Restart #38 #Var: 4600 #Dec: 368405 LB: 0 @ 138.43 c Restart #39 #Var: 4600 #Dec: 376274 LB: 0 @ 145.86 c Restart #40 #Var: 4600 #Dec: 384346 LB: 0 @ 154.04 c Restart #41 #Var: 4600 #Dec: 392612 LB: 0 @ 162.04 c Restart #42 #Var: 4600 #Dec: 401077 LB: 0 @ 169.41 c Restart #43 #Var: 4600 #Dec: 409746 LB: 0 @ 178.39 c Restart #44 #Var: 4600 #Dec: 418616 LB: 0 @ 189.2 c Restart #45 #Var: 4600 #Dec: 427683 LB: 0 @ 199.78 c Restart #46 #Var: 4600 #Dec: 436948 LB: 0 @ 208.69 c Restart #47 #Var: 4600 #Dec: 446416 LB: 0 @ 219.13 c Restart #48 #Var: 4600 #Dec: 456080 LB: 0 @ 228.68 c Restart #49 #Var: 4600 #Dec: 465946 LB: 0 @ 239.86 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/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1782830351 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24841/statm): 107 3 90 68 0 39 0 [pid=24841] 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/wulflinc10/normalized-mps-v2-20-10-pp08a.opb [startup+10.0029 s] Raw data (loadavg): 0.93 0.98 0.99 1/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 5881 0 0 0 558 153 0 0 18 0 1 0 1782830351 27340800 5792 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/24841/statm): 6675 5792 1116 68 0 6607 0 [pid=24841] vsize: 26700 Current children cumulated CPU time (s) 7.11 Current children cumulated vsize (Kb) 26700 [startup+20.0035 s] Raw data (loadavg): 0.94 0.98 0.99 1/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 9517 0 0 0 1152 291 0 0 18 0 1 0 1782830351 42209280 9428 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/24841/statm): 10305 9428 1116 68 0 10237 0 [pid=24841] vsize: 41220 Current children cumulated CPU time (s) 14.43 Current children cumulated vsize (Kb) 41220 [startup+30.0041 s] Raw data (loadavg): 0.95 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 20141 0 0 0 1996 360 0 0 25 0 1 0 1782830351 85794816 20046 4294967295 134512640 134736556 3221224560 3221223184 134537444 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/24841/statm): 20946 20046 1116 68 0 20878 0 [pid=24841] vsize: 83784 Current children cumulated CPU time (s) 23.56 Current children cumulated vsize (Kb) 83784 [startup+40.0046 s] Raw data (loadavg): 0.96 0.98 0.99 1/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 31742 0 0 0 2897 411 0 0 25 0 1 0 1782830351 133525504 31633 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/24841/statm): 32599 31633 1116 68 0 32531 0 [pid=24841] vsize: 130396 Current children cumulated CPU time (s) 33.08 Current children cumulated vsize (Kb) 130396 [startup+50.0042 s] Raw data (loadavg): 0.96 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 41790 0 0 0 3811 457 0 0 25 0 1 0 1782830351 174784512 41674 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/24841/statm): 42672 41674 1116 68 0 42604 0 [pid=24841] vsize: 170688 Current children cumulated CPU time (s) 42.68 Current children cumulated vsize (Kb) 170688 [startup+60.0048 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 51857 0 0 0 4728 500 0 0 25 0 1 0 1782830351 216125440 51738 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/24841/statm): 52765 51738 1116 68 0 52697 0 [pid=24841] vsize: 211060 Current children cumulated CPU time (s) 52.28 Current children cumulated vsize (Kb) 211060 [startup+70.0053 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 62105 0 0 0 5645 542 0 0 25 0 1 0 1782830351 258150400 61960 4294967295 134512640 134736556 3221224560 3221223244 134554060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/24841/statm): 63025 61960 1116 68 0 62957 0 [pid=24841] vsize: 252100 Current children cumulated CPU time (s) 61.87 Current children cumulated vsize (Kb) 252100 [startup+80.0049 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 72622 0 0 0 6558 587 0 0 25 0 1 0 1782830351 301408256 72467 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/24841/statm): 73586 72467 1116 68 0 73518 0 [pid=24841] vsize: 294344 Current children cumulated CPU time (s) 71.45 Current children cumulated vsize (Kb) 294344 [startup+90.0055 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 82211 0 0 0 7479 628 0 0 25 0 1 0 1782830351 340766720 82052 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/24841/statm): 83195 82052 1116 68 0 83127 0 [pid=24841] vsize: 332780 Current children cumulated CPU time (s) 81.07 Current children cumulated vsize (Kb) 332780 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 92078 0 0 0 8396 667 0 0 25 0 1 0 1782830351 381112320 91915 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/24841/statm): 93045 91915 1116 68 0 92977 0 [pid=24841] vsize: 372180 Current children cumulated CPU time (s) 90.63 Current children cumulated vsize (Kb) 372180 [startup+110.009 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 101249 0 0 0 9322 709 0 0 25 0 1 0 1782830351 418693120 101082 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/24841/statm): 102220 101082 1116 68 0 102152 0 [pid=24841] vsize: 408880 Current children cumulated CPU time (s) 100.31 Current children cumulated vsize (Kb) 408880 [startup+120.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 110374 0 0 0 10249 746 0 0 25 0 1 0 1782830351 455946240 110199 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/24841/statm): 111315 110199 1116 68 0 111247 0 [pid=24841] vsize: 445260 Current children cumulated CPU time (s) 109.95 Current children cumulated vsize (Kb) 445260 [startup+130.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 119268 0 0 0 11181 783 0 0 25 0 1 0 1782830351 492240896 118831 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/24841/statm): 120176 118831 1116 68 0 120108 0 [pid=24841] vsize: 480704 Current children cumulated CPU time (s) 119.64 Current children cumulated vsize (Kb) 480704 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 128174 0 0 0 12104 823 0 0 25 0 1 0 1782830351 528588800 127652 4294967295 134512640 134736556 3221224560 3221223232 134528735 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/24841/statm): 129050 127652 1116 68 0 128982 0 [pid=24841] vsize: 516200 Current children cumulated CPU time (s) 129.27 Current children cumulated vsize (Kb) 516200 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 135988 0 0 0 13040 855 0 0 25 0 1 0 1782830351 560472064 135380 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/24841/statm): 136834 135380 1116 68 0 136766 0 [pid=24841] vsize: 547336 Current children cumulated CPU time (s) 138.95 Current children cumulated vsize (Kb) 547336 [startup+160.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 145055 0 0 0 13959 897 0 0 25 0 1 0 1782830351 597467136 144406 4294967295 134512640 134736556 3221224560 3221223136 134550742 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/24841/statm): 145866 144406 1116 68 0 145798 0 [pid=24841] vsize: 583464 Current children cumulated CPU time (s) 148.56 Current children cumulated vsize (Kb) 583464 [startup+170.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 153792 0 0 0 14884 937 0 0 25 0 1 0 1782830351 633073664 153061 4294967295 134512640 134736556 3221224560 3221223152 134551076 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/24841/statm): 154559 153061 1116 68 0 154491 0 [pid=24841] vsize: 618236 Current children cumulated CPU time (s) 158.21 Current children cumulated vsize (Kb) 618236 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 163509 0 0 0 15800 979 0 0 25 0 1 0 1782830351 672653312 162616 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/24841/statm): 164222 162616 1116 68 0 164154 0 [pid=24841] vsize: 656888 Current children cumulated CPU time (s) 167.79 Current children cumulated vsize (Kb) 656888 [startup+190.008 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 171861 0 0 0 16728 1013 0 0 25 0 1 0 1782830351 706715648 170968 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/24841/statm): 172538 170968 1116 68 0 172470 0 [pid=24841] vsize: 690152 Current children cumulated CPU time (s) 177.41 Current children cumulated vsize (Kb) 690152 [startup+200.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 179339 0 0 0 17669 1046 0 0 25 0 1 0 1782830351 737263616 178446 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/24841/statm): 179996 178446 1116 68 0 179928 0 [pid=24841] vsize: 719984 Current children cumulated CPU time (s) 187.15 Current children cumulated vsize (Kb) 719984 [startup+210.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 186444 0 0 0 18613 1075 0 0 25 0 1 0 1782830351 766111744 185460 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/24841/statm): 187039 185460 1116 68 0 186971 0 [pid=24841] vsize: 748156 Current children cumulated CPU time (s) 196.88 Current children cumulated vsize (Kb) 748156 [startup+220.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 194668 0 0 0 19543 1114 0 0 24 0 1 0 1782830351 799358976 193684 4294967295 134512640 134736556 3221224560 3221223284 134605913 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/24841/statm): 195156 193684 1116 68 0 195088 0 [pid=24841] vsize: 780624 Current children cumulated CPU time (s) 206.57 Current children cumulated vsize (Kb) 780624 [startup+230.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 202665 0 0 0 20475 1148 0 0 25 0 1 0 1782830351 832057344 201599 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/24841/statm): 203139 201599 1116 68 0 203071 0 [pid=24841] vsize: 812556 Current children cumulated CPU time (s) 216.23 Current children cumulated vsize (Kb) 812556 [startup+240.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) R 24840 24841 22582 0 -1 0 211159 0 0 0 21402 1183 0 0 25 0 1 0 1782830351 866795520 210093 4294967295 134512640 134736556 3221224560 3221223368 134598797 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/24841/statm): 211620 210093 1116 68 0 211552 0 [pid=24841] vsize: 846480 Current children cumulated CPU time (s) 225.85 Current children cumulated vsize (Kb) 846480 [startup+250.008 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 219600 0 0 0 22332 1220 0 0 25 0 1 0 1782830351 901029888 218286 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/24841/statm): 219978 218286 1116 68 0 219910 0 [pid=24841] vsize: 879912 Current children cumulated CPU time (s) 235.52 Current children cumulated vsize (Kb) 879912 [startup+260.009 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 226965 0 0 0 23270 1251 0 0 25 0 1 0 1782830351 930578432 225236 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/24841/statm): 227192 225236 1116 68 0 227124 0 [pid=24841] vsize: 908768 Current children cumulated CPU time (s) 245.21 Current children cumulated vsize (Kb) 908768 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+263.362 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 24841 Raw data (/proc/24841/stat): 24841 (bsolo) T 24840 24841 22582 0 -1 0 230178 0 0 0 23578 1266 0 0 25 0 1 0 1782830351 943824896 228449 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/24841/statm): 230426 228449 1116 68 0 230358 0 [pid=24841] vsize: 921704 Current children cumulated CPU time (s) 248.44 Current children cumulated vsize (Kb) 921704 Sending SIGTERM to -24841 Sleeping 2 seconds Sending SIGKILL to -24841 One traced child (pid=24841) 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): 265.785 CPU time (s): 248.861 CPU user time (s): 235.782 CPU system time (s): 13.079 CPU usage (%): 93.6325 Max. virtual memory (cumulated for all children) (Kb): 921704
ERROR: no interpretation found !