Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rgn.opb |
MD5SUM | 1400a638b0a1a6fa8602672cb986ba1d |
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 | 1257.5 |
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 wulflinc11 THE 2005-09-19 22:55:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=922 boxname=wulflinc11 idbench=922 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 1400a638b0a1a6fa8602672cb986ba1d /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-rgn.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-rgn.opb IDLAUNCH: 922 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 917440 kB Buffers: 5584 kB Cached: 85580 kB SwapCached: 840 kB Active: 19008 kB Inactive: 74576 kB HighTotal: 131008 kB HighFree: 41860 kB LowTotal: 903652 kB LowFree: 875580 kB SwapTotal: 2097136 kB SwapFree: 2095596 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5580 kB Slab: 17896 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 23:01:53 (client local time) WITH STATUS 0 IN 339.992 SECONDS stats: 922 7 339.992 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.352 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.723 c Restart #2 #Var: 1020 #Dec: 27175 LB: 0 @ 1.748 c Restart #3 #Var: 1020 #Dec: 49976 LB: 0 @ 2.984 c Restart #4 #Var: 1020 #Dec: 73603 LB: 0 @ 4.354 c Restart #5 #Var: 1020 #Dec: 87469 LB: 0 @ 5.376 c Restart #6 #Var: 1020 #Dec: 88692 LB: 0 @ 5.926 c Restart #7 #Var: 1020 #Dec: 90129 LB: 0 @ 6.622 c Restart #8 #Var: 1020 #Dec: 91752 LB: 0 @ 7.436 c Restart #9 #Var: 1020 #Dec: 93587 LB: 0 @ 8.367 c Restart #10 #Var: 1020 #Dec: 95607 LB: 0 @ 9.468 c Restart #11 #Var: 1020 #Dec: 97840 LB: 0 @ 10.737 c Restart #12 #Var: 1020 #Dec: 100277 LB: 0 @ 12.098 c Restart #13 #Var: 1020 #Dec: 102911 LB: 0 @ 13.643 c Restart #14 #Var: 1020 #Dec: 105745 LB: 0 @ 15.27 c Restart #15 #Var: 1020 #Dec: 108777 LB: 0 @ 17.201 c Restart #16 #Var: 1020 #Dec: 112013 LB: 0 @ 19.091 c Restart #17 #Var: 1020 #Dec: 115447 LB: 0 @ 21.233 c Restart #18 #Var: 1020 #Dec: 119077 LB: 0 @ 23.386 c Restart #19 #Var: 1020 #Dec: 122908 LB: 0 @ 26.195 c Restart #20 #Var: 1020 #Dec: 126943 LB: 0 @ 29.157 c Restart #21 #Var: 1020 #Dec: 131174 LB: 0 @ 31.96 c Restart #22 #Var: 1020 #Dec: 135607 LB: 0 @ 34.914 c Restart #23 #Var: 1020 #Dec: 140242 LB: 0 @ 38.105 c Restart #24 #Var: 1020 #Dec: 145077 LB: 0 @ 40.882 c Restart #25 #Var: 1020 #Dec: 150112 LB: 0 @ 44.195 c Restart #26 #Var: 1020 #Dec: 155345 LB: 0 @ 47.55 c Restart #27 #Var: 1020 #Dec: 160778 LB: 0 @ 51.133 c Restart #28 #Var: 1020 #Dec: 166412 LB: 0 @ 54.843 c Restart #29 #Var: 1020 #Dec: 172245 LB: 0 @ 59.574 c Restart #30 #Var: 1020 #Dec: 178275 LB: 0 @ 63.817 c Restart #31 #Var: 1020 #Dec: 184509 LB: 0 @ 69.147 c Restart #32 #Var: 1020 #Dec: 190945 LB: 0 @ 74.655 c Restart #33 #Var: 1020 #Dec: 197581 LB: 0 @ 80.469 c Restart #34 #Var: 1020 #Dec: 204413 LB: 0 @ 86.478 c Restart #35 #Var: 1020 #Dec: 211449 LB: 0 @ 91.708 c Restart #36 #Var: 1020 #Dec: 218684 LB: 0 @ 97.302 c Restart #37 #Var: 1020 #Dec: 226120 LB: 0 @ 103.22 c Restart #38 #Var: 1020 #Dec: 233755 LB: 0 @ 109.71 c Restart #39 #Var: 1020 #Dec: 241592 LB: 0 @ 116.49 c Restart #40 #Var: 1020 #Dec: 249628 LB: 0 @ 124.51 c Restart #41 #Var: 1020 #Dec: 257860 LB: 0 @ 131.24 c Restart #42 #Var: 1020 #Dec: 266294 LB: 0 @ 138.97 c Restart #43 #Var: 1020 #Dec: 274928 LB: 0 @ 146.44 c Restart #44 #Var: 1020 #Dec: 283763 LB: 0 @ 155 c Restart #45 #Var: 1020 #Dec: 292797 LB: 0 @ 163.42 c Restart #46 #Var: 1020 #Dec: 302035 LB: 0 @ 171.48 c Restart #47 #Var: 1020 #Dec: 311470 LB: 0 @ 179.05 c Restart #48 #Var: 1020 #Dec: 321099 LB: 0 @ 185.68 c Restart #49 #Var: 1020 #Dec: 330934 LB: 0 @ 194.54 c Restart #50 #Var: 1020 #Dec: 340960 LB: 0 @ 201.28 c Restart #51 #Var: 1020 #Dec: 351192 LB: 0 @ 209.73 c Restart #52 #Var: 1020 #Dec: 361623 LB: 0 @ 216.75 c Restart #53 #Var: 1020 #Dec: 372260 LB: 0 @ 225.56 c Restart #54 #Var: 1020 #Dec: 383093 LB: 0 @ 234.31 c Restart #55 #Var: 1020 #Dec: 394128 LB: 0 @ 242.42 c Restart #56 #Var: 1020 #Dec: 405359 LB: 0 @ 252.23 c Restart #57 #Var: 1020 #Dec: 416793 LB: 0 @ 260.83 c Restart #58 #Var: 1020 #Dec: 428426 LB: 0 @ 270.9 c Restart #59 #Var: 1020 #Dec: 440262 LB: 0 @ 282.39 c Restart #60 #Var: 1020 #Dec: 452297 LB: 0 @ 292.06 c Restart #61 #Var: 1020 #Dec: 464532 LB: 0 @ 303 c Restart #62 #Var: 1020 #Dec: 476963 LB: 0 @ 313.72 c Restart #63 #Var: 1020 #Dec: 489595 LB: 0 @ 323.61 c Restart #64 #Var: 1020 #Dec: 502426 LB: 0 @ 334.34 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/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795431321 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/29949/statm): 107 3 90 68 0 39 0 [pid=29949] 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/wulflinc11/normalized-mps-v2-13-7-rgn.opb [startup+10.0032 s] Raw data (loadavg): 0.93 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 6241 0 0 0 612 134 0 0 25 0 1 0 1795431321 28659712 6152 4294967295 134512640 134736556 3221224560 3221223136 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 6997 6152 1116 68 0 6929 0 [pid=29949] vsize: 27988 Current children cumulated CPU time (s) 7.46 Current children cumulated vsize (Kb) 27988 [startup+20.004 s] Raw data (loadavg): 0.94 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 15046 0 0 0 1508 184 0 0 25 0 1 0 1795431321 64966656 14951 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 15861 14951 1116 68 0 15793 0 [pid=29949] vsize: 63444 Current children cumulated CPU time (s) 16.92 Current children cumulated vsize (Kb) 63444 [startup+30.0049 s] Raw data (loadavg): 0.95 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 22894 0 0 0 2420 226 0 0 25 0 1 0 1795431321 97239040 22789 4294967295 134512640 134736556 3221224560 3221223168 134524350 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29949/statm): 23740 22789 1116 68 0 23672 0 [pid=29949] vsize: 94960 Current children cumulated CPU time (s) 26.46 Current children cumulated vsize (Kb) 94960 [startup+40.0046 s] Raw data (loadavg): 0.96 0.98 0.99 1/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 30333 0 0 0 3334 267 0 0 25 0 1 0 1795431321 127651840 30221 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 31165 30221 1116 68 0 31097 0 [pid=29949] vsize: 124660 Current children cumulated CPU time (s) 36.01 Current children cumulated vsize (Kb) 124660 [startup+50.0054 s] Raw data (loadavg): 0.96 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 38259 0 0 0 4238 311 0 0 25 0 1 0 1795431321 160419840 38128 4294967295 134512640 134736556 3221224560 3221223096 1077377425 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 39165 38128 1116 68 0 39097 0 [pid=29949] vsize: 156660 Current children cumulated CPU time (s) 45.49 Current children cumulated vsize (Kb) 156660 [startup+60.0052 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 45990 0 0 0 5146 354 0 0 25 0 1 0 1795431321 192049152 45859 4294967295 134512640 134736556 3221224560 3221223116 134536254 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29949/statm): 46887 45859 1116 68 0 46819 0 [pid=29949] vsize: 187548 Current children cumulated CPU time (s) 55 Current children cumulated vsize (Kb) 187548 [startup+70.006 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 52673 0 0 0 6068 392 0 0 25 0 1 0 1795431321 219508736 52532 4294967295 134512640 134736556 3221224560 3221223184 134537363 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 53591 52532 1116 68 0 53523 0 [pid=29949] vsize: 214364 Current children cumulated CPU time (s) 64.6 Current children cumulated vsize (Kb) 214364 [startup+80.0068 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 58964 0 0 0 6993 428 0 0 25 0 1 0 1795431321 245329920 58820 4294967295 134512640 134736556 3221224560 3221223200 134537415 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 59895 58820 1116 68 0 59827 0 [pid=29949] vsize: 239580 Current children cumulated CPU time (s) 74.21 Current children cumulated vsize (Kb) 239580 [startup+90.0066 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 65034 0 0 0 7923 461 0 0 25 0 1 0 1795431321 270364672 64793 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 66007 64793 1116 68 0 65939 0 [pid=29949] vsize: 264028 Current children cumulated CPU time (s) 83.84 Current children cumulated vsize (Kb) 264028 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 71294 0 0 0 8848 497 0 0 25 0 1 0 1795431321 296030208 71043 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 72273 71043 1116 68 0 72205 0 [pid=29949] vsize: 289092 Current children cumulated CPU time (s) 93.45 Current children cumulated vsize (Kb) 289092 [startup+110.006 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 78122 0 0 0 9767 534 0 0 25 0 1 0 1795431321 323915776 77786 4294967295 134512640 134736556 3221224560 3221223220 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 79081 77786 1116 68 0 79013 0 [pid=29949] vsize: 316324 Current children cumulated CPU time (s) 103.01 Current children cumulated vsize (Kb) 316324 [startup+120.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 84395 0 0 0 10700 566 0 0 25 0 1 0 1795431321 349245440 83894 4294967295 134512640 134736556 3221224560 3221223244 134524324 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 85265 83894 1116 68 0 85197 0 [pid=29949] vsize: 341060 Current children cumulated CPU time (s) 112.66 Current children cumulated vsize (Kb) 341060 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 89852 0 0 0 11633 599 0 0 25 0 1 0 1795431321 371769344 89325 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 90764 89325 1116 68 0 90696 0 [pid=29949] vsize: 363056 Current children cumulated CPU time (s) 122.32 Current children cumulated vsize (Kb) 363056 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 95654 0 0 0 12569 629 0 0 25 0 1 0 1795431321 395137024 94963 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29949/statm): 96469 94963 1116 68 0 96401 0 [pid=29949] vsize: 385876 Current children cumulated CPU time (s) 131.98 Current children cumulated vsize (Kb) 385876 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 101612 0 0 0 13500 662 0 0 25 0 1 0 1795431321 419602432 100911 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 102442 100911 1116 68 0 102374 0 [pid=29949] vsize: 409768 Current children cumulated CPU time (s) 141.62 Current children cumulated vsize (Kb) 409768 [startup+160.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 107706 0 0 0 14426 697 0 0 25 0 1 0 1795431321 444342272 107004 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29949/statm): 108482 107004 1116 68 0 108414 0 [pid=29949] vsize: 433928 Current children cumulated CPU time (s) 151.23 Current children cumulated vsize (Kb) 433928 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 112701 0 0 0 15362 727 0 0 25 0 1 0 1795431321 464621568 111999 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 113433 111999 1116 68 0 113365 0 [pid=29949] vsize: 453732 Current children cumulated CPU time (s) 160.89 Current children cumulated vsize (Kb) 453732 [startup+180.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 118861 0 0 0 16293 759 0 0 25 0 1 0 1795431321 489549824 118077 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 119519 118077 1116 68 0 119451 0 [pid=29949] vsize: 478076 Current children cumulated CPU time (s) 170.52 Current children cumulated vsize (Kb) 478076 [startup+190.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 125298 0 0 0 17222 793 0 0 25 0 1 0 1795431321 515366912 124006 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 125822 124006 1116 68 0 125754 0 [pid=29949] vsize: 503288 Current children cumulated CPU time (s) 180.15 Current children cumulated vsize (Kb) 503288 [startup+200.008 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 132083 0 0 0 18144 829 0 0 25 0 1 0 1795431321 543113216 130785 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 132596 130785 1116 68 0 132528 0 [pid=29949] vsize: 530384 Current children cumulated CPU time (s) 189.73 Current children cumulated vsize (Kb) 530384 [startup+210.008 s] Raw data (loadavg): 1.07 1.00 1.00 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 139287 0 0 0 19058 868 0 0 25 0 1 0 1795431321 572518400 137980 4294967295 134512640 134736556 3221224560 3221223104 134551260 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29949/statm): 139775 137980 1116 68 0 139707 0 [pid=29949] vsize: 559100 Current children cumulated CPU time (s) 199.26 Current children cumulated vsize (Kb) 559100 [startup+220.009 s] Raw data (loadavg): 1.06 1.00 1.00 1/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 145926 0 0 0 19974 910 0 0 20 0 1 0 1795431321 599588864 144614 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 146384 144614 1116 68 0 146316 0 [pid=29949] vsize: 585536 Current children cumulated CPU time (s) 208.84 Current children cumulated vsize (Kb) 585536 [startup+230.009 s] Raw data (loadavg): 1.05 1.00 1.00 1/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 152203 0 0 0 20900 942 0 0 25 0 1 0 1795431321 625336320 150887 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 152670 150887 1116 68 0 152602 0 [pid=29949] vsize: 610680 Current children cumulated CPU time (s) 218.42 Current children cumulated vsize (Kb) 610680 [startup+240.008 s] Raw data (loadavg): 1.04 1.00 1.00 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 158370 0 0 0 21832 975 0 0 25 0 1 0 1795431321 650702848 157044 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 158863 157044 1116 68 0 158795 0 [pid=29949] vsize: 635452 Current children cumulated CPU time (s) 228.07 Current children cumulated vsize (Kb) 635452 [startup+250.009 s] Raw data (loadavg): 1.03 1.00 1.00 1/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 165117 0 0 0 22750 1012 0 0 23 0 1 0 1795431321 678408192 163782 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 165627 163782 1116 68 0 165559 0 [pid=29949] vsize: 662508 Current children cumulated CPU time (s) 237.62 Current children cumulated vsize (Kb) 662508 [startup+260.009 s] Raw data (loadavg): 1.03 1.00 1.00 1/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 171905 0 0 0 23669 1049 0 0 25 0 1 0 1795431321 706138112 170564 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 172397 170564 1116 68 0 172329 0 [pid=29949] vsize: 689588 Current children cumulated CPU time (s) 247.18 Current children cumulated vsize (Kb) 689588 [startup+270.01 s] Raw data (loadavg): 1.02 1.00 1.00 1/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 178244 0 0 0 24594 1085 0 0 25 0 1 0 1795431321 732176384 176890 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 178754 176890 1116 68 0 178686 0 [pid=29949] vsize: 715016 Current children cumulated CPU time (s) 256.79 Current children cumulated vsize (Kb) 715016 [startup+280.01 s] Raw data (loadavg): 1.02 1.00 1.00 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 184668 0 0 0 25523 1118 0 0 25 0 1 0 1795431321 758398976 183145 4294967295 134512640 134736556 3221224560 3221223160 134544625 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 185156 183145 1116 68 0 185088 0 [pid=29949] vsize: 740624 Current children cumulated CPU time (s) 266.41 Current children cumulated vsize (Kb) 740624 [startup+290.009 s] Raw data (loadavg): 1.02 1.00 1.00 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 190188 0 0 0 26456 1150 0 0 25 0 1 0 1795431321 781103104 188658 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 190699 188658 1116 68 0 190631 0 [pid=29949] vsize: 762796 Current children cumulated CPU time (s) 276.06 Current children cumulated vsize (Kb) 762796 [startup+300.01 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 195723 0 0 0 27391 1182 0 0 25 0 1 0 1795431321 803790848 194179 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 196238 194179 1116 68 0 196170 0 [pid=29949] vsize: 784952 Current children cumulated CPU time (s) 285.73 Current children cumulated vsize (Kb) 784952 [startup+310.01 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 201703 0 0 0 28325 1211 0 0 25 0 1 0 1795431321 828469248 200137 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 202263 200138 1116 68 0 202195 0 [pid=29949] vsize: 809052 Current children cumulated CPU time (s) 295.36 Current children cumulated vsize (Kb) 809052 [startup+320.011 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 207599 0 0 0 29251 1244 0 0 25 0 1 0 1795431321 852615168 206032 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 208158 206032 1116 68 0 208090 0 [pid=29949] vsize: 832632 Current children cumulated CPU time (s) 304.95 Current children cumulated vsize (Kb) 832632 [startup+330.012 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 213610 0 0 0 30182 1276 0 0 25 0 1 0 1795431321 877309952 212025 4294967295 134512640 134736556 3221224560 3221223084 134536687 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 214187 212025 1116 68 0 214119 0 [pid=29949] vsize: 856748 Current children cumulated CPU time (s) 314.58 Current children cumulated vsize (Kb) 856748 [startup+340.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 220335 0 0 0 31101 1311 0 0 25 0 1 0 1795431321 904851456 218745 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 220911 218745 1116 68 0 220843 0 [pid=29949] vsize: 883644 Current children cumulated CPU time (s) 324.12 Current children cumulated vsize (Kb) 883644 [startup+350.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) R 29948 29949 9854 0 -1 0 227239 0 0 0 32015 1349 0 0 25 0 1 0 1795431321 932974592 225633 4294967295 134512640 134736556 3221224560 3221223264 134529376 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29949/statm): 227777 225633 1116 68 0 227709 0 [pid=29949] vsize: 911108 Current children cumulated CPU time (s) 333.64 Current children cumulated vsize (Kb) 911108 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+356.098 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 29949 Raw data (/proc/29949/stat): 29949 (bsolo) T 29948 29949 9854 0 -1 0 229858 0 0 0 32593 1364 0 0 25 0 1 0 1795431321 943792128 228252 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29949/statm): 230418 228252 1116 68 0 230350 0 [pid=29949] vsize: 921672 Current children cumulated CPU time (s) 339.57 Current children cumulated vsize (Kb) 921672 Sending SIGTERM to -29949 Sleeping 2 seconds Sending SIGKILL to -29949 One traced child (pid=29949) 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): 358.52 CPU time (s): 339.992 CPU user time (s): 325.934 CPU system time (s): 14.0579 CPU usage (%): 94.8321 Max. virtual memory (cumulated for all children) (Kb): 921672
ERROR: no interpretation found !