Name | mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-blend.opb |
MD5SUM | 7713e9174526352f04e3c528ca3ecb01 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 440 |
Biggest coefficient in the objective function | 14050918400 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 198838131525 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 76598476800 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 770522270100 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1238.79 |
Number of variables | 1660 |
Total number of constraints | 74 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 74 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 520 |
LAUNCH ON wulflinc29 THE 2005-09-19 22:07:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=795 boxname=wulflinc29 idbench=795 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 7713e9174526352f04e3c528ca3ecb01 /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-blend.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-blend.opb IDLAUNCH: 795 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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 : 3 cpu MHz : 451.020 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: 905448 kB Buffers: 31636 kB Cached: 65608 kB SwapCached: 676 kB Active: 36852 kB Inactive: 62788 kB HighTotal: 131008 kB HighFree: 63308 kB LowTotal: 903652 kB LowFree: 842140 kB SwapTotal: 2097892 kB SwapFree: 2096528 kB Dirty: 56 kB Writeback: 0 kB Mapped: 5704 kB Slab: 23844 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 22:14:09 (client local time) WITH STATUS 0 IN 377.464 SECONDS stats: 795 7 377.464 0
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 1660 variables and 114 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.736 c After prepocess the problem consists of 932 variables and 108 constraints. c Initial Lower Bound: -17330038500 c Restart #1 #Var: 932 #Dec: 10790 LB: -17330038500 @ 1.563 c Restart #2 #Var: 932 #Dec: 34994 LB: -17330038500 @ 3.362 c Restart #3 #Var: 932 #Dec: 71178 LB: -17330038500 @ 6.125 c Restart #4 #Var: 932 #Dec: 118691 LB: -17330038500 @ 9.757 c Restart #5 #Var: 932 #Dec: 178669 LB: -17330038500 @ 14.344 c Restart #6 #Var: 932 #Dec: 242632 LB: -17330038500 @ 19.457 c Restart #7 #Var: 932 #Dec: 277339 LB: -17330038500 @ 23.272 c Restart #8 #Var: 932 #Dec: 279531 LB: -17330038500 @ 26.837 c Restart #9 #Var: 932 #Dec: 281395 LB: -17330038500 @ 30.961 c Restart #10 #Var: 932 #Dec: 284542 LB: -17330038500 @ 34.37 c Restart #11 #Var: 877 #Dec: 286777 LB: -16331433700 @ 40.299 c Restart #12 #Var: 877 #Dec: 289458 LB: -16331433700 @ 42.292 c Restart #13 #Var: 877 #Dec: 292097 LB: -16331433700 @ 43.449 c Restart #14 #Var: 877 #Dec: 294935 LB: -16331433700 @ 44.849 c Restart #15 #Var: 877 #Dec: 297975 LB: -16331433700 @ 46.364 c Restart #16 #Var: 877 #Dec: 301212 LB: -16331433700 @ 47.982 c Restart #17 #Var: 877 #Dec: 304643 LB: -16331433700 @ 50.127 c Restart #18 #Var: 877 #Dec: 308279 LB: -16331433700 @ 52.118 c Restart #19 #Var: 877 #Dec: 312116 LB: -16331433700 @ 54.485 c Restart #20 #Var: 877 #Dec: 316150 LB: -16331433700 @ 56.884 c Restart #21 #Var: 877 #Dec: 320385 LB: -16331433700 @ 59.957 c Restart #22 #Var: 877 #Dec: 324824 LB: -16331433700 @ 63.041 c Restart #23 #Var: 877 #Dec: 329458 LB: -16331433700 @ 66.541 c Restart #24 #Var: 877 #Dec: 334294 LB: -16331433700 @ 69.507 c Restart #25 #Var: 877 #Dec: 339327 LB: -16331433700 @ 73.214 c Restart #26 #Var: 877 #Dec: 344566 LB: -16331433700 @ 76.896 c Restart #27 #Var: 877 #Dec: 350002 LB: -16331433700 @ 80.884 c Restart #28 #Var: 877 #Dec: 355636 LB: -16331433700 @ 84.443 c Restart #29 #Var: 877 #Dec: 361474 LB: -16331433700 @ 88.939 c Restart #30 #Var: 877 #Dec: 367512 LB: -16331433700 @ 93.287 c Restart #31 #Var: 877 #Dec: 373746 LB: -16331433700 @ 98.319 c Restart #32 #Var: 877 #Dec: 380177 LB: -16331433700 @ 102.56 c Restart #33 #Var: 877 #Dec: 386810 LB: -16331433700 @ 107.68 c Restart #34 #Var: 877 #Dec: 393646 LB: -16331433700 @ 112.5 c Restart #35 #Var: 877 #Dec: 400683 LB: -16331433700 @ 118.67 c Restart #36 #Var: 877 #Dec: 407915 LB: -16331433700 @ 124.52 c Restart #37 #Var: 877 #Dec: 415354 LB: -16331433700 @ 130.44 c Restart #38 #Var: 877 #Dec: 422990 LB: -16331433700 @ 137.28 c Restart #39 #Var: 877 #Dec: 430823 LB: -16331433700 @ 142.32 c Restart #40 #Var: 877 #Dec: 438861 LB: -16331433700 @ 149.23 c Restart #41 #Var: 877 #Dec: 447094 LB: -16331433700 @ 155.59 c Restart #42 #Var: 877 #Dec: 455527 LB: -16331433700 @ 162.3 c Restart #43 #Var: 877 #Dec: 464166 LB: -16331433700 @ 169.61 c Restart #44 #Var: 877 #Dec: 473002 LB: -16331433700 @ 176.17 c Restart #45 #Var: 877 #Dec: 482038 LB: -16331433700 @ 184.98 c Restart #46 #Var: 877 #Dec: 491276 LB: -16331433700 @ 193.16 c Restart #47 #Var: 877 #Dec: 500712 LB: -16331433700 @ 200.92 c Restart #48 #Var: 877 #Dec: 510350 LB: -16331433700 @ 208.76 c Restart #49 #Var: 877 #Dec: 520183 LB: -16331433700 @ 218.32 c Restart #50 #Var: 877 #Dec: 530217 LB: -16331433700 @ 225.86 c Restart #51 #Var: 877 #Dec: 540451 LB: -16331433700 @ 235.58 c Restart #52 #Var: 877 #Dec: 550888 LB: -16331433700 @ 244.99 c Restart #53 #Var: 877 #Dec: 561521 LB: -16331433700 @ 256.13 c Restart #54 #Var: 877 #Dec: 572354 LB: -16331433700 @ 266.57 c Restart #55 #Var: 877 #Dec: 583390 LB: -16331433700 @ 277.51 c Restart #56 #Var: 877 #Dec: 594626 LB: -16331433700 @ 287.17 c Restart #57 #Var: 877 #Dec: 606058 LB: -16331433700 @ 298.17 c Restart #58 #Var: 877 #Dec: 617692 LB: -16331433700 @ 309.46 c Restart #59 #Var: 877 #Dec: 629527 LB: -16331433700 @ 321.62 c Restart #60 #Var: 877 #Dec: 641563 LB: -16331433700 @ 332.48 c Restart #61 #Var: 877 #Dec: 653800 LB: -16331433700 @ 344.97 c Restart #62 #Var: 877 #Dec: 666236 LB: -16331433700 @ 355.8 c Restart #63 #Var: 877 #Dec: 678868 LB: -16331433700 @ 369.28 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/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853361351 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 107 3 90 68 0 39 0 [pid=31817] 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/wulflinc29/normalized-mps-v2-13-7-blend.opb [startup+10.0043 s] Raw data (loadavg): 1.10 1.17 1.15 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 2680 0 0 0 631 123 0 0 18 0 1 0 1853361351 14147584 2591 4294967295 134512640 134736556 3221224560 3221223072 134543151 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 3454 2592 1116 68 0 3386 0 [pid=31817] vsize: 13816 Current children cumulated CPU time (s) 7.54 Current children cumulated vsize (Kb) 13816 [startup+20.0051 s] Raw data (loadavg): 1.08 1.17 1.15 1/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 3318 0 0 0 1242 252 0 0 18 0 1 0 1853361351 16715776 3229 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31817/statm): 4081 3229 1116 68 0 4013 0 [pid=31817] vsize: 16324 Current children cumulated CPU time (s) 14.94 Current children cumulated vsize (Kb) 16324 [startup+30.0059 s] Raw data (loadavg): 1.07 1.16 1.14 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 4111 0 0 0 1901 366 0 0 20 0 1 0 1853361351 19959808 4022 4294967295 134512640 134736556 3221224560 3221222928 134717411 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 4873 4022 1116 68 0 4805 0 [pid=31817] vsize: 19492 Current children cumulated CPU time (s) 22.67 Current children cumulated vsize (Kb) 19492 [startup+40.0057 s] Raw data (loadavg): 1.06 1.16 1.14 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 5811 0 0 0 2853 386 0 0 25 0 1 0 1853361351 27013120 5722 4294967295 134512640 134736556 3221224560 3221223232 134529208 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 6595 5722 1116 68 0 6527 0 [pid=31817] vsize: 26380 Current children cumulated CPU time (s) 32.39 Current children cumulated vsize (Kb) 26380 [startup+50.0064 s] Raw data (loadavg): 1.05 1.15 1.14 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 8323 0 0 0 3810 405 0 0 25 0 1 0 1853361351 37298176 8234 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31817/statm): 9106 8234 1116 68 0 9038 0 [pid=31817] vsize: 36424 Current children cumulated CPU time (s) 42.15 Current children cumulated vsize (Kb) 36424 [startup+60.0072 s] Raw data (loadavg): 1.04 1.15 1.14 1/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 18233 0 0 0 4690 460 0 0 25 0 1 0 1853361351 77955072 18138 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31817/statm): 19032 18138 1116 68 0 18964 0 [pid=31817] vsize: 76128 Current children cumulated CPU time (s) 51.5 Current children cumulated vsize (Kb) 76128 [startup+70.007 s] Raw data (loadavg): 1.04 1.14 1.14 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 26377 0 0 0 5594 506 0 0 25 0 1 0 1853361351 111550464 26266 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 27234 26266 1116 68 0 27166 0 [pid=31817] vsize: 108936 Current children cumulated CPU time (s) 61 Current children cumulated vsize (Kb) 108936 [startup+80.0078 s] Raw data (loadavg): 1.03 1.14 1.14 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 33775 0 0 0 6508 544 0 0 25 0 1 0 1853361351 142057472 33645 4294967295 134512640 134736556 3221224560 3221223184 134543852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 34682 33645 1116 68 0 34614 0 [pid=31817] vsize: 138728 Current children cumulated CPU time (s) 70.52 Current children cumulated vsize (Kb) 138728 [startup+90.0086 s] Raw data (loadavg): 1.02 1.13 1.13 1/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 41357 0 0 0 7420 584 0 0 25 0 1 0 1853361351 173068288 41224 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31817/statm): 42253 41224 1116 68 0 42185 0 [pid=31817] vsize: 169012 Current children cumulated CPU time (s) 80.04 Current children cumulated vsize (Kb) 169012 [startup+100.008 s] Raw data (loadavg): 1.02 1.13 1.13 1/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 48661 0 0 0 8339 621 0 0 25 0 1 0 1853361351 203071488 48518 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31817/statm): 49578 48518 1116 68 0 49510 0 [pid=31817] vsize: 198312 Current children cumulated CPU time (s) 89.6 Current children cumulated vsize (Kb) 198312 [startup+110.009 s] Raw data (loadavg): 1.02 1.12 1.13 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 55293 0 0 0 9262 655 0 0 25 0 1 0 1853361351 230346752 55141 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31817/statm): 56237 55141 1116 68 0 56169 0 [pid=31817] vsize: 224948 Current children cumulated CPU time (s) 99.17 Current children cumulated vsize (Kb) 224948 [startup+120.01 s] Raw data (loadavg): 1.01 1.12 1.13 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 62889 0 0 0 10175 699 0 0 25 0 1 0 1853361351 261455872 62564 4294967295 134512640 134736556 3221224560 3221223296 134529363 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 63832 62564 1116 68 0 63764 0 [pid=31817] vsize: 255328 Current children cumulated CPU time (s) 108.74 Current children cumulated vsize (Kb) 255328 [startup+130.011 s] Raw data (loadavg): 1.01 1.11 1.13 1/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 70062 0 0 0 11095 739 0 0 25 0 1 0 1853361351 290574336 69653 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31817/statm): 70941 69653 1116 68 0 70873 0 [pid=31817] vsize: 283764 Current children cumulated CPU time (s) 118.34 Current children cumulated vsize (Kb) 283764 [startup+140.01 s] Raw data (loadavg): 1.01 1.11 1.12 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 76203 0 0 0 12025 774 0 0 25 0 1 0 1853361351 315781120 75712 4294967295 134512640 134736556 3221224560 3221223200 134608252 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 77095 75712 1116 68 0 77027 0 [pid=31817] vsize: 308380 Current children cumulated CPU time (s) 127.99 Current children cumulated vsize (Kb) 308380 [startup+150.011 s] Raw data (loadavg): 1.01 1.10 1.12 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 82516 0 0 0 12946 810 0 0 25 0 1 0 1853361351 341372928 82017 4294967295 134512640 134736556 3221224560 3221223252 134528665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 83343 82017 1116 68 0 83275 0 [pid=31817] vsize: 333372 Current children cumulated CPU time (s) 137.56 Current children cumulated vsize (Kb) 333372 [startup+160.012 s] Raw data (loadavg): 1.01 1.10 1.12 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 90276 0 0 0 13858 851 0 0 25 0 1 0 1853361351 373157888 89767 4294967295 134512640 134736556 3221224560 3221223152 134551178 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 91103 89767 1116 68 0 91035 0 [pid=31817] vsize: 364412 Current children cumulated CPU time (s) 147.09 Current children cumulated vsize (Kb) 364412 [startup+170.012 s] Raw data (loadavg): 1.00 1.10 1.12 1/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 96401 0 0 0 14789 885 0 0 25 0 1 0 1853361351 397873152 95728 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31817/statm): 97137 95728 1116 68 0 97069 0 [pid=31817] vsize: 388548 Current children cumulated CPU time (s) 156.74 Current children cumulated vsize (Kb) 388548 [startup+180.013 s] Raw data (loadavg): 1.00 1.09 1.12 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 103392 0 0 0 15706 923 0 0 25 0 1 0 1853361351 426704896 102677 4294967295 134512640 134736556 3221224560 3221223376 134600526 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 104176 102677 1116 68 0 104108 0 [pid=31817] vsize: 416704 Current children cumulated CPU time (s) 166.29 Current children cumulated vsize (Kb) 416704 [startup+190.013 s] Raw data (loadavg): 1.00 1.09 1.11 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 110506 0 0 0 16624 962 0 0 25 0 1 0 1853361351 455507968 109627 4294967295 134512640 134736556 3221224560 3221223280 134529509 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 111208 109627 1116 68 0 111140 0 [pid=31817] vsize: 444832 Current children cumulated CPU time (s) 175.86 Current children cumulated vsize (Kb) 444832 [startup+200.013 s] Raw data (loadavg): 1.00 1.09 1.11 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 115634 0 0 0 17566 989 0 0 25 0 1 0 1853361351 476532736 114662 4294967295 134512640 134736556 3221224560 3221223252 134528665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 116341 114662 1116 68 0 116273 0 [pid=31817] vsize: 465364 Current children cumulated CPU time (s) 185.55 Current children cumulated vsize (Kb) 465364 [startup+210.014 s] Raw data (loadavg): 1.00 1.08 1.11 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 121687 0 0 0 18498 1022 0 0 25 0 1 0 1853361351 501174272 120714 4294967295 134512640 134736556 3221224560 3221223200 134608199 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 122357 120714 1116 68 0 122289 0 [pid=31817] vsize: 489428 Current children cumulated CPU time (s) 195.2 Current children cumulated vsize (Kb) 489428 [startup+220.015 s] Raw data (loadavg): 1.00 1.08 1.11 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 128238 0 0 0 19424 1057 0 0 25 0 1 0 1853361351 527937536 127265 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 128891 127265 1116 68 0 128823 0 [pid=31817] vsize: 515564 Current children cumulated CPU time (s) 204.81 Current children cumulated vsize (Kb) 515564 [startup+230.016 s] Raw data (loadavg): 1.00 1.08 1.11 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 134672 0 0 0 20349 1094 0 0 25 0 1 0 1853361351 554246144 133694 4294967295 134512640 134736556 3221224560 3221223024 134536168 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 135314 133694 1116 68 0 135246 0 [pid=31817] vsize: 541256 Current children cumulated CPU time (s) 214.43 Current children cumulated vsize (Kb) 541256 [startup+240.016 s] Raw data (loadavg): 1.00 1.07 1.10 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 140967 0 0 0 21274 1131 0 0 25 0 1 0 1853361351 579780608 139903 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31817/statm): 141548 139903 1116 68 0 141480 0 [pid=31817] vsize: 566192 Current children cumulated CPU time (s) 224.05 Current children cumulated vsize (Kb) 566192 [startup+250.016 s] Raw data (loadavg): 1.00 1.07 1.10 1/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 146950 0 0 0 22205 1166 0 0 25 0 1 0 1853361351 604368896 145886 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31817/statm): 147551 145886 1116 68 0 147483 0 [pid=31817] vsize: 590204 Current children cumulated CPU time (s) 233.71 Current children cumulated vsize (Kb) 590204 [startup+260.017 s] Raw data (loadavg): 1.00 1.07 1.10 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 152908 0 0 0 23136 1197 0 0 25 0 1 0 1853361351 628563968 151844 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 153458 151844 1116 68 0 153390 0 [pid=31817] vsize: 613832 Current children cumulated CPU time (s) 243.33 Current children cumulated vsize (Kb) 613832 [startup+270.017 s] Raw data (loadavg): 1.00 1.06 1.10 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 157949 0 0 0 24075 1226 0 0 25 0 1 0 1853361351 649150464 156638 4294967295 134512640 134736556 3221224560 3221223136 134551126 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 158484 156638 1116 68 0 158416 0 [pid=31817] vsize: 633936 Current children cumulated CPU time (s) 253.01 Current children cumulated vsize (Kb) 633936 [startup+280.017 s] Raw data (loadavg): 1.00 1.06 1.10 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 163585 0 0 0 25007 1258 0 0 25 0 1 0 1853361351 672124928 162257 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 164093 162257 1116 68 0 164025 0 [pid=31817] vsize: 656372 Current children cumulated CPU time (s) 262.65 Current children cumulated vsize (Kb) 656372 [startup+290.018 s] Raw data (loadavg): 1.00 1.06 1.09 1/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 169285 0 0 0 25939 1291 0 0 25 0 1 0 1853361351 695250944 167834 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31817/statm): 169739 167834 1116 68 0 169671 0 [pid=31817] vsize: 678956 Current children cumulated CPU time (s) 272.3 Current children cumulated vsize (Kb) 678956 [startup+300.018 s] Raw data (loadavg): 1.00 1.06 1.09 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 174782 0 0 0 26879 1318 0 0 25 0 1 0 1853361351 717615104 173249 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 175199 173249 1116 68 0 175131 0 [pid=31817] vsize: 700796 Current children cumulated CPU time (s) 281.97 Current children cumulated vsize (Kb) 700796 [startup+310.019 s] Raw data (loadavg): 1.00 1.05 1.09 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 180959 0 0 0 27808 1348 0 0 25 0 1 0 1853361351 742600704 179264 4294967295 134512640 134736556 3221224560 3221223280 134605860 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 181299 179264 1116 68 0 181231 0 [pid=31817] vsize: 725196 Current children cumulated CPU time (s) 291.56 Current children cumulated vsize (Kb) 725196 [startup+320.018 s] Raw data (loadavg): 1.00 1.05 1.09 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 186429 0 0 0 28744 1378 0 0 25 0 1 0 1853361351 764612608 184572 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 186673 184572 1116 68 0 186605 0 [pid=31817] vsize: 746692 Current children cumulated CPU time (s) 301.22 Current children cumulated vsize (Kb) 746692 [startup+330.019 s] Raw data (loadavg): 1.00 1.05 1.09 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 191502 0 0 0 29683 1405 0 0 25 0 1 0 1853361351 785158144 189645 4294967295 134512640 134736556 3221224560 3221223084 134536369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 191689 189645 1116 68 0 191621 0 [pid=31817] vsize: 766756 Current children cumulated CPU time (s) 310.88 Current children cumulated vsize (Kb) 766756 [startup+340.02 s] Raw data (loadavg): 1.00 1.05 1.09 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 197717 0 0 0 30604 1439 0 0 25 0 1 0 1853361351 810573824 195844 4294967295 134512640 134736556 3221224560 3221223152 134716127 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 197894 195844 1116 68 0 197826 0 [pid=31817] vsize: 791576 Current children cumulated CPU time (s) 320.43 Current children cumulated vsize (Kb) 791576 [startup+350.02 s] Raw data (loadavg): 1.00 1.05 1.09 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 203233 0 0 0 31536 1471 0 0 25 0 1 0 1853361351 833011712 201360 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 203372 201360 1116 68 0 203304 0 [pid=31817] vsize: 813488 Current children cumulated CPU time (s) 330.07 Current children cumulated vsize (Kb) 813488 [startup+360.021 s] Raw data (loadavg): 1.00 1.04 1.09 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 208612 0 0 0 32470 1500 0 0 25 0 1 0 1853361351 854839296 206737 4294967295 134512640 134736556 3221224560 3221223096 1077377584 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 208701 206737 1116 68 0 208633 0 [pid=31817] vsize: 834804 Current children cumulated CPU time (s) 339.7 Current children cumulated vsize (Kb) 834804 [startup+370.021 s] Raw data (loadavg): 1.00 1.04 1.08 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 214658 0 0 0 33404 1535 0 0 25 0 1 0 1853361351 878903296 212217 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31817/statm): 214576 212217 1116 68 0 214508 0 [pid=31817] vsize: 858304 Current children cumulated CPU time (s) 349.39 Current children cumulated vsize (Kb) 858304 [startup+380.021 s] Raw data (loadavg): 1.00 1.04 1.08 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 220204 0 0 0 34345 1559 0 0 25 0 1 0 1853361351 901521408 217597 4294967295 134512640 134736556 3221224560 3221223296 134529288 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 220098 217597 1116 68 0 220030 0 [pid=31817] vsize: 880392 Current children cumulated CPU time (s) 359.04 Current children cumulated vsize (Kb) 880392 [startup+390.022 s] Raw data (loadavg): 1.00 1.04 1.08 2/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) R 31816 31817 19818 0 -1 0 226099 0 0 0 35273 1593 0 0 25 0 1 0 1853361351 925446144 223492 4294967295 134512640 134736556 3221224560 3221223220 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 225939 223492 1116 68 0 225871 0 [pid=31817] vsize: 903756 Current children cumulated CPU time (s) 368.66 Current children cumulated vsize (Kb) 903756 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+398.712 s] Raw data (loadavg): 1.00 1.04 1.08 1/56 31817 Raw data (/proc/31817/stat): 31817 (bsolo) T 31816 31817 19818 0 -1 0 230608 0 0 0 36083 1621 0 0 25 0 1 0 1853361351 943828992 227952 4294967295 134512640 134736556 3221224560 3221222908 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31817/statm): 230427 227952 1116 68 0 230359 0 [pid=31817] vsize: 921708 Current children cumulated CPU time (s) 377.04 Current children cumulated vsize (Kb) 921708 Sending SIGTERM to -31817 Sleeping 2 seconds [startup+400.023 s] Raw data (loadavg): 0.92 1.02 1.08 1/57 31818 Raw data (/proc/31817/stat): 31817 (bsolo) S 31816 31817 19818 0 -1 0 230608 0 0 0 36083 1621 0 0 25 0 1 0 1853361351 943828992 227952 4294967295 134512640 134736556 3221224560 3221221880 1077867073 0 16384 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31817/statm): 230427 227952 1116 68 0 230359 0 [pid=31817] vsize: 921708 Current children cumulated CPU time (s) 377.04 Current children cumulated vsize (Kb) 921708 Sending SIGKILL to -31817 One traced child (pid=31817) 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): 401.138 CPU time (s): 377.464 CPU user time (s): 360.83 CPU system time (s): 16.6335 CPU usage (%): 94.0982 Max. virtual memory (cumulated for all children) (Kb): 921708
ERROR: no interpretation found !