Name | mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb |
MD5SUM | d14265fdf4e5a3ef733af1f15b884cbe |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6661373 |
Optimality of the best value was proved | NO |
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 | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.02 |
Number of variables | 3584 |
Total number of constraints | 136 |
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 | 136 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 160 |
LAUNCH ON wulflinc24 THE 2005-09-19 23:57:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1041 boxname=wulflinc24 idbench=1041 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: d14265fdf4e5a3ef733af1f15b884cbe /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-pp08a.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-pp08a.opb IDLAUNCH: 1041 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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: 875100 kB Buffers: 37948 kB Cached: 92012 kB SwapCached: 736 kB Active: 70840 kB Inactive: 61712 kB HighTotal: 131008 kB HighFree: 35336 kB LowTotal: 903652 kB LowFree: 839764 kB SwapTotal: 2097892 kB SwapFree: 2096652 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5736 kB Slab: 21264 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 00:03:28 (client local time) WITH STATUS 0 IN 330.374 SECONDS stats: 1041 7 330.374 0
c INFO: OSL Context initialized. c Initial problem consists of 3584 variables and 200 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 1.884 c After prepocess the problem consists of 3288 variables and 200 constraints. c Initial Lower Bound: 0 c Restart #1 #Var: 3288 #Dec: 13895 LB: 0 @ 2.608 c Restart #2 #Var: 3288 #Dec: 45585 LB: 0 @ 4.175 c Restart #3 #Var: 3288 #Dec: 82854 LB: 0 @ 6.129 c Restart #4 #Var: 3288 #Dec: 118979 LB: 0 @ 8.183 c Restart #5 #Var: 3288 #Dec: 151318 LB: 0 @ 10.136 c Restart #6 #Var: 3288 #Dec: 174057 LB: 0 @ 11.755 c Restart #7 #Var: 3288 #Dec: 191044 LB: 0 @ 13.22 c Restart #8 #Var: 3288 #Dec: 192689 LB: 0 @ 14.029 c Restart #9 #Var: 3288 #Dec: 194536 LB: 0 @ 14.991 c Restart #10 #Var: 3288 #Dec: 196586 LB: 0 @ 16.186 c Restart #11 #Var: 3288 #Dec: 198833 LB: 0 @ 17.368 c Restart #12 #Var: 3288 #Dec: 201276 LB: 0 @ 18.747 c Restart #13 #Var: 3288 #Dec: 203919 LB: 0 @ 20.087 c Restart #14 #Var: 3288 #Dec: 206767 LB: 0 @ 21.788 c Restart #15 #Var: 3288 #Dec: 209810 LB: 0 @ 23.462 c Restart #16 #Var: 3288 #Dec: 213058 LB: 0 @ 25.4 c Restart #17 #Var: 3288 #Dec: 216506 LB: 0 @ 27.54 c Restart #18 #Var: 3288 #Dec: 220151 LB: 0 @ 29.723 c Restart #19 #Var: 3288 #Dec: 223996 LB: 0 @ 32.611 c Restart #20 #Var: 3288 #Dec: 228039 LB: 0 @ 35.802 c Restart #21 #Var: 3288 #Dec: 232282 LB: 0 @ 38.512 c Restart #22 #Var: 3288 #Dec: 236727 LB: 0 @ 41.585 c Restart #23 #Var: 3288 #Dec: 241370 LB: 0 @ 44.34 c Restart #24 #Var: 3288 #Dec: 246216 LB: 0 @ 47.819 c Restart #25 #Var: 3288 #Dec: 251261 LB: 0 @ 50.925 c Restart #26 #Var: 3288 #Dec: 256507 LB: 0 @ 54.359 c Restart #27 #Var: 3288 #Dec: 261949 LB: 0 @ 57.65 c Restart #28 #Var: 3288 #Dec: 267594 LB: 0 @ 61.702 c Restart #29 #Var: 3288 #Dec: 273441 LB: 0 @ 65.758 c Restart #30 #Var: 3288 #Dec: 279485 LB: 0 @ 70.148 c Restart #31 #Var: 3288 #Dec: 285730 LB: 0 @ 74.216 c Restart #32 #Var: 3288 #Dec: 292179 LB: 0 @ 79.08 c Restart #33 #Var: 3288 #Dec: 298822 LB: 0 @ 83.57 c Restart #34 #Var: 3288 #Dec: 305667 LB: 0 @ 88.487 c Restart #35 #Var: 3288 #Dec: 312713 LB: 0 @ 93.802 c Restart #36 #Var: 3288 #Dec: 319958 LB: 0 @ 99.563 c Restart #37 #Var: 3288 #Dec: 327401 LB: 0 @ 105.52 c Restart #38 #Var: 3288 #Dec: 335042 LB: 0 @ 111.65 c Restart #39 #Var: 3288 #Dec: 342886 LB: 0 @ 118.42 c Restart #40 #Var: 3288 #Dec: 350929 LB: 0 @ 124.68 c Restart #41 #Var: 3288 #Dec: 359176 LB: 0 @ 131.51 c Restart #42 #Var: 3288 #Dec: 367619 LB: 0 @ 139.04 c Restart #43 #Var: 3288 #Dec: 376264 LB: 0 @ 146.1 c Restart #44 #Var: 3288 #Dec: 385111 LB: 0 @ 153.65 c Restart #45 #Var: 3288 #Dec: 394158 LB: 0 @ 160.65 c Restart #46 #Var: 3288 #Dec: 403401 LB: 0 @ 168.31 c Restart #47 #Var: 3288 #Dec: 412845 LB: 0 @ 174.91 c Restart #48 #Var: 3288 #Dec: 422494 LB: 0 @ 183.17 c Restart #49 #Var: 3288 #Dec: 432340 LB: 0 @ 192.04 c Restart #50 #Var: 3288 #Dec: 442385 LB: 0 @ 200.69 c Restart #51 #Var: 3288 #Dec: 452629 LB: 0 @ 209.78 c Restart #52 #Var: 3288 #Dec: 463075 LB: 0 @ 218.46 c Restart #53 #Var: 3288 #Dec: 473717 LB: 0 @ 228.53 c Restart #54 #Var: 3288 #Dec: 484563 LB: 0 @ 239.12 c Restart #55 #Var: 3288 #Dec: 495610 LB: 0 @ 248.88 c Restart #56 #Var: 3288 #Dec: 506855 LB: 0 @ 258.22 c Restart #57 #Var: 3288 #Dec: 518297 LB: 0 @ 268.36 c Restart #58 #Var: 3288 #Dec: 529940 LB: 0 @ 277.86 c Restart #59 #Var: 3288 #Dec: 541782 LB: 0 @ 288.37 c Restart #60 #Var: 3288 #Dec: 553826 LB: 0 @ 297.78 c Restart #61 #Var: 3288 #Dec: 566068 LB: 0 @ 310.49 c Restart #62 #Var: 3288 #Dec: 578516 LB: 0 @ 320.93 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/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1854033493 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 107 3 90 68 0 39 0 [pid=4526] 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/wulflinc24/normalized-mps-v2-13-7-pp08a.opb [startup+10.0033 s] Raw data (loadavg): 0.93 0.98 0.98 1/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 4779 0 0 0 580 144 0 0 17 0 1 0 1854033493 22765568 4690 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4526/statm): 5558 4690 1116 68 0 5490 0 [pid=4526] vsize: 22232 Current children cumulated CPU time (s) 7.24 Current children cumulated vsize (Kb) 22232 [startup+20.004 s] Raw data (loadavg): 0.94 0.98 0.98 1/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 9006 0 0 0 1214 278 0 0 18 0 1 0 1854033493 40071168 8917 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4526/statm): 9783 8917 1116 68 0 9715 0 [pid=4526] vsize: 39132 Current children cumulated CPU time (s) 14.92 Current children cumulated vsize (Kb) 39132 [startup+30.0047 s] Raw data (loadavg): 0.95 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 18290 0 0 0 2104 327 0 0 25 0 1 0 1854033493 78196736 18196 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 19091 18196 1116 68 0 19023 0 [pid=4526] vsize: 76364 Current children cumulated CPU time (s) 24.31 Current children cumulated vsize (Kb) 76364 [startup+40.0044 s] Raw data (loadavg): 0.96 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 26223 0 0 0 3015 372 0 0 25 0 1 0 1854033493 110821376 26115 4294967295 134512640 134736556 3221224560 3221223136 134716385 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 27056 26115 1116 68 0 26988 0 [pid=4526] vsize: 108224 Current children cumulated CPU time (s) 33.87 Current children cumulated vsize (Kb) 108224 [startup+50.0061 s] Raw data (loadavg): 0.96 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 34159 0 0 0 3927 415 0 0 25 0 1 0 1854033493 143339520 34044 4294967295 134512640 134736556 3221224560 3221223268 134560272 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 34995 34044 1116 68 0 34927 0 [pid=4526] vsize: 139980 Current children cumulated CPU time (s) 43.42 Current children cumulated vsize (Kb) 139980 [startup+60.0058 s] Raw data (loadavg): 0.97 0.98 0.98 1/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 42285 0 0 0 4830 461 0 0 25 0 1 0 1854033493 176943104 42144 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4526/statm): 43199 42144 1116 68 0 43131 0 [pid=4526] vsize: 172796 Current children cumulated CPU time (s) 52.91 Current children cumulated vsize (Kb) 172796 [startup+70.0065 s] Raw data (loadavg): 0.97 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 50128 0 0 0 5737 505 0 0 25 0 1 0 1854033493 209063936 49980 4294967295 134512640 134736556 3221224560 3221223216 134537350 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 51041 49980 1116 68 0 50973 0 [pid=4526] vsize: 204164 Current children cumulated CPU time (s) 62.42 Current children cumulated vsize (Kb) 204164 [startup+80.0072 s] Raw data (loadavg): 0.98 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 57632 0 0 0 6649 547 0 0 25 0 1 0 1854033493 239771648 57481 4294967295 134512640 134736556 3221224560 3221223232 134524348 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 58538 57481 1116 68 0 58470 0 [pid=4526] vsize: 234152 Current children cumulated CPU time (s) 71.96 Current children cumulated vsize (Kb) 234152 [startup+90.0069 s] Raw data (loadavg): 0.98 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 65488 0 0 0 7562 589 0 0 25 0 1 0 1854033493 271982592 65328 4294967295 134512640 134736556 3221224560 3221223120 134551068 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 66402 65328 1116 68 0 66334 0 [pid=4526] vsize: 265608 Current children cumulated CPU time (s) 81.51 Current children cumulated vsize (Kb) 265608 [startup+100.008 s] Raw data (loadavg): 0.98 0.98 0.98 1/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 72843 0 0 0 8481 629 0 0 25 0 1 0 1854033493 302350336 72666 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4526/statm): 73816 72666 1116 68 0 73748 0 [pid=4526] vsize: 295264 Current children cumulated CPU time (s) 91.1 Current children cumulated vsize (Kb) 295264 [startup+110.008 s] Raw data (loadavg): 0.98 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 79543 0 0 0 9403 666 0 0 25 0 1 0 1854033493 329711616 79188 4294967295 134512640 134736556 3221224560 3221223164 134537548 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 80496 79188 1116 68 0 80428 0 [pid=4526] vsize: 321984 Current children cumulated CPU time (s) 100.69 Current children cumulated vsize (Kb) 321984 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 86785 0 0 0 10324 705 0 0 25 0 1 0 1854033493 359243776 86426 4294967295 134512640 134736556 3221224560 3221223120 134551002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 87706 86426 1116 68 0 87638 0 [pid=4526] vsize: 350824 Current children cumulated CPU time (s) 110.29 Current children cumulated vsize (Kb) 350824 [startup+130.009 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 92639 0 0 0 11253 738 0 0 25 0 1 0 1854033493 383217664 92272 4294967295 134512640 134736556 3221224560 3221223200 134543716 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 93559 92272 1116 68 0 93491 0 [pid=4526] vsize: 374236 Current children cumulated CPU time (s) 119.91 Current children cumulated vsize (Kb) 374236 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 99713 0 0 0 12167 780 0 0 25 0 1 0 1854033493 411934720 99264 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 100570 99264 1116 68 0 100502 0 [pid=4526] vsize: 402280 Current children cumulated CPU time (s) 129.47 Current children cumulated vsize (Kb) 402280 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 106011 0 0 0 13093 813 0 0 25 0 1 0 1854033493 437362688 105397 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 106778 105397 1116 68 0 106710 0 [pid=4526] vsize: 427112 Current children cumulated CPU time (s) 139.06 Current children cumulated vsize (Kb) 427112 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 112241 0 0 0 14019 846 0 0 25 0 1 0 1854033493 462852096 111620 4294967295 134512640 134736556 3221224560 3221223120 134551217 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 113001 111620 1116 68 0 112933 0 [pid=4526] vsize: 452004 Current children cumulated CPU time (s) 148.65 Current children cumulated vsize (Kb) 452004 [startup+170.009 s] Raw data (loadavg): 0.99 0.98 0.98 1/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 119201 0 0 0 14937 886 0 0 25 0 1 0 1854033493 491069440 118494 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4526/statm): 119890 118494 1116 68 0 119822 0 [pid=4526] vsize: 479560 Current children cumulated CPU time (s) 158.23 Current children cumulated vsize (Kb) 479560 [startup+180.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 126323 0 0 0 15858 924 0 0 25 0 1 0 1854033493 520138752 125440 4294967295 134512640 134736556 3221224560 3221223280 134529164 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 126987 125440 1116 68 0 126919 0 [pid=4526] vsize: 507948 Current children cumulated CPU time (s) 167.82 Current children cumulated vsize (Kb) 507948 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 132759 0 0 0 16782 961 0 0 25 0 1 0 1854033493 546500608 131876 4294967295 134512640 134736556 3221224560 3221223152 134716353 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 133423 131876 1116 68 0 133355 0 [pid=4526] vsize: 533692 Current children cumulated CPU time (s) 177.43 Current children cumulated vsize (Kb) 533692 [startup+200.011 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 139198 0 0 0 17707 995 0 0 17 0 1 0 1854033493 572788736 138315 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 139841 138315 1116 68 0 139773 0 [pid=4526] vsize: 559364 Current children cumulated CPU time (s) 187.02 Current children cumulated vsize (Kb) 559364 [startup+210.01 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 146307 0 0 0 18629 1033 0 0 25 0 1 0 1854033493 601423872 145005 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 146832 145005 1116 68 0 146764 0 [pid=4526] vsize: 587328 Current children cumulated CPU time (s) 196.62 Current children cumulated vsize (Kb) 587328 [startup+220.011 s] Raw data (loadavg): 0.99 0.98 0.98 1/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 151965 0 0 0 19558 1065 0 0 25 0 1 0 1854033493 624541696 150663 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4526/statm): 152476 150663 1116 68 0 152408 0 [pid=4526] vsize: 609904 Current children cumulated CPU time (s) 206.23 Current children cumulated vsize (Kb) 609904 [startup+230.012 s] Raw data (loadavg): 0.99 0.98 0.98 1/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 158867 0 0 0 20479 1103 0 0 25 0 1 0 1854033493 652505088 157401 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4526/statm): 159303 157401 1116 68 0 159235 0 [pid=4526] vsize: 637212 Current children cumulated CPU time (s) 215.82 Current children cumulated vsize (Kb) 637212 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.98 1/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 164478 0 0 0 21416 1132 0 0 25 0 1 0 1854033493 675139584 162930 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4526/statm): 164829 162930 1116 68 0 164761 0 [pid=4526] vsize: 659316 Current children cumulated CPU time (s) 225.48 Current children cumulated vsize (Kb) 659316 [startup+250.013 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 170061 0 0 0 22349 1164 0 0 25 0 1 0 1854033493 697851904 168513 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 170374 168513 1116 68 0 170306 0 [pid=4526] vsize: 681496 Current children cumulated CPU time (s) 235.13 Current children cumulated vsize (Kb) 681496 [startup+260.014 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 176027 0 0 0 23278 1198 0 0 25 0 1 0 1854033493 721833984 174397 4294967295 134512640 134736556 3221224560 3221223196 134554110 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 176229 174397 1116 68 0 176161 0 [pid=4526] vsize: 704916 Current children cumulated CPU time (s) 244.76 Current children cumulated vsize (Kb) 704916 [startup+270.013 s] Raw data (loadavg): 0.99 0.98 0.98 1/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 182477 0 0 0 24204 1233 0 0 25 0 1 0 1854033493 748113920 180765 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4526/statm): 182645 180765 1116 68 0 182577 0 [pid=4526] vsize: 730580 Current children cumulated CPU time (s) 254.37 Current children cumulated vsize (Kb) 730580 [startup+280.013 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 188842 0 0 0 25132 1269 0 0 25 0 1 0 1854033493 773775360 186968 4294967295 134512640 134736556 3221224560 3221223216 134524544 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 188910 186968 1116 68 0 188842 0 [pid=4526] vsize: 755640 Current children cumulated CPU time (s) 264.01 Current children cumulated vsize (Kb) 755640 [startup+290.014 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 195029 0 0 0 26062 1300 0 0 25 0 1 0 1854033493 799121408 193150 4294967295 134512640 134736556 3221224560 3221223216 134537363 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 195098 193150 1116 68 0 195030 0 [pid=4526] vsize: 780392 Current children cumulated CPU time (s) 273.62 Current children cumulated vsize (Kb) 780392 [startup+300.015 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 201598 0 0 0 26988 1337 0 0 25 0 1 0 1854033493 825954304 199716 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 201649 199716 1116 68 0 201581 0 [pid=4526] vsize: 806596 Current children cumulated CPU time (s) 283.25 Current children cumulated vsize (Kb) 806596 [startup+310.014 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 207764 0 0 0 27916 1371 0 0 24 0 1 0 1854033493 850882560 205800 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4526/statm): 207735 205800 1116 68 0 207667 0 [pid=4526] vsize: 830940 Current children cumulated CPU time (s) 292.87 Current children cumulated vsize (Kb) 830940 [startup+320.015 s] Raw data (loadavg): 0.99 0.98 0.98 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 213625 0 0 0 28847 1404 0 0 25 0 1 0 1854033493 875008000 211656 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 213625 211656 1116 68 0 213557 0 [pid=4526] vsize: 854500 Current children cumulated CPU time (s) 302.51 Current children cumulated vsize (Kb) 854500 [startup+330.015 s] Raw data (loadavg): 1.07 1.00 0.99 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 218824 0 0 0 29789 1434 0 0 25 0 1 0 1854033493 895881216 216773 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4526/statm): 218721 216773 1116 68 0 218653 0 [pid=4526] vsize: 874884 Current children cumulated CPU time (s) 312.23 Current children cumulated vsize (Kb) 874884 [startup+340.014 s] Raw data (loadavg): 1.06 1.00 0.99 2/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) R 4525 4526 20728 0 -1 0 225534 0 21 0 30696 1476 0 0 25 0 1 0 1854033493 922988544 223311 4294967295 134512640 134736556 3221224560 3221223072 134535866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 225339 223314 1116 68 0 225271 0 [pid=4526] vsize: 901356 Current children cumulated CPU time (s) 321.72 Current children cumulated vsize (Kb) 901356 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+349.065 s] Raw data (loadavg): 1.05 1.00 0.99 1/56 4526 Raw data (/proc/4526/stat): 4526 (bsolo) T 4525 4526 20728 0 -1 0 232341 0 93 0 31478 1515 0 0 25 0 1 0 1854033493 943820800 228319 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4526/statm): 230425 228319 1116 68 0 230357 0 [pid=4526] vsize: 921700 Current children cumulated CPU time (s) 329.93 Current children cumulated vsize (Kb) 921700 Sending SIGTERM to -4526 Sleeping 2 seconds [startup+350.015 s] Raw data (loadavg): 1.05 1.00 0.99 1/57 4527 Raw data (/proc/4526/stat): 4526 (bsolo) S 4525 4526 20728 0 -1 0 232341 0 93 0 31478 1515 0 0 25 0 1 0 1854033493 943820800 228319 4294967295 134512640 134736556 3221224560 3221221992 1077867073 0 16384 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4526/statm): 230425 228319 1116 68 0 230357 0 [pid=4526] vsize: 921700 Current children cumulated CPU time (s) 329.93 Current children cumulated vsize (Kb) 921700 Sending SIGKILL to -4526 One traced child (pid=4526) 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): 351.502 CPU time (s): 330.374 CPU user time (s): 314.785 CPU system time (s): 15.5886 CPU usage (%): 93.9892 Max. virtual memory (cumulated for all children) (Kb): 921700
ERROR: no interpretation found !