Name | mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rgn.opb |
MD5SUM | e7e8123aa394c0918878e05410d4daeb |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 67200 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 920 |
Biggest coefficient in the objective function | 24576 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 1986400 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 3200000000 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 29101875011 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1236.27 |
Number of variables | 1020 |
Total number of constraints | 204 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 103 |
LAUNCH ON wulflinc2 THE 2005-09-19 23:58:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1046 boxname=wulflinc2 idbench=1046 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: e7e8123aa394c0918878e05410d4daeb /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-rgn.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-rgn.opb IDLAUNCH: 1046 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 914604 kB Buffers: 3996 kB Cached: 91768 kB SwapCached: 864 kB Active: 26788 kB Inactive: 71428 kB HighTotal: 131008 kB HighFree: 35448 kB LowTotal: 903652 kB LowFree: 879156 kB SwapTotal: 2097136 kB SwapFree: 2095536 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5492 kB Slab: 15916 kB Committed_AS: 72360 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 00:04:20 (client local time) WITH STATUS 0 IN 341.594 SECONDS stats: 1046 7 341.594 0
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 1020 variables and 124 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.354 c After prepocess the problem consists of 1020 variables and 124 constraints. c Initial Lower Bound: 0 c Restart #1 #Var: 1020 #Dec: 6822 LB: 0 @ 0.744 c Restart #2 #Var: 1020 #Dec: 27175 LB: 0 @ 1.771 c Restart #3 #Var: 1020 #Dec: 49976 LB: 0 @ 3.04 c Restart #4 #Var: 1020 #Dec: 73603 LB: 0 @ 4.432 c Restart #5 #Var: 1020 #Dec: 87469 LB: 0 @ 5.501 c Restart #6 #Var: 1020 #Dec: 88692 LB: 0 @ 6.059 c Restart #7 #Var: 1020 #Dec: 90129 LB: 0 @ 6.748 c Restart #8 #Var: 1020 #Dec: 91752 LB: 0 @ 7.56 c Restart #9 #Var: 1020 #Dec: 93587 LB: 0 @ 8.496 c Restart #10 #Var: 1020 #Dec: 95607 LB: 0 @ 9.606 c Restart #11 #Var: 1020 #Dec: 97840 LB: 0 @ 10.871 c Restart #12 #Var: 1020 #Dec: 100277 LB: 0 @ 12.225 c Restart #13 #Var: 1020 #Dec: 102911 LB: 0 @ 13.76 c Restart #14 #Var: 1020 #Dec: 105745 LB: 0 @ 15.387 c Restart #15 #Var: 1020 #Dec: 108777 LB: 0 @ 17.308 c Restart #16 #Var: 1020 #Dec: 112013 LB: 0 @ 19.202 c Restart #17 #Var: 1020 #Dec: 115447 LB: 0 @ 21.348 c Restart #18 #Var: 1020 #Dec: 119077 LB: 0 @ 23.495 c Restart #19 #Var: 1020 #Dec: 122908 LB: 0 @ 26.309 c Restart #20 #Var: 1020 #Dec: 126943 LB: 0 @ 29.319 c Restart #21 #Var: 1020 #Dec: 131174 LB: 0 @ 32.113 c Restart #22 #Var: 1020 #Dec: 135607 LB: 0 @ 35.084 c Restart #23 #Var: 1020 #Dec: 140242 LB: 0 @ 38.321 c Restart #24 #Var: 1020 #Dec: 145077 LB: 0 @ 41.098 c Restart #25 #Var: 1020 #Dec: 150112 LB: 0 @ 44.422 c Restart #26 #Var: 1020 #Dec: 155345 LB: 0 @ 47.81 c Restart #27 #Var: 1020 #Dec: 160778 LB: 0 @ 51.417 c Restart #28 #Var: 1020 #Dec: 166412 LB: 0 @ 55.129 c Restart #29 #Var: 1020 #Dec: 172245 LB: 0 @ 59.89 c Restart #30 #Var: 1020 #Dec: 178275 LB: 0 @ 64.14 c Restart #31 #Var: 1020 #Dec: 184509 LB: 0 @ 69.486 c Restart #32 #Var: 1020 #Dec: 190945 LB: 0 @ 75.019 c Restart #33 #Var: 1020 #Dec: 197581 LB: 0 @ 80.837 c Restart #34 #Var: 1020 #Dec: 204413 LB: 0 @ 86.933 c Restart #35 #Var: 1020 #Dec: 211449 LB: 0 @ 92.21 c Restart #36 #Var: 1020 #Dec: 218684 LB: 0 @ 97.836 c Restart #37 #Var: 1020 #Dec: 226120 LB: 0 @ 103.83 c Restart #38 #Var: 1020 #Dec: 233755 LB: 0 @ 110.3 c Restart #39 #Var: 1020 #Dec: 241592 LB: 0 @ 117.06 c Restart #40 #Var: 1020 #Dec: 249628 LB: 0 @ 125.04 c Restart #41 #Var: 1020 #Dec: 257860 LB: 0 @ 131.82 c Restart #42 #Var: 1020 #Dec: 266294 LB: 0 @ 139.59 c Restart #43 #Var: 1020 #Dec: 274928 LB: 0 @ 147.12 c Restart #44 #Var: 1020 #Dec: 283763 LB: 0 @ 155.72 c Restart #45 #Var: 1020 #Dec: 292797 LB: 0 @ 164.15 c Restart #46 #Var: 1020 #Dec: 302035 LB: 0 @ 172.21 c Restart #47 #Var: 1020 #Dec: 311470 LB: 0 @ 179.75 c Restart #48 #Var: 1020 #Dec: 321099 LB: 0 @ 186.42 c Restart #49 #Var: 1020 #Dec: 330934 LB: 0 @ 195.29 c Restart #50 #Var: 1020 #Dec: 340960 LB: 0 @ 202.06 c Restart #51 #Var: 1020 #Dec: 351192 LB: 0 @ 210.63 c Restart #52 #Var: 1020 #Dec: 361623 LB: 0 @ 217.72 c Restart #53 #Var: 1020 #Dec: 372260 LB: 0 @ 226.5 c Restart #54 #Var: 1020 #Dec: 383093 LB: 0 @ 235.28 c Restart #55 #Var: 1020 #Dec: 394128 LB: 0 @ 243.47 c Restart #56 #Var: 1020 #Dec: 405359 LB: 0 @ 253.36 c Restart #57 #Var: 1020 #Dec: 416793 LB: 0 @ 261.95 c Restart #58 #Var: 1020 #Dec: 428426 LB: 0 @ 272.05 c Restart #59 #Var: 1020 #Dec: 440262 LB: 0 @ 283.54 c Restart #60 #Var: 1020 #Dec: 452297 LB: 0 @ 293.32 c Restart #61 #Var: 1020 #Dec: 464532 LB: 0 @ 304.33 c Restart #62 #Var: 1020 #Dec: 476963 LB: 0 @ 315.17 c Restart #63 #Var: 1020 #Dec: 489595 LB: 0 @ 325.13 c Restart #64 #Var: 1020 #Dec: 502426 LB: 0 @ 335.91 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/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795821888 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 107 3 90 68 0 39 0 [pid=31704] 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/wulflinc2/normalized-mps-v2-13-7-rgn.opb [startup+10.0026 s] Raw data (loadavg): 0.95 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 6193 0 0 0 619 132 0 0 25 0 1 0 1795821888 28524544 6104 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 6964 6104 1116 68 0 6896 0 [pid=31704] vsize: 27856 Current children cumulated CPU time (s) 7.51 Current children cumulated vsize (Kb) 27856 [startup+20.0034 s] Raw data (loadavg): 0.96 0.97 0.98 1/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 14990 0 0 0 1516 182 0 0 25 0 1 0 1795821888 64696320 14895 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31704/statm): 15795 14895 1116 68 0 15727 0 [pid=31704] vsize: 63180 Current children cumulated CPU time (s) 16.98 Current children cumulated vsize (Kb) 63180 [startup+30.0041 s] Raw data (loadavg): 0.96 0.97 0.98 1/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 22835 0 0 0 2424 225 0 0 25 0 1 0 1795821888 96956416 22730 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31704/statm): 23671 22730 1116 68 0 23603 0 [pid=31704] vsize: 94684 Current children cumulated CPU time (s) 26.49 Current children cumulated vsize (Kb) 94684 [startup+40.0038 s] Raw data (loadavg): 0.97 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 30204 0 0 0 3334 266 0 0 25 0 1 0 1795821888 127111168 30092 4294967295 134512640 134736556 3221224560 3221223344 134602753 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 31033 30092 1116 68 0 30965 0 [pid=31704] vsize: 124132 Current children cumulated CPU time (s) 36 Current children cumulated vsize (Kb) 124132 [startup+50.0045 s] Raw data (loadavg): 0.97 0.97 0.98 1/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 38026 0 0 0 4240 309 0 0 25 0 1 0 1795821888 159473664 37895 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31704/statm): 38934 37895 1116 68 0 38866 0 [pid=31704] vsize: 155736 Current children cumulated CPU time (s) 45.49 Current children cumulated vsize (Kb) 155736 [startup+60.0042 s] Raw data (loadavg): 0.98 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 45983 0 0 0 5147 352 0 0 25 0 1 0 1795821888 192049152 45852 4294967295 134512640 134736556 3221224560 3221223280 134529331 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 46887 45852 1116 68 0 46819 0 [pid=31704] vsize: 187548 Current children cumulated CPU time (s) 54.99 Current children cumulated vsize (Kb) 187548 [startup+70.0049 s] Raw data (loadavg): 0.98 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 52408 0 0 0 6070 387 0 0 25 0 1 0 1795821888 218427392 52267 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 53327 52267 1116 68 0 53259 0 [pid=31704] vsize: 213308 Current children cumulated CPU time (s) 64.57 Current children cumulated vsize (Kb) 213308 [startup+80.0056 s] Raw data (loadavg): 0.98 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 58696 0 0 0 6990 425 0 0 25 0 1 0 1795821888 244248576 58552 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 59631 58552 1116 68 0 59563 0 [pid=31704] vsize: 238524 Current children cumulated CPU time (s) 74.15 Current children cumulated vsize (Kb) 238524 [startup+90.0053 s] Raw data (loadavg): 0.98 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 64573 0 0 0 7917 460 0 0 25 0 1 0 1795821888 268472320 64332 4294967295 134512640 134736556 3221224560 3221223420 134531384 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 65545 64332 1116 68 0 65477 0 [pid=31704] vsize: 262180 Current children cumulated CPU time (s) 83.77 Current children cumulated vsize (Kb) 262180 [startup+100.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 70858 0 0 0 8842 496 0 0 25 0 1 0 1795821888 294273024 70607 4294967295 134512640 134736556 3221224560 3221223168 134634114 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 71844 70607 1116 68 0 71776 0 [pid=31704] vsize: 287376 Current children cumulated CPU time (s) 93.38 Current children cumulated vsize (Kb) 287376 [startup+110.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 77809 0 0 0 9763 533 0 0 25 0 1 0 1795821888 322564096 77473 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 78751 77473 1116 68 0 78683 0 [pid=31704] vsize: 315004 Current children cumulated CPU time (s) 102.96 Current children cumulated vsize (Kb) 315004 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 83943 0 0 0 10699 562 0 0 25 0 1 0 1795821888 347488256 83442 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 84836 83442 1116 68 0 84768 0 [pid=31704] vsize: 339344 Current children cumulated CPU time (s) 112.61 Current children cumulated vsize (Kb) 339344 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 89354 0 0 0 11634 592 0 0 25 0 1 0 1795821888 369741824 88827 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 90269 88827 1116 68 0 90201 0 [pid=31704] vsize: 361076 Current children cumulated CPU time (s) 122.26 Current children cumulated vsize (Kb) 361076 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 95428 0 0 0 12561 627 0 0 25 0 1 0 1795821888 394403840 94819 4294967295 134512640 134736556 3221224560 3221223116 134536265 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 96290 94819 1116 68 0 96222 0 [pid=31704] vsize: 385160 Current children cumulated CPU time (s) 131.88 Current children cumulated vsize (Kb) 385160 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 101029 0 0 0 13490 658 0 0 25 0 1 0 1795821888 417169408 100328 4294967295 134512640 134736556 3221224560 3221223248 134536462 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 101848 100328 1116 68 0 101780 0 [pid=31704] vsize: 407392 Current children cumulated CPU time (s) 141.48 Current children cumulated vsize (Kb) 407392 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 107058 0 0 0 14417 692 0 0 25 0 1 0 1795821888 441774080 106357 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 107855 106357 1116 68 0 107787 0 [pid=31704] vsize: 431420 Current children cumulated CPU time (s) 151.09 Current children cumulated vsize (Kb) 431420 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 112202 0 0 0 15358 722 0 0 25 0 1 0 1795821888 462594048 111500 4294967295 134512640 134736556 3221224560 3221223140 134551038 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 112938 111500 1116 68 0 112870 0 [pid=31704] vsize: 451752 Current children cumulated CPU time (s) 160.8 Current children cumulated vsize (Kb) 451752 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 118402 0 0 0 16288 755 0 0 22 0 1 0 1795821888 487657472 117618 4294967295 134512640 134736556 3221224560 3221223368 134598737 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 119057 117618 1116 68 0 118989 0 [pid=31704] vsize: 476228 Current children cumulated CPU time (s) 170.43 Current children cumulated vsize (Kb) 476228 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 124926 0 0 0 17211 792 0 0 25 0 1 0 1795821888 513814528 123639 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 125443 123639 1116 68 0 125375 0 [pid=31704] vsize: 501772 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 501772 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 131487 0 0 0 18129 830 0 0 25 0 1 0 1795821888 540680192 130190 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 132002 130190 1116 68 0 131934 0 [pid=31704] vsize: 528008 Current children cumulated CPU time (s) 189.59 Current children cumulated vsize (Kb) 528008 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 138386 0 0 0 19047 871 0 0 25 0 1 0 1795821888 568733696 137079 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 138851 137079 1116 68 0 138783 0 [pid=31704] vsize: 555404 Current children cumulated CPU time (s) 199.18 Current children cumulated vsize (Kb) 555404 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 145091 0 0 0 19968 909 0 0 25 0 1 0 1795821888 596209664 143779 4294967295 134512640 134736556 3221224560 3221223272 134694469 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 145559 143779 1116 68 0 145491 0 [pid=31704] vsize: 582236 Current children cumulated CPU time (s) 208.77 Current children cumulated vsize (Kb) 582236 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 151703 0 0 0 20891 945 0 0 25 0 1 0 1795821888 623243264 150391 4294967295 134512640 134736556 3221224560 3221223240 134554078 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 152159 150391 1116 68 0 152091 0 [pid=31704] vsize: 608636 Current children cumulated CPU time (s) 218.36 Current children cumulated vsize (Kb) 608636 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 157638 0 0 0 21815 980 0 0 25 0 1 0 1795821888 647589888 156317 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31704/statm): 158103 156317 1116 68 0 158035 0 [pid=31704] vsize: 632412 Current children cumulated CPU time (s) 227.95 Current children cumulated vsize (Kb) 632412 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 164157 0 0 0 22736 1016 0 0 25 0 1 0 1795821888 674488320 162822 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31704/statm): 164670 162822 1116 68 0 164602 0 [pid=31704] vsize: 658680 Current children cumulated CPU time (s) 237.52 Current children cumulated vsize (Kb) 658680 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 170974 0 0 0 23656 1055 0 0 25 0 1 0 1795821888 702353408 169633 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31704/statm): 171473 169633 1116 68 0 171405 0 [pid=31704] vsize: 685892 Current children cumulated CPU time (s) 247.11 Current children cumulated vsize (Kb) 685892 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 177132 0 0 0 24586 1088 0 0 25 0 1 0 1795821888 727580672 175780 4294967295 134512640 134736556 3221224560 3221223152 134716017 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 177632 175780 1116 68 0 177564 0 [pid=31704] vsize: 710528 Current children cumulated CPU time (s) 256.74 Current children cumulated vsize (Kb) 710528 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 183757 0 0 0 25511 1124 0 0 25 0 1 0 1795821888 754548736 182234 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31704/statm): 184216 182234 1116 68 0 184148 0 [pid=31704] vsize: 736864 Current children cumulated CPU time (s) 266.35 Current children cumulated vsize (Kb) 736864 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 189255 0 0 0 26442 1157 0 0 25 0 1 0 1795821888 777318400 187725 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31704/statm): 189775 187725 1116 68 0 189707 0 [pid=31704] vsize: 759100 Current children cumulated CPU time (s) 275.99 Current children cumulated vsize (Kb) 759100 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 194931 0 0 0 27373 1190 0 0 25 0 1 0 1795821888 800546816 193388 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 195446 193388 1116 68 0 195378 0 [pid=31704] vsize: 781784 Current children cumulated CPU time (s) 285.63 Current children cumulated vsize (Kb) 781784 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 200778 0 0 0 28303 1222 0 0 25 0 1 0 1795821888 824619008 199216 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31704/statm): 201323 199216 1116 68 0 201255 0 [pid=31704] vsize: 805292 Current children cumulated CPU time (s) 295.25 Current children cumulated vsize (Kb) 805292 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 206914 0 0 0 29227 1260 0 0 25 0 1 0 1795821888 849911808 205347 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 207498 205347 1116 68 0 207430 0 [pid=31704] vsize: 829992 Current children cumulated CPU time (s) 304.87 Current children cumulated vsize (Kb) 829992 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 213603 0 0 0 30150 1297 0 0 25 0 1 0 1795821888 877309952 212018 4294967295 134512640 134736556 3221224560 3221223232 134536462 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31704/statm): 214187 212018 1116 68 0 214119 0 [pid=31704] vsize: 856748 Current children cumulated CPU time (s) 314.47 Current children cumulated vsize (Kb) 856748 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 0 220283 0 0 0 31073 1330 0 0 25 0 1 0 1795821888 904581120 218693 4294967295 134512640 134736556 3221224560 3221223272 134694449 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 220845 218694 1116 68 0 220777 0 [pid=31704] vsize: 883380 Current children cumulated CPU time (s) 324.03 Current children cumulated vsize (Kb) 883380 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 226030 0 0 0 32004 1363 0 0 25 0 1 0 1795821888 928108544 224424 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31704/statm): 226589 224424 1116 68 0 226521 0 [pid=31704] vsize: 906356 Current children cumulated CPU time (s) 333.67 Current children cumulated vsize (Kb) 906356 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+357.75 s] Raw data (loadavg): 0.99 0.97 0.98 1/56 31704 Raw data (/proc/31704/stat): 31704 (bsolo) T 31703 31704 6872 0 -1 0 229860 0 0 0 32732 1384 0 0 25 0 1 0 1795821888 943792128 227603 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31704/statm): 230418 227603 1116 68 0 230350 0 [pid=31704] vsize: 921672 Current children cumulated CPU time (s) 341.16 Current children cumulated vsize (Kb) 921672 Sending SIGTERM to -31704 Sleeping 2 seconds Sending SIGKILL to -31704 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/56 31705 Raw data (/proc/31704/stat): 31704 (bsolo) R 31703 31704 6872 0 -1 1028 229860 0 0 0 32732 1410 0 0 18 0 1 0 1795821888 0 0 4294967295 0 0 0 0 0 0 16384 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31704/statm): 0 0 0 0 0 0 0 [pid=31704] vsize: 0 Current children cumulated CPU time (s) 341.42 Current children cumulated vsize (Kb) 0 One traced child (pid=31704) 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): 360.176 CPU time (s): 341.594 CPU user time (s): 327.323 CPU system time (s): 14.2708 CPU usage (%): 94.8408 Max. virtual memory (cumulated for all children) (Kb): 921672
ERROR: no interpretation found !