Name | mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb |
MD5SUM | d9b143d593d6c40f70d01400b968fa76 |
Bench Category | optimization, big integers (OPTBIGINT) |
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 | 3424 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 180407058264 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 180407058264 |
Number of bits of the biggest sum of numbers | 38 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 4600 |
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 | 147 |
LAUNCH ON wulflinc28 THE 2005-09-18 11:48:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=591 boxname=wulflinc28 idbench=591 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: d9b143d593d6c40f70d01400b968fa76 /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-pp08aCUTS.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-pp08aCUTS.opb IDLAUNCH: 591 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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.077 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: 955436 kB Buffers: 32964 kB Cached: 17612 kB SwapCached: 696 kB Active: 48876 kB Inactive: 4940 kB HighTotal: 131008 kB HighFree: 109760 kB LowTotal: 903652 kB LowFree: 845676 kB SwapTotal: 2097640 kB SwapFree: 2096372 kB Dirty: 28 kB Writeback: 0 kB Mapped: 7540 kB Slab: 19828 kB Committed_AS: 68052 kB PageTables: 372 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 11:54:03 (client local time) WITH STATUS 0 IN 288.885 SECONDS stats: 591 7 288.885 0
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 4600 variables and 374 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 1.476 c After prepocess the problem consists of 4600 variables and 374 constraints. c Initial Lower Bound: 0 c Restart #1 #Var: 4600 #Dec: 20535 LB: 0 @ 2.562 c Restart #2 #Var: 4600 #Dec: 51859 LB: 0 @ 4.27 c Restart #3 #Var: 4600 #Dec: 85515 LB: 0 @ 6.187 c Restart #4 #Var: 4600 #Dec: 114879 LB: 0 @ 8.112 c Restart #5 #Var: 4600 #Dec: 150786 LB: 0 @ 10.635 c Restart #6 #Var: 4600 #Dec: 180219 LB: 0 @ 13.03 c Restart #7 #Var: 4600 #Dec: 208518 LB: 0 @ 15.467 c Restart #8 #Var: 4600 #Dec: 244905 LB: 0 @ 18.514 c Restart #9 #Var: 4600 #Dec: 246775 LB: 0 @ 19.681 c Restart #10 #Var: 4600 #Dec: 248847 LB: 0 @ 21.058 c Restart #11 #Var: 4600 #Dec: 251114 LB: 0 @ 22.434 c Restart #12 #Var: 4600 #Dec: 253584 LB: 0 @ 24.024 c Restart #13 #Var: 4600 #Dec: 256254 LB: 0 @ 25.756 c Restart #14 #Var: 4600 #Dec: 259125 LB: 0 @ 27.508 c Restart #15 #Var: 4600 #Dec: 262193 LB: 0 @ 29.703 c Restart #16 #Var: 4600 #Dec: 265463 LB: 0 @ 31.751 c Restart #17 #Var: 4600 #Dec: 268930 LB: 0 @ 34.091 c Restart #18 #Var: 4600 #Dec: 272599 LB: 0 @ 36.601 c Restart #19 #Var: 4600 #Dec: 276470 LB: 0 @ 39.433 c Restart #20 #Var: 4600 #Dec: 280538 LB: 0 @ 42.438 c Restart #21 #Var: 4600 #Dec: 284808 LB: 0 @ 46.011 c Restart #22 #Var: 4600 #Dec: 289276 LB: 0 @ 49.396 c Restart #23 #Var: 4600 #Dec: 293946 LB: 0 @ 52.892 c Restart #24 #Var: 4600 #Dec: 298814 LB: 0 @ 56.871 c Restart #25 #Var: 4600 #Dec: 303882 LB: 0 @ 60.355 c Restart #26 #Var: 4600 #Dec: 309152 LB: 0 @ 64.736 c Restart #27 #Var: 4600 #Dec: 314620 LB: 0 @ 69.235 c Restart #28 #Var: 4600 #Dec: 320288 LB: 0 @ 73.819 c Restart #29 #Var: 4600 #Dec: 326156 LB: 0 @ 78.945 c Restart #30 #Var: 4600 #Dec: 332221 LB: 0 @ 83.551 c Restart #31 #Var: 4600 #Dec: 338489 LB: 0 @ 88.719 c Restart #32 #Var: 4600 #Dec: 344959 LB: 0 @ 93.661 c Restart #33 #Var: 4600 #Dec: 351627 LB: 0 @ 99.118 c Restart #34 #Var: 4600 #Dec: 358496 LB: 0 @ 104.46 c Restart #35 #Var: 4600 #Dec: 365565 LB: 0 @ 111.05 c Restart #36 #Var: 4600 #Dec: 372830 LB: 0 @ 117.93 c Restart #37 #Var: 4600 #Dec: 380298 LB: 0 @ 124.76 c Restart #38 #Var: 4600 #Dec: 387967 LB: 0 @ 131.21 c Restart #39 #Var: 4600 #Dec: 395835 LB: 0 @ 138.34 c Restart #40 #Var: 4600 #Dec: 403903 LB: 0 @ 144.91 c Restart #41 #Var: 4600 #Dec: 412171 LB: 0 @ 151.99 c Restart #42 #Var: 4600 #Dec: 420636 LB: 0 @ 159.2 c Restart #43 #Var: 4600 #Dec: 429306 LB: 0 @ 167.46 c Restart #44 #Var: 4600 #Dec: 438172 LB: 0 @ 175.62 c Restart #45 #Var: 4600 #Dec: 447242 LB: 0 @ 183.86 c Restart #46 #Var: 4600 #Dec: 456509 LB: 0 @ 192.62 c Restart #47 #Var: 4600 #Dec: 465975 LB: 0 @ 201.65 c Restart #48 #Var: 4600 #Dec: 475639 LB: 0 @ 209.56 c Restart #49 #Var: 4600 #Dec: 485506 LB: 0 @ 219.76 c Restart #50 #Var: 4600 #Dec: 495573 LB: 0 @ 228.93 c Restart #51 #Var: 4600 #Dec: 505842 LB: 0 @ 239.11 c Restart #52 #Var: 4600 #Dec: 516310 LB: 0 @ 249.84 c Restart #53 #Var: 4600 #Dec: 526982 LB: 0 @ 260.28 c Restart #54 #Var: 4600 #Dec: 537850 LB: 0 @ 270.89 c Restart #55 #Var: 4600 #Dec: 548918 LB: 0 @ 281.14 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/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1841029494 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 107 3 90 68 0 39 0 [pid=29760] 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/wulflinc28/normalized-mps-v2-20-10-pp08aCUTS.opb [startup+10.0033 s] Raw data (loadavg): 1.01 0.97 0.70 1/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) T 29759 29760 20115 0 -1 0 5450 0 0 0 573 149 0 0 17 0 1 0 1841029494 25530368 5361 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/29760/statm): 6233 5361 1116 68 0 6165 0 [pid=29760] vsize: 24932 Current children cumulated CPU time (s) 7.22 Current children cumulated vsize (Kb) 24932 [startup+20.004 s] Raw data (loadavg): 1.01 0.97 0.70 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 7722 0 0 0 1171 286 0 0 17 0 1 0 1841029494 34856960 7633 4294967295 134512640 134736556 3221224560 3221223216 134544766 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 8510 7633 1116 68 0 8442 0 [pid=29760] vsize: 34040 Current children cumulated CPU time (s) 14.57 Current children cumulated vsize (Kb) 34040 [startup+30.0046 s] Raw data (loadavg): 1.01 0.97 0.70 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 14632 0 0 0 1949 372 0 0 25 0 1 0 1841029494 63123456 14541 4294967295 134512640 134736556 3221224560 3221223256 134532895 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29760/statm): 15411 14541 1116 68 0 15343 0 [pid=29760] vsize: 61644 Current children cumulated CPU time (s) 23.21 Current children cumulated vsize (Kb) 61644 [startup+40.0043 s] Raw data (loadavg): 1.01 0.97 0.71 1/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) T 29759 29760 20115 0 -1 0 24743 0 0 0 2843 428 0 0 25 0 1 0 1841029494 104706048 24645 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/29760/statm): 25563 24645 1116 68 0 25495 0 [pid=29760] vsize: 102252 Current children cumulated CPU time (s) 32.71 Current children cumulated vsize (Kb) 102252 [startup+50.005 s] Raw data (loadavg): 1.00 0.97 0.71 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 34214 0 0 0 3751 475 0 0 25 0 1 0 1841029494 143515648 34104 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 35038 34104 1116 68 0 34970 0 [pid=29760] vsize: 140152 Current children cumulated CPU time (s) 42.26 Current children cumulated vsize (Kb) 140152 [startup+60.0057 s] Raw data (loadavg): 1.00 0.97 0.71 1/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) T 29759 29760 20115 0 -1 0 42737 0 0 0 4668 518 0 0 25 0 1 0 1841029494 178565120 42617 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29760/statm): 43595 42617 1116 68 0 43527 0 [pid=29760] vsize: 174380 Current children cumulated CPU time (s) 51.86 Current children cumulated vsize (Kb) 174380 [startup+70.0053 s] Raw data (loadavg): 1.00 0.97 0.72 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 51526 0 0 0 5586 558 0 0 25 0 1 0 1841029494 214990848 51363 4294967295 134512640 134736556 3221224560 3221223248 134605080 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 52488 51363 1116 68 0 52420 0 [pid=29760] vsize: 209952 Current children cumulated CPU time (s) 61.44 Current children cumulated vsize (Kb) 209952 [startup+80.006 s] Raw data (loadavg): 1.00 0.97 0.72 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 59730 0 0 0 6505 598 0 0 17 0 1 0 1841029494 248442880 59563 4294967295 134512640 134736556 3221224560 3221223152 134551076 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 60655 59563 1116 68 0 60587 0 [pid=29760] vsize: 242620 Current children cumulated CPU time (s) 71.03 Current children cumulated vsize (Kb) 242620 [startup+90.0067 s] Raw data (loadavg): 1.00 0.97 0.72 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 67683 0 0 0 7428 638 0 0 25 0 1 0 1841029494 281202688 67506 4294967295 134512640 134736556 3221224560 3221223152 134716158 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/29760/statm): 68653 67506 1116 68 0 68585 0 [pid=29760] vsize: 274612 Current children cumulated CPU time (s) 80.66 Current children cumulated vsize (Kb) 274612 [startup+100.007 s] Raw data (loadavg): 1.00 0.97 0.72 1/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) T 29759 29760 20115 0 -1 0 76217 0 0 0 8343 677 0 0 25 0 1 0 1841029494 316133376 76027 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/29760/statm): 77181 76027 1116 68 0 77113 0 [pid=29760] vsize: 308724 Current children cumulated CPU time (s) 90.2 Current children cumulated vsize (Kb) 308724 [startup+110.008 s] Raw data (loadavg): 1.00 0.97 0.73 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 84541 0 0 0 9259 719 0 0 25 0 1 0 1841029494 350232576 84349 4294967295 134512640 134736556 3221224560 3221223168 134634178 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 85506 84349 1116 68 0 85438 0 [pid=29760] vsize: 342024 Current children cumulated CPU time (s) 99.78 Current children cumulated vsize (Kb) 342024 [startup+120.008 s] Raw data (loadavg): 1.00 0.97 0.73 1/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) T 29759 29760 20115 0 -1 0 93318 0 0 0 10175 763 0 0 25 0 1 0 1841029494 386170880 92948 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/29760/statm): 94280 92948 1116 68 0 94212 0 [pid=29760] vsize: 377120 Current children cumulated CPU time (s) 109.38 Current children cumulated vsize (Kb) 377120 [startup+130.008 s] Raw data (loadavg): 1.00 0.97 0.73 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) T 29759 29760 20115 0 -1 0 99849 0 0 0 11114 791 0 0 25 0 1 0 1841029494 412987392 99425 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434789 0 0 17 0 0 0 Raw data (/proc/29760/statm): 100827 99425 1116 68 0 100759 0 [pid=29760] vsize: 403308 Current children cumulated CPU time (s) 119.05 Current children cumulated vsize (Kb) 403308 [startup+140.009 s] Raw data (loadavg): 1.00 0.97 0.73 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 107773 0 0 0 12041 829 0 0 25 0 1 0 1841029494 445493248 107349 4294967295 134512640 134736556 3221224560 3221222464 134717560 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 108763 107349 1116 68 0 108695 0 [pid=29760] vsize: 435052 Current children cumulated CPU time (s) 128.7 Current children cumulated vsize (Kb) 435052 [startup+150.01 s] Raw data (loadavg): 1.00 0.97 0.74 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 115549 0 0 0 12968 866 0 0 25 0 1 0 1841029494 477147136 115119 4294967295 134512640 134736556 3221224560 3221223260 134524883 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 116491 115119 1116 68 0 116423 0 [pid=29760] vsize: 465964 Current children cumulated CPU time (s) 138.34 Current children cumulated vsize (Kb) 465964 [startup+160.009 s] Raw data (loadavg): 1.00 0.97 0.74 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 123722 0 0 0 13888 906 0 0 25 0 1 0 1841029494 510586880 123125 4294967295 134512640 134736556 3221224560 3221223136 134549964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 124655 123125 1116 68 0 124587 0 [pid=29760] vsize: 498620 Current children cumulated CPU time (s) 147.94 Current children cumulated vsize (Kb) 498620 [startup+170.009 s] Raw data (loadavg): 1.00 0.97 0.74 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 132001 0 0 0 14813 942 0 0 25 0 1 0 1841029494 544251904 131402 4294967295 134512640 134736556 3221224560 3221223236 134524344 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 132874 131402 1116 68 0 132806 0 [pid=29760] vsize: 531496 Current children cumulated CPU time (s) 157.55 Current children cumulated vsize (Kb) 531496 [startup+180.01 s] Raw data (loadavg): 1.00 0.97 0.74 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 139265 0 0 0 15746 976 0 0 25 0 1 0 1841029494 574156800 138654 4294967295 134512640 134736556 3221224560 3221223312 134609059 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 140175 138654 1116 68 0 140107 0 [pid=29760] vsize: 560700 Current children cumulated CPU time (s) 167.22 Current children cumulated vsize (Kb) 560700 [startup+190.009 s] Raw data (loadavg): 1.00 0.97 0.74 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 145997 0 0 0 16680 1009 0 0 25 0 1 0 1841029494 601702400 145382 4294967295 134512640 134736556 3221224560 3221223116 134536384 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 146900 145382 1116 68 0 146832 0 [pid=29760] vsize: 587600 Current children cumulated CPU time (s) 176.89 Current children cumulated vsize (Kb) 587600 [startup+200.01 s] Raw data (loadavg): 1.00 0.97 0.75 1/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) T 29759 29760 20115 0 -1 0 153816 0 0 0 17602 1048 0 0 25 0 1 0 1841029494 633602048 153201 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/29760/statm): 154688 153201 1116 68 0 154620 0 [pid=29760] vsize: 618752 Current children cumulated CPU time (s) 186.5 Current children cumulated vsize (Kb) 618752 [startup+210.08 s] Raw data (loadavg): 1.00 0.97 0.75 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 160771 0 0 0 18532 1083 0 0 25 0 1 0 1841029494 661864448 160155 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 161588 160155 1116 68 0 161520 0 [pid=29760] vsize: 646352 Current children cumulated CPU time (s) 196.15 Current children cumulated vsize (Kb) 646352 [startup+220.079 s] Raw data (loadavg): 1.00 0.97 0.75 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 168260 0 0 0 19456 1117 0 0 25 0 1 0 1841029494 692494336 167517 4294967295 134512640 134736556 3221224560 3221223264 134605328 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 169066 167517 1116 68 0 168998 0 [pid=29760] vsize: 676264 Current children cumulated CPU time (s) 205.73 Current children cumulated vsize (Kb) 676264 [startup+230.08 s] Raw data (loadavg): 1.00 0.97 0.75 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 176117 0 0 0 20383 1152 0 0 25 0 1 0 1841029494 724508672 175291 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 176882 175291 1116 68 0 176814 0 [pid=29760] vsize: 707528 Current children cumulated CPU time (s) 215.35 Current children cumulated vsize (Kb) 707528 [startup+240.081 s] Raw data (loadavg): 1.00 0.97 0.75 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 183852 0 0 0 21312 1188 0 0 25 0 1 0 1841029494 755744768 182602 4294967295 134512640 134736556 3221224560 3221223120 134551094 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 184508 182602 1116 68 0 184440 0 [pid=29760] vsize: 738032 Current children cumulated CPU time (s) 225 Current children cumulated vsize (Kb) 738032 [startup+250.081 s] Raw data (loadavg): 1.00 0.97 0.75 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 191171 0 0 0 22242 1224 0 0 25 0 1 0 1841029494 785678336 189839 4294967295 134512640 134736556 3221224560 3221223288 134605889 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 191816 189839 1116 68 0 191748 0 [pid=29760] vsize: 767264 Current children cumulated CPU time (s) 234.66 Current children cumulated vsize (Kb) 767264 [startup+260.082 s] Raw data (loadavg): 1.00 0.97 0.76 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 197467 0 0 0 23178 1257 0 0 25 0 1 0 1841029494 811073536 195973 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 198016 195973 1116 68 0 197948 0 [pid=29760] vsize: 792064 Current children cumulated CPU time (s) 244.35 Current children cumulated vsize (Kb) 792064 [startup+270.082 s] Raw data (loadavg): 1.00 0.97 0.76 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 204418 0 0 0 24110 1292 0 0 25 0 1 0 1841029494 839192576 202924 4294967295 134512640 134736556 3221224560 3221223136 134550713 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 204881 202924 1116 68 0 204813 0 [pid=29760] vsize: 819524 Current children cumulated CPU time (s) 254.02 Current children cumulated vsize (Kb) 819524 [startup+280.082 s] Raw data (loadavg): 1.00 0.97 0.76 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 211149 0 0 0 25045 1323 0 0 25 0 1 0 1841029494 866418688 209573 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 211528 209573 1116 68 0 211460 0 [pid=29760] vsize: 846112 Current children cumulated CPU time (s) 263.68 Current children cumulated vsize (Kb) 846112 [startup+290.083 s] Raw data (loadavg): 1.00 0.97 0.76 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 218056 0 0 0 25976 1358 0 0 25 0 1 0 1841029494 894533632 216480 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 218392 216480 1116 68 0 218324 0 [pid=29760] vsize: 873568 Current children cumulated CPU time (s) 273.34 Current children cumulated vsize (Kb) 873568 [startup+300.084 s] Raw data (loadavg): 1.00 0.97 0.76 2/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) R 29759 29760 20115 0 -1 0 225085 0 0 0 26909 1390 0 0 25 0 1 0 1841029494 923324416 223509 4294967295 134512640 134736556 3221224560 3221223332 134559416 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/29760/statm): 225421 223509 1116 68 0 225353 0 [pid=29760] vsize: 901684 Current children cumulated CPU time (s) 282.99 Current children cumulated vsize (Kb) 901684 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+305.79 s] Raw data (loadavg): 1.00 0.97 0.77 1/59 29760 Raw data (/proc/29760/stat): 29760 (bsolo) T 29759 29760 20115 0 -1 0 230075 0 0 0 27431 1415 0 0 25 0 1 0 1841029494 943738880 228499 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/29760/statm): 230405 228499 1116 68 0 230337 0 [pid=29760] vsize: 921620 Current children cumulated CPU time (s) 288.46 Current children cumulated vsize (Kb) 921620 Sending SIGTERM to -29760 Sleeping 2 seconds Sending SIGKILL to -29760 One traced child (pid=29760) 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): 308.211 CPU time (s): 288.885 CPU user time (s): 274.313 CPU system time (s): 14.5718 CPU usage (%): 93.7296 Max. virtual memory (cumulated for all children) (Kb): 921620
ERROR: no interpretation found !