Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb |
MD5SUM | d1b87efc35bcd73acfc5183bbe3df4f0 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2304 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 178464600 |
Number of bits of the sum of numbers in the objective function | 28 |
Biggest number in a constraint | 1048576 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 178464600 |
Number of bits of the biggest sum of numbers | 28 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 3288 |
Total number of constraints | 374 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 64 |
Number of constraints which are nor clauses,nor cardinality constraints | 310 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 123 |
LAUNCH ON wulflinc11 THE 2005-09-19 23:22:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=975 boxname=wulflinc11 idbench=975 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: d1b87efc35bcd73acfc5183bbe3df4f0 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-pp08aCUTS.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-pp08aCUTS.opb IDLAUNCH: 975 /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: 914424 kB Buffers: 7728 kB Cached: 86496 kB SwapCached: 840 kB Active: 19288 kB Inactive: 77420 kB HighTotal: 131008 kB HighFree: 41580 kB LowTotal: 903652 kB LowFree: 872844 kB SwapTotal: 2097136 kB SwapFree: 2095596 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5580 kB Slab: 17904 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 23:28:34 (client local time) WITH STATUS 0 IN 342.659 SECONDS stats: 975 7 342.659 0
c INFO: OSL Context initialized. c Initial problem consists of 3288 variables and 374 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 1.095 c After prepocess the problem consists of 3288 variables and 374 constraints. c Initial Lower Bound: 0 c Restart #1 #Var: 3288 #Dec: 18843 LB: 0 @ 2.063 c Restart #2 #Var: 3288 #Dec: 54136 LB: 0 @ 3.983 c Restart #3 #Var: 3288 #Dec: 93276 LB: 0 @ 6.399 c Restart #4 #Var: 3288 #Dec: 124727 LB: 0 @ 8.474 c Restart #5 #Var: 3288 #Dec: 158182 LB: 0 @ 10.796 c Restart #6 #Var: 3288 #Dec: 181768 LB: 0 @ 12.675 c Restart #7 #Var: 3288 #Dec: 183609 LB: 0 @ 13.408 c Restart #8 #Var: 3288 #Dec: 185255 LB: 0 @ 14.283 c Restart #9 #Var: 3288 #Dec: 187099 LB: 0 @ 15.274 c Restart #10 #Var: 3288 #Dec: 189146 LB: 0 @ 16.358 c Restart #11 #Var: 3288 #Dec: 191391 LB: 0 @ 17.593 c Restart #12 #Var: 3288 #Dec: 193835 LB: 0 @ 18.903 c Restart #13 #Var: 3288 #Dec: 196481 LB: 0 @ 20.36 c Restart #14 #Var: 3288 #Dec: 199327 LB: 0 @ 21.879 c Restart #15 #Var: 3288 #Dec: 202371 LB: 0 @ 23.553 c Restart #16 #Var: 3288 #Dec: 205615 LB: 0 @ 25.459 c Restart #17 #Var: 3288 #Dec: 209061 LB: 0 @ 27.332 c Restart #18 #Var: 3288 #Dec: 212708 LB: 0 @ 29.586 c Restart #19 #Var: 3288 #Dec: 216556 LB: 0 @ 31.962 c Restart #20 #Var: 3288 #Dec: 220600 LB: 0 @ 35.058 c Restart #21 #Var: 3288 #Dec: 224846 LB: 0 @ 37.488 c Restart #22 #Var: 3288 #Dec: 229290 LB: 0 @ 40.459 c Restart #23 #Var: 3288 #Dec: 233935 LB: 0 @ 43.19 c Restart #24 #Var: 3288 #Dec: 238780 LB: 0 @ 46.195 c Restart #25 #Var: 3288 #Dec: 243825 LB: 0 @ 49.419 c Restart #26 #Var: 3288 #Dec: 249072 LB: 0 @ 52.789 c Restart #27 #Var: 3288 #Dec: 254519 LB: 0 @ 55.958 c Restart #28 #Var: 3288 #Dec: 260165 LB: 0 @ 59.792 c Restart #29 #Var: 3288 #Dec: 266009 LB: 0 @ 63.186 c Restart #30 #Var: 3288 #Dec: 272053 LB: 0 @ 67.535 c Restart #31 #Var: 3288 #Dec: 278297 LB: 0 @ 71.42 c Restart #32 #Var: 3288 #Dec: 284741 LB: 0 @ 75.998 c Restart #33 #Var: 3288 #Dec: 291386 LB: 0 @ 80.297 c Restart #34 #Var: 3288 #Dec: 298233 LB: 0 @ 85.43 c Restart #35 #Var: 3288 #Dec: 305278 LB: 0 @ 90.208 c Restart #36 #Var: 3288 #Dec: 312527 LB: 0 @ 96.048 c Restart #37 #Var: 3288 #Dec: 319972 LB: 0 @ 101.54 c Restart #38 #Var: 3288 #Dec: 327614 LB: 0 @ 107.23 c Restart #39 #Var: 3288 #Dec: 335460 LB: 0 @ 113.34 c Restart #40 #Var: 3288 #Dec: 343501 LB: 0 @ 120.19 c Restart #41 #Var: 3288 #Dec: 351744 LB: 0 @ 126.45 c Restart #42 #Var: 3288 #Dec: 360186 LB: 0 @ 133.43 c Restart #43 #Var: 3288 #Dec: 368834 LB: 0 @ 140.09 c Restart #44 #Var: 3288 #Dec: 377679 LB: 0 @ 147.84 c Restart #45 #Var: 3288 #Dec: 386720 LB: 0 @ 154.2 c Restart #46 #Var: 3288 #Dec: 395963 LB: 0 @ 162.11 c Restart #47 #Var: 3288 #Dec: 405410 LB: 0 @ 169.54 c Restart #48 #Var: 3288 #Dec: 415051 LB: 0 @ 178.29 c Restart #49 #Var: 3288 #Dec: 424899 LB: 0 @ 186.72 c Restart #50 #Var: 3288 #Dec: 434946 LB: 0 @ 195.64 c Restart #51 #Var: 3288 #Dec: 445189 LB: 0 @ 203.8 c Restart #52 #Var: 3288 #Dec: 455632 LB: 0 @ 213.73 c Restart #53 #Var: 3288 #Dec: 466278 LB: 0 @ 221.48 c Restart #54 #Var: 3288 #Dec: 477120 LB: 0 @ 231.53 c Restart #55 #Var: 3288 #Dec: 488163 LB: 0 @ 239.89 c Restart #56 #Var: 3288 #Dec: 499409 LB: 0 @ 250.14 c Restart #57 #Var: 3288 #Dec: 510851 LB: 0 @ 259.89 c Restart #58 #Var: 3288 #Dec: 522497 LB: 0 @ 269.79 c Restart #59 #Var: 3288 #Dec: 534340 LB: 0 @ 280.38 c Restart #60 #Var: 3288 #Dec: 546385 LB: 0 @ 290.31 c Restart #61 #Var: 3288 #Dec: 558629 LB: 0 @ 302.62 c Restart #62 #Var: 3288 #Dec: 571073 LB: 0 @ 313.54 c Restart #63 #Var: 3288 #Dec: 583718 LB: 0 @ 325.62 c Restart #64 #Var: 3288 #Dec: 596563 LB: 0 @ 337.57 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/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1795590950 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30166/statm): 107 3 90 68 0 39 0 [pid=30166] 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-pp08aCUTS.opb [startup+10.003 s] Raw data (loadavg): 0.93 0.98 0.99 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 4707 0 0 0 570 144 0 0 16 0 1 0 1795590950 22372352 4618 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30166/statm): 5462 4618 1116 68 0 5394 0 [pid=30166] vsize: 21848 Current children cumulated CPU time (s) 7.14 Current children cumulated vsize (Kb) 21848 [startup+20.0028 s] Raw data (loadavg): 0.94 0.98 0.99 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 8555 0 0 0 1244 259 0 0 17 0 1 0 1795590950 38211584 8465 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 9329 8465 1116 68 0 9261 0 [pid=30166] vsize: 37316 Current children cumulated CPU time (s) 15.03 Current children cumulated vsize (Kb) 37316 [startup+30.0036 s] Raw data (loadavg): 0.95 0.98 0.99 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 17581 0 0 0 2131 314 0 0 17 0 1 0 1795590950 75202560 17489 4294967295 134512640 134736556 3221224560 3221223140 134716328 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30166/statm): 18360 17489 1116 68 0 18292 0 [pid=30166] vsize: 73440 Current children cumulated CPU time (s) 24.45 Current children cumulated vsize (Kb) 73440 [startup+40.0044 s] Raw data (loadavg): 0.96 0.98 0.99 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 25673 0 0 0 3036 359 0 0 18 0 1 0 1795590950 108560384 25568 4294967295 134512640 134736556 3221224560 3221223152 134550928 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30166/statm): 26504 25568 1116 68 0 26436 0 [pid=30166] vsize: 106016 Current children cumulated CPU time (s) 33.95 Current children cumulated vsize (Kb) 106016 [startup+50.0052 s] Raw data (loadavg): 0.96 0.98 0.99 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 33486 0 0 0 3945 405 0 0 18 0 1 0 1795590950 140685312 33377 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 34347 33377 1116 68 0 34279 0 [pid=30166] vsize: 137388 Current children cumulated CPU time (s) 43.5 Current children cumulated vsize (Kb) 137388 [startup+60.006 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 41419 0 0 0 4855 448 0 0 18 0 1 0 1795590950 173506560 41278 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30166/statm): 42360 41278 1116 68 0 42292 0 [pid=30166] vsize: 169440 Current children cumulated CPU time (s) 53.03 Current children cumulated vsize (Kb) 169440 [startup+70.0067 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 49818 0 0 0 5755 496 0 0 18 0 1 0 1795590950 208019456 49669 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 50786 49669 1116 68 0 50718 0 [pid=30166] vsize: 203144 Current children cumulated CPU time (s) 62.51 Current children cumulated vsize (Kb) 203144 [startup+80.0075 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 57071 0 0 0 6669 537 0 0 18 0 1 0 1795590950 237875200 56910 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 58075 56910 1116 68 0 58007 0 [pid=30166] vsize: 232300 Current children cumulated CPU time (s) 72.06 Current children cumulated vsize (Kb) 232300 [startup+90.0073 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 64524 0 0 0 7575 581 0 0 18 0 1 0 1795590950 268214272 64360 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30166/statm): 65482 64360 1116 68 0 65414 0 [pid=30166] vsize: 261928 Current children cumulated CPU time (s) 81.56 Current children cumulated vsize (Kb) 261928 [startup+100.008 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 71663 0 0 0 8492 622 0 0 19 0 1 0 1795590950 297545728 71315 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 72643 71315 1116 68 0 72575 0 [pid=30166] vsize: 290572 Current children cumulated CPU time (s) 91.14 Current children cumulated vsize (Kb) 290572 [startup+110.009 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 78610 0 0 0 9412 660 0 0 19 0 1 0 1795590950 326057984 78260 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30166/statm): 79604 78260 1116 68 0 79536 0 [pid=30166] vsize: 318416 Current children cumulated CPU time (s) 100.72 Current children cumulated vsize (Kb) 318416 [startup+120.009 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 85214 0 0 0 10337 693 0 0 17 0 1 0 1795590950 352743424 84782 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 86119 84782 1116 68 0 86051 0 [pid=30166] vsize: 344476 Current children cumulated CPU time (s) 110.3 Current children cumulated vsize (Kb) 344476 [startup+130.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 91547 0 0 0 11265 727 0 0 20 0 1 0 1795590950 379097088 91103 4294967295 134512640 134736556 3221224560 3221223232 134536462 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30166/statm): 92553 91103 1116 68 0 92485 0 [pid=30166] vsize: 370212 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 370212 [startup+140.01 s] Raw data (loadavg): 1.07 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 97863 0 0 0 12191 766 0 0 25 0 1 0 1795590950 404701184 97337 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 98804 97337 1116 68 0 98736 0 [pid=30166] vsize: 395216 Current children cumulated CPU time (s) 129.57 Current children cumulated vsize (Kb) 395216 [startup+150.011 s] Raw data (loadavg): 1.06 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 104764 0 0 0 13110 805 0 0 25 0 1 0 1795590950 432803840 104149 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/30166/statm): 105665 104149 1116 68 0 105597 0 [pid=30166] vsize: 422660 Current children cumulated CPU time (s) 139.15 Current children cumulated vsize (Kb) 422660 [startup+160.012 s] Raw data (loadavg): 1.05 1.00 1.00 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 110205 0 0 0 14045 835 0 0 25 0 1 0 1795590950 454889472 109497 4294967295 134512640 134736556 3221224560 3221223120 134550928 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30166/statm): 111057 109497 1116 68 0 110989 0 [pid=30166] vsize: 444228 Current children cumulated CPU time (s) 148.8 Current children cumulated vsize (Kb) 444228 [startup+170.012 s] Raw data (loadavg): 1.04 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 117356 0 0 0 14960 875 0 0 19 0 1 0 1795590950 484155392 116642 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 118202 116642 1116 68 0 118134 0 [pid=30166] vsize: 472808 Current children cumulated CPU time (s) 158.35 Current children cumulated vsize (Kb) 472808 [startup+180.012 s] Raw data (loadavg): 1.03 1.00 1.00 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 123852 0 0 0 15887 910 0 0 25 0 1 0 1795590950 510570496 123056 4294967295 134512640 134736556 3221224560 3221223276 134694485 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30166/statm): 124651 123057 1116 68 0 124583 0 [pid=30166] vsize: 498604 Current children cumulated CPU time (s) 167.97 Current children cumulated vsize (Kb) 498604 [startup+190.012 s] Raw data (loadavg): 1.03 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 129611 0 0 0 16817 940 0 0 17 0 1 0 1795590950 533954560 128815 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 130360 128815 1116 68 0 130292 0 [pid=30166] vsize: 521440 Current children cumulated CPU time (s) 177.57 Current children cumulated vsize (Kb) 521440 [startup+200.013 s] Raw data (loadavg): 1.02 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 135257 0 0 0 17749 976 0 0 21 0 1 0 1795590950 556630016 134202 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 135896 134202 1116 68 0 135828 0 [pid=30166] vsize: 543584 Current children cumulated CPU time (s) 187.25 Current children cumulated vsize (Kb) 543584 [startup+210.014 s] Raw data (loadavg): 1.02 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 141398 0 0 0 18684 1008 0 0 25 0 1 0 1795590950 581136384 139936 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 141879 139936 1116 68 0 141811 0 [pid=30166] vsize: 567516 Current children cumulated CPU time (s) 196.92 Current children cumulated vsize (Kb) 567516 [startup+220.014 s] Raw data (loadavg): 1.02 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 147551 0 0 0 19613 1041 0 0 25 0 1 0 1795590950 606347264 146086 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 148034 146086 1116 68 0 147966 0 [pid=30166] vsize: 592136 Current children cumulated CPU time (s) 206.54 Current children cumulated vsize (Kb) 592136 [startup+230.013 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 153538 0 0 0 20543 1073 0 0 25 0 1 0 1795590950 630706176 152068 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30166/statm): 153981 152068 1116 68 0 153913 0 [pid=30166] vsize: 615924 Current children cumulated CPU time (s) 216.16 Current children cumulated vsize (Kb) 615924 [startup+240.013 s] Raw data (loadavg): 1.01 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 159842 0 0 0 21463 1113 0 0 20 0 1 0 1795590950 656265216 158372 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 160221 158372 1116 68 0 160153 0 [pid=30166] vsize: 640884 Current children cumulated CPU time (s) 225.76 Current children cumulated vsize (Kb) 640884 [startup+250.014 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 165843 0 0 0 22389 1146 0 0 25 0 1 0 1795590950 680718336 164366 4294967295 134512640 134736556 3221224560 3221223024 134536168 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30166/statm): 166191 164366 1116 68 0 166123 0 [pid=30166] vsize: 664764 Current children cumulated CPU time (s) 235.35 Current children cumulated vsize (Kb) 664764 [startup+260.014 s] Raw data (loadavg): 1.01 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 171798 0 0 0 23313 1184 0 0 25 0 1 0 1795590950 705183744 170311 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 172164 170311 1116 68 0 172096 0 [pid=30166] vsize: 688656 Current children cumulated CPU time (s) 244.97 Current children cumulated vsize (Kb) 688656 [startup+270.014 s] Raw data (loadavg): 1.01 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 177856 0 0 0 24240 1218 0 0 25 0 1 0 1795590950 729493504 176205 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 178099 176205 1116 68 0 178031 0 [pid=30166] vsize: 712396 Current children cumulated CPU time (s) 254.58 Current children cumulated vsize (Kb) 712396 [startup+280.014 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 184001 0 0 0 25168 1254 0 0 25 0 1 0 1795590950 754479104 182188 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 184199 182188 1116 68 0 184131 0 [pid=30166] vsize: 736796 Current children cumulated CPU time (s) 264.22 Current children cumulated vsize (Kb) 736796 [startup+290.014 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 189747 0 0 0 26102 1285 0 0 25 0 1 0 1795590950 777793536 187933 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 189891 187933 1116 68 0 189823 0 [pid=30166] vsize: 759564 Current children cumulated CPU time (s) 273.87 Current children cumulated vsize (Kb) 759564 [startup+300.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 195877 0 0 0 27033 1316 0 0 25 0 1 0 1795590950 802512896 193901 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30166/statm): 195926 193901 1116 68 0 195858 0 [pid=30166] vsize: 783704 Current children cumulated CPU time (s) 283.49 Current children cumulated vsize (Kb) 783704 [startup+310.015 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 201693 0 0 0 27967 1349 0 0 21 0 1 0 1795590950 826015744 199555 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 201664 199555 1116 68 0 201596 0 [pid=30166] vsize: 806656 Current children cumulated CPU time (s) 293.16 Current children cumulated vsize (Kb) 806656 [startup+320.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 207501 0 0 0 28902 1382 0 0 20 0 1 0 1795590950 849580032 205195 4294967295 134512640 134736556 3221224560 3221223196 134554100 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30166/statm): 207417 205195 1116 68 0 207349 0 [pid=30166] vsize: 829668 Current children cumulated CPU time (s) 302.84 Current children cumulated vsize (Kb) 829668 [startup+330.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 213946 0 0 0 29821 1419 0 0 17 0 1 0 1795590950 875806720 211640 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 213820 211640 1116 68 0 213752 0 [pid=30166] vsize: 855280 Current children cumulated CPU time (s) 312.4 Current children cumulated vsize (Kb) 855280 [startup+340.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 219266 0 0 0 30759 1448 0 0 25 0 1 0 1795590950 897343488 216791 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30166/statm): 219078 216791 1116 68 0 219010 0 [pid=30166] vsize: 876312 Current children cumulated CPU time (s) 322.07 Current children cumulated vsize (Kb) 876312 [startup+350.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 224621 0 0 0 31697 1475 0 0 18 0 1 0 1795590950 918814720 221984 4294967295 134512640 134736556 3221224560 3221223336 134560348 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30166/statm): 224320 221984 1116 68 0 224252 0 [pid=30166] vsize: 897280 Current children cumulated CPU time (s) 331.72 Current children cumulated vsize (Kb) 897280 [startup+360.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) R 30165 30166 9854 0 -1 0 230000 0 0 0 32633 1507 0 0 25 0 1 0 1795590950 940441600 227363 4294967295 134512640 134736556 3221224560 3221223240 134553973 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30166/statm): 229600 227363 1116 68 0 229532 0 [pid=30166] vsize: 918400 Current children cumulated CPU time (s) 341.4 Current children cumulated vsize (Kb) 918400 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+360.901 s] Raw data (loadavg): 1.08 1.02 1.01 1/56 30166 Raw data (/proc/30166/stat): 30166 (bsolo) T 30165 30166 9854 0 -1 0 230795 0 0 0 32711 1512 0 0 25 0 1 0 1795590950 943820800 227793 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30166/statm): 230425 227793 1116 68 0 230357 0 [pid=30166] vsize: 921700 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (Kb) 921700 Sending SIGTERM to -30166 Sleeping 2 seconds Sending SIGKILL to -30166 One traced child (pid=30166) 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): 363.326 CPU time (s): 342.659 CPU user time (s): 327.118 CPU system time (s): 15.5406 CPU usage (%): 94.3117 Max. virtual memory (cumulated for all children) (Kb): 921700
ERROR: no interpretation found !