Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb |
MD5SUM | 962e64054cef66ff1ace4918a032c24a |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1983976 |
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 | 200 |
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 | 136 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 160 |
LAUNCH ON wulflinc27 THE 2005-09-19 23:22:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=976 boxname=wulflinc27 idbench=976 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 962e64054cef66ff1ace4918a032c24a /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-pp08a.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-pp08a.opb IDLAUNCH: 976 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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.169 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: 960504 kB Buffers: 6624 kB Cached: 38320 kB SwapCached: 752 kB Active: 12976 kB Inactive: 34600 kB HighTotal: 131008 kB HighFree: 88956 kB LowTotal: 903652 kB LowFree: 871548 kB SwapTotal: 2097892 kB SwapFree: 2096628 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5728 kB Slab: 20868 kB Committed_AS: 64220 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 23:28:27 (client local time) WITH STATUS 0 IN 323.906 SECONDS stats: 976 7 323.906 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: 0.862 c After prepocess the problem consists of 3288 variables and 200 constraints. c Initial Lower Bound: 0 c Restart #1 #Var: 3288 #Dec: 16244 LB: 0 @ 1.661 c Restart #2 #Var: 3288 #Dec: 50352 LB: 0 @ 3.351 c Restart #3 #Var: 3288 #Dec: 88502 LB: 0 @ 5.357 c Restart #4 #Var: 3288 #Dec: 125372 LB: 0 @ 7.395 c Restart #5 #Var: 3288 #Dec: 168586 LB: 0 @ 9.854 c Restart #6 #Var: 3288 #Dec: 193721 LB: 0 @ 11.622 c Restart #7 #Var: 3288 #Dec: 210485 LB: 0 @ 13.062 c Restart #8 #Var: 3288 #Dec: 212128 LB: 0 @ 13.915 c Restart #9 #Var: 3288 #Dec: 213974 LB: 0 @ 14.883 c Restart #10 #Var: 3288 #Dec: 216021 LB: 0 @ 15.993 c Restart #11 #Var: 3288 #Dec: 218270 LB: 0 @ 17.257 c Restart #12 #Var: 3288 #Dec: 220716 LB: 0 @ 18.628 c Restart #13 #Var: 3288 #Dec: 223359 LB: 0 @ 20.111 c Restart #14 #Var: 3288 #Dec: 226202 LB: 0 @ 21.802 c Restart #15 #Var: 3288 #Dec: 229249 LB: 0 @ 23.573 c Restart #16 #Var: 3288 #Dec: 232495 LB: 0 @ 25.591 c Restart #17 #Var: 3288 #Dec: 235939 LB: 0 @ 27.609 c Restart #18 #Var: 3288 #Dec: 239582 LB: 0 @ 29.878 c Restart #19 #Var: 3288 #Dec: 243426 LB: 0 @ 32.617 c Restart #20 #Var: 3288 #Dec: 247471 LB: 0 @ 35.752 c Restart #21 #Var: 3288 #Dec: 251713 LB: 0 @ 38.736 c Restart #22 #Var: 3288 #Dec: 256155 LB: 0 @ 41.751 c Restart #23 #Var: 3288 #Dec: 260797 LB: 0 @ 44.994 c Restart #24 #Var: 3288 #Dec: 265638 LB: 0 @ 48.074 c Restart #25 #Var: 3288 #Dec: 270682 LB: 0 @ 51.522 c Restart #26 #Var: 3288 #Dec: 275925 LB: 0 @ 55.541 c Restart #27 #Var: 3288 #Dec: 281370 LB: 0 @ 59.577 c Restart #28 #Var: 3288 #Dec: 287012 LB: 0 @ 64.104 c Restart #29 #Var: 3288 #Dec: 292856 LB: 0 @ 67.547 c Restart #30 #Var: 3288 #Dec: 298898 LB: 0 @ 72.194 c Restart #31 #Var: 3288 #Dec: 305141 LB: 0 @ 76.61 c Restart #32 #Var: 3288 #Dec: 311586 LB: 0 @ 81.409 c Restart #33 #Var: 3288 #Dec: 318229 LB: 0 @ 86.384 c Restart #34 #Var: 3288 #Dec: 325073 LB: 0 @ 91.977 c Restart #35 #Var: 3288 #Dec: 332118 LB: 0 @ 97.241 c Restart #36 #Var: 3288 #Dec: 339363 LB: 0 @ 102.28 c Restart #37 #Var: 3288 #Dec: 346806 LB: 0 @ 107.75 c Restart #38 #Var: 3288 #Dec: 354450 LB: 0 @ 113.44 c Restart #39 #Var: 3288 #Dec: 362292 LB: 0 @ 119.23 c Restart #40 #Var: 3288 #Dec: 370335 LB: 0 @ 124.86 c Restart #41 #Var: 3288 #Dec: 378578 LB: 0 @ 131.88 c Restart #42 #Var: 3288 #Dec: 387024 LB: 0 @ 138.77 c Restart #43 #Var: 3288 #Dec: 395667 LB: 0 @ 145.99 c Restart #44 #Var: 3288 #Dec: 404509 LB: 0 @ 153.31 c Restart #45 #Var: 3288 #Dec: 413550 LB: 0 @ 161.24 c Restart #46 #Var: 3288 #Dec: 422790 LB: 0 @ 168.81 c Restart #47 #Var: 3288 #Dec: 432230 LB: 0 @ 176.19 c Restart #48 #Var: 3288 #Dec: 441873 LB: 0 @ 184.78 c Restart #49 #Var: 3288 #Dec: 451718 LB: 0 @ 193.64 c Restart #50 #Var: 3288 #Dec: 461756 LB: 0 @ 202.41 c Restart #51 #Var: 3288 #Dec: 471998 LB: 0 @ 211.14 c Restart #52 #Var: 3288 #Dec: 482438 LB: 0 @ 219.64 c Restart #53 #Var: 3288 #Dec: 493082 LB: 0 @ 229.85 c Restart #54 #Var: 3288 #Dec: 503922 LB: 0 @ 238.47 c Restart #55 #Var: 3288 #Dec: 514964 LB: 0 @ 248.64 c Restart #56 #Var: 3288 #Dec: 526205 LB: 0 @ 257.86 c Restart #57 #Var: 3288 #Dec: 537647 LB: 0 @ 267.1 c Restart #58 #Var: 3288 #Dec: 549290 LB: 0 @ 276.85 c Restart #59 #Var: 3288 #Dec: 561130 LB: 0 @ 286.17 c Restart #60 #Var: 3288 #Dec: 573173 LB: 0 @ 295.69 c Restart #61 #Var: 3288 #Dec: 585415 LB: 0 @ 305.88 c Restart #62 #Var: 3288 #Dec: 597859 LB: 0 @ 315.6 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/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853807714 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 107 3 90 68 0 39 0 [pid=20556] 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/wulflinc27/normalized-mps-v2-13-7-pp08a.opb [startup+10.0038 s] Raw data (loadavg): 0.94 0.98 0.99 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 4839 0 0 0 517 165 0 0 17 0 1 0 1853807714 22933504 4750 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/20556/statm): 5599 4750 1116 68 0 5531 0 [pid=20556] vsize: 22396 Current children cumulated CPU time (s) 6.82 Current children cumulated vsize (Kb) 22396 [startup+20.0046 s] Raw data (loadavg): 0.95 0.98 0.99 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 8492 0 0 0 1139 296 0 0 25 0 1 0 1853807714 37945344 8402 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20556/statm): 9264 8402 1116 68 0 9196 0 [pid=20556] vsize: 37056 Current children cumulated CPU time (s) 14.35 Current children cumulated vsize (Kb) 37056 [startup+30.0054 s] Raw data (loadavg): 0.95 0.98 0.99 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 17607 0 0 0 2027 350 0 0 25 0 1 0 1853807714 75444224 17512 4294967295 134512640 134736556 3221224560 3221223136 134716300 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 18419 17512 1116 68 0 18351 0 [pid=20556] vsize: 73676 Current children cumulated CPU time (s) 23.77 Current children cumulated vsize (Kb) 73676 [startup+40.0063 s] Raw data (loadavg): 0.96 0.98 0.99 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 25851 0 0 0 2931 396 0 0 25 0 1 0 1853807714 109330432 25744 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 26692 25744 1116 68 0 26624 0 [pid=20556] vsize: 106768 Current children cumulated CPU time (s) 33.27 Current children cumulated vsize (Kb) 106768 [startup+50.0071 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 33284 0 0 0 3845 437 0 0 25 0 1 0 1853807714 139890688 33176 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 34153 33176 1116 68 0 34085 0 [pid=20556] vsize: 136612 Current children cumulated CPU time (s) 42.82 Current children cumulated vsize (Kb) 136612 [startup+60.0079 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 41064 0 0 0 4759 477 0 0 25 0 1 0 1853807714 172122112 40923 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 42022 40923 1116 68 0 41954 0 [pid=20556] vsize: 168088 Current children cumulated CPU time (s) 52.36 Current children cumulated vsize (Kb) 168088 [startup+70.0087 s] Raw data (loadavg): 0.97 0.98 0.99 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 48258 0 0 0 5675 517 0 0 25 0 1 0 1853807714 201650176 48112 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20556/statm): 49231 48112 1116 68 0 49163 0 [pid=20556] vsize: 196924 Current children cumulated CPU time (s) 61.92 Current children cumulated vsize (Kb) 196924 [startup+80.0085 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 55884 0 0 0 6586 560 0 0 25 0 1 0 1853807714 233156608 55730 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20556/statm): 56923 55730 1116 68 0 56855 0 [pid=20556] vsize: 227692 Current children cumulated CPU time (s) 71.46 Current children cumulated vsize (Kb) 227692 [startup+90.0094 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 63378 0 0 0 7505 598 0 0 25 0 1 0 1853807714 263839744 63216 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 64414 63216 1116 68 0 64346 0 [pid=20556] vsize: 257656 Current children cumulated CPU time (s) 81.03 Current children cumulated vsize (Kb) 257656 [startup+100.009 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 70088 0 0 0 8429 634 0 0 25 0 1 0 1853807714 291221504 69915 4294967295 134512640 134736556 3221224560 3221223248 134605090 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 71099 69915 1116 68 0 71031 0 [pid=20556] vsize: 284396 Current children cumulated CPU time (s) 90.63 Current children cumulated vsize (Kb) 284396 [startup+110.01 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 77905 0 0 0 9342 676 0 0 25 0 1 0 1853807714 323043328 77468 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20556/statm): 78868 77468 1116 68 0 78800 0 [pid=20556] vsize: 315472 Current children cumulated CPU time (s) 100.18 Current children cumulated vsize (Kb) 315472 [startup+120.011 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 84939 0 0 0 10265 713 0 0 25 0 1 0 1853807714 351830016 84416 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20556/statm): 85896 84416 1116 68 0 85828 0 [pid=20556] vsize: 343584 Current children cumulated CPU time (s) 109.78 Current children cumulated vsize (Kb) 343584 [startup+130.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 92192 0 0 0 11182 753 0 0 25 0 1 0 1853807714 381644800 91667 4294967295 134512640 134736556 3221224560 3221223116 134536351 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 93175 91667 1116 68 0 93107 0 [pid=20556] vsize: 372700 Current children cumulated CPU time (s) 119.35 Current children cumulated vsize (Kb) 372700 [startup+140.011 s] Raw data (loadavg): 1.07 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 99401 0 0 0 12101 791 0 0 25 0 1 0 1853807714 411443200 98869 4294967295 134512640 134736556 3221224560 3221223264 134528659 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20556/statm): 100450 98869 1116 68 0 100382 0 [pid=20556] vsize: 401800 Current children cumulated CPU time (s) 128.92 Current children cumulated vsize (Kb) 401800 [startup+150.012 s] Raw data (loadavg): 1.06 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 105967 0 0 0 13026 825 0 0 25 0 1 0 1853807714 438075392 105435 4294967295 134512640 134736556 3221224560 3221223208 134554109 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20556/statm): 106952 105435 1116 68 0 106884 0 [pid=20556] vsize: 427808 Current children cumulated CPU time (s) 138.51 Current children cumulated vsize (Kb) 427808 [startup+160.013 s] Raw data (loadavg): 1.05 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 112320 0 0 0 13960 859 0 0 25 0 1 0 1853807714 463937536 111622 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 113266 111622 1116 68 0 113198 0 [pid=20556] vsize: 453064 Current children cumulated CPU time (s) 148.19 Current children cumulated vsize (Kb) 453064 [startup+170.014 s] Raw data (loadavg): 1.04 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 119248 0 0 0 14878 898 0 0 25 0 1 0 1853807714 491896832 118386 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 120092 118386 1116 68 0 120024 0 [pid=20556] vsize: 480368 Current children cumulated CPU time (s) 157.76 Current children cumulated vsize (Kb) 480368 [startup+180.015 s] Raw data (loadavg): 1.03 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 125474 0 0 0 15803 933 0 0 25 0 1 0 1853807714 517468160 124523 4294967295 134512640 134736556 3221224560 3221223136 134716390 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 126335 124523 1116 68 0 126267 0 [pid=20556] vsize: 505340 Current children cumulated CPU time (s) 167.36 Current children cumulated vsize (Kb) 505340 [startup+190.016 s] Raw data (loadavg): 1.03 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 131920 0 0 0 16733 967 0 0 25 0 1 0 1853807714 543399936 130805 4294967295 134512640 134736556 3221224560 3221223264 134528509 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 132666 130805 1116 68 0 132598 0 [pid=20556] vsize: 530664 Current children cumulated CPU time (s) 177 Current children cumulated vsize (Kb) 530664 [startup+200.016 s] Raw data (loadavg): 1.02 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 138057 0 0 0 17662 1001 0 0 25 0 1 0 1853807714 568193024 136860 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 138719 136860 1116 68 0 138651 0 [pid=20556] vsize: 554876 Current children cumulated CPU time (s) 186.63 Current children cumulated vsize (Kb) 554876 [startup+210.017 s] Raw data (loadavg): 1.02 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 144891 0 0 0 18587 1035 0 0 25 0 1 0 1853807714 595714048 143279 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 145438 143279 1116 68 0 145370 0 [pid=20556] vsize: 581752 Current children cumulated CPU time (s) 196.22 Current children cumulated vsize (Kb) 581752 [startup+220.018 s] Raw data (loadavg): 1.02 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 150807 0 0 0 19514 1070 0 0 25 0 1 0 1853807714 619773952 149195 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20556/statm): 151312 149195 1116 68 0 151244 0 [pid=20556] vsize: 605248 Current children cumulated CPU time (s) 205.84 Current children cumulated vsize (Kb) 605248 [startup+230.018 s] Raw data (loadavg): 1.01 1.00 1.00 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 157381 0 0 0 20435 1106 0 0 25 0 1 0 1853807714 646729728 155769 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/20556/statm): 157893 155769 1116 68 0 157825 0 [pid=20556] vsize: 631572 Current children cumulated CPU time (s) 215.41 Current children cumulated vsize (Kb) 631572 [startup+240.019 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 163614 0 0 0 21366 1136 0 0 21 0 1 0 1853807714 672063488 161994 4294967295 134512640 134736556 3221224560 3221223232 134536515 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 164078 161994 1116 68 0 164010 0 [pid=20556] vsize: 656312 Current children cumulated CPU time (s) 225.02 Current children cumulated vsize (Kb) 656312 [startup+250.019 s] Raw data (loadavg): 1.01 1.00 1.00 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 170252 0 0 0 22294 1169 0 0 25 0 1 0 1853807714 699011072 168461 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20556/statm): 170657 168461 1116 68 0 170589 0 [pid=20556] vsize: 682628 Current children cumulated CPU time (s) 234.63 Current children cumulated vsize (Kb) 682628 [startup+260.019 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 176414 0 0 0 23219 1205 0 0 25 0 1 0 1853807714 724221952 174620 4294967295 134512640 134736556 3221224560 3221223296 134529152 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 176812 174620 1116 68 0 176744 0 [pid=20556] vsize: 707248 Current children cumulated CPU time (s) 244.24 Current children cumulated vsize (Kb) 707248 [startup+270.02 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 182585 0 0 0 24143 1239 0 0 25 0 1 0 1853807714 749244416 180787 4294967295 134512640 134736556 3221224560 3221223068 134540075 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 182921 180787 1116 68 0 182853 0 [pid=20556] vsize: 731684 Current children cumulated CPU time (s) 253.82 Current children cumulated vsize (Kb) 731684 [startup+280.02 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 189368 0 0 0 25067 1275 0 0 25 0 1 0 1853807714 776876032 187488 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20556/statm): 189667 187488 1116 68 0 189599 0 [pid=20556] vsize: 758668 Current children cumulated CPU time (s) 263.42 Current children cumulated vsize (Kb) 758668 [startup+290.021 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 195886 0 0 0 25994 1310 0 0 25 0 1 0 1853807714 803573760 193998 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20556/statm): 196185 193998 1116 68 0 196117 0 [pid=20556] vsize: 784740 Current children cumulated CPU time (s) 273.04 Current children cumulated vsize (Kb) 784740 [startup+300.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 202427 0 0 0 26916 1345 0 0 25 0 1 0 1853807714 830234624 200538 4294967295 134512640 134736556 3221224560 3221223152 134551010 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 202694 200538 1116 68 0 202626 0 [pid=20556] vsize: 810776 Current children cumulated CPU time (s) 282.61 Current children cumulated vsize (Kb) 810776 [startup+310.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 208995 0 0 0 27836 1385 0 0 22 0 1 0 1853807714 857063424 207101 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20556/statm): 209244 207101 1116 68 0 209176 0 [pid=20556] vsize: 836976 Current children cumulated CPU time (s) 292.21 Current children cumulated vsize (Kb) 836976 [startup+320.021 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 215615 0 0 0 28765 1416 0 0 25 0 1 0 1853807714 884224000 213709 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/20556/statm): 215875 213709 1116 68 0 215807 0 [pid=20556] vsize: 863500 Current children cumulated CPU time (s) 301.81 Current children cumulated vsize (Kb) 863500 [startup+330.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 222178 0 0 0 29690 1454 0 0 25 0 1 0 1853807714 911065088 220272 4294967295 134512640 134736556 3221224560 3221223284 134529474 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 222428 220272 1116 68 0 222360 0 [pid=20556] vsize: 889712 Current children cumulated CPU time (s) 311.44 Current children cumulated vsize (Kb) 889712 [startup+340.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) R 20555 20556 28974 0 -1 0 228451 0 0 0 30618 1487 0 0 25 0 1 0 1853807714 936935424 226530 4294967295 134512640 134736556 3221224560 3221223172 134527251 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20556/statm): 228744 226530 1116 68 0 228676 0 [pid=20556] vsize: 914976 Current children cumulated CPU time (s) 321.05 Current children cumulated vsize (Kb) 914976 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+342.543 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 20556 Raw data (/proc/20556/stat): 20556 (bsolo) T 20555 20556 28974 0 -1 0 230094 0 0 0 30852 1496 0 0 21 0 1 0 1853807714 943861760 228173 4294967295 134512640 134736556 3221224560 3221222760 1077799011 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/20556/statm): 230435 228173 1116 68 0 230367 0 [pid=20556] vsize: 921740 Current children cumulated CPU time (s) 323.48 Current children cumulated vsize (Kb) 921740 Sending SIGTERM to -20556 Sleeping 2 seconds Sending SIGKILL to -20556 One traced child (pid=20556) 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): 344.964 CPU time (s): 323.906 CPU user time (s): 308.524 CPU system time (s): 15.3817 CPU usage (%): 93.8956 Max. virtual memory (cumulated for all children) (Kb): 921740
ERROR: no interpretation found !