Name | mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb |
MD5SUM | cb5fbc431eb68f8a2a8d0f81405ac2af |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 131072000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 576307709 |
Number of bits of the biggest sum of numbers | 30 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 270305 |
Total number of constraints | 3778 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 72 |
Number of constraints which are nor clauses,nor cardinality constraints | 3706 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10600 |
LAUNCH ON wulflinc19 THE 2005-09-20 00:33:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1096 boxname=wulflinc19 idbench=1096 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: cb5fbc431eb68f8a2a8d0f81405ac2af /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-dano3_3.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-dano3_3.opb IDLAUNCH: 1096 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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.037 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: 900540 kB Buffers: 4756 kB Cached: 102040 kB SwapCached: 644 kB Active: 43288 kB Inactive: 65864 kB HighTotal: 131008 kB HighFree: 26628 kB LowTotal: 903652 kB LowFree: 873912 kB SwapTotal: 2097892 kB SwapFree: 2096412 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5284 kB Slab: 19272 kB Committed_AS: 64184 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 00:40:07 (client local time) WITH STATUS 0 IN 374.021 SECONDS stats: 1096 7 374.021 0
c INFO: OSL Context initialized. c BIG Int formula... 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/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1854234288 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28068/statm): 107 3 90 68 0 39 0 [pid=28068] 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/wulflinc19/normalized-mps-v2-13-7-dano3_3.opb [startup+10.0033 s] Raw data (loadavg): 0.75 0.92 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 37732 0 0 0 891 89 0 0 25 0 1 0 1854234288 156377088 37238 4294967295 134512640 134736556 3221224560 3221221228 1077359226 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 38178 37238 1116 68 0 38110 0 [pid=28068] vsize: 152712 Current children cumulated CPU time (s) 9.8 Current children cumulated vsize (Kb) 152712 [startup+20.0041 s] Raw data (loadavg): 0.79 0.92 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 60295 0 0 0 1839 133 0 0 25 0 1 0 1854234288 248221696 59549 4294967295 134512640 134736556 3221224560 3221223300 134560278 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 60601 59549 1116 68 0 60533 0 [pid=28068] vsize: 242404 Current children cumulated CPU time (s) 19.72 Current children cumulated vsize (Kb) 242404 [startup+30.0039 s] Raw data (loadavg): 0.82 0.93 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 78495 0 0 0 2794 170 0 0 25 0 1 0 1854234288 320344064 77229 4294967295 134512640 134736556 3221224560 3221223064 1077049363 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 78209 77229 1116 68 0 78141 0 [pid=28068] vsize: 312836 Current children cumulated CPU time (s) 29.64 Current children cumulated vsize (Kb) 312836 [startup+40.0047 s] Raw data (loadavg): 0.85 0.93 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 94098 0 0 0 3754 203 0 0 25 0 1 0 1854234288 383942656 92832 4294967295 134512640 134736556 3221224560 3221223044 1077414360 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 93736 92832 1116 68 0 93668 0 [pid=28068] vsize: 374944 Current children cumulated CPU time (s) 39.57 Current children cumulated vsize (Kb) 374944 [startup+50.0055 s] Raw data (loadavg): 0.87 0.93 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 109745 0 0 0 4714 236 0 0 25 0 1 0 1854234288 447614976 107976 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 109281 107976 1116 68 0 109213 0 [pid=28068] vsize: 437124 Current children cumulated CPU time (s) 49.5 Current children cumulated vsize (Kb) 437124 [startup+60.0053 s] Raw data (loadavg): 0.89 0.93 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 123894 0 0 0 5677 267 0 0 25 0 1 0 1854234288 505315328 122125 4294967295 134512640 134736556 3221224560 3221223136 134540422 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 123368 122125 1116 68 0 123300 0 [pid=28068] vsize: 493472 Current children cumulated CPU time (s) 59.44 Current children cumulated vsize (Kb) 493472 [startup+70.0061 s] Raw data (loadavg): 0.91 0.93 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 138693 0 0 0 6642 298 0 0 25 0 1 0 1854234288 561348608 135882 4294967295 134512640 134736556 3221224560 3221222444 1077244511 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 137048 135882 1116 68 0 136980 0 [pid=28068] vsize: 548192 Current children cumulated CPU time (s) 69.4 Current children cumulated vsize (Kb) 548192 [startup+80.007 s] Raw data (loadavg): 0.92 0.94 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 150438 0 0 0 7613 322 0 0 25 0 1 0 1854234288 609144832 147627 4294967295 134512640 134736556 3221224560 3221223300 134560258 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 148717 147627 1116 68 0 148649 0 [pid=28068] vsize: 594868 Current children cumulated CPU time (s) 79.35 Current children cumulated vsize (Kb) 594868 [startup+90.0068 s] Raw data (loadavg): 0.93 0.94 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 162866 0 0 0 8581 349 0 0 25 0 1 0 1854234288 659820544 160055 4294967295 134512640 134736556 3221224560 3221222696 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 161089 160056 1116 68 0 161021 0 [pid=28068] vsize: 644356 Current children cumulated CPU time (s) 89.3 Current children cumulated vsize (Kb) 644356 [startup+100.007 s] Raw data (loadavg): 0.94 0.94 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 173795 0 0 0 9552 373 0 0 25 0 1 0 1854234288 704323584 170984 4294967295 134512640 134736556 3221224560 3221223060 1077049349 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 171954 170984 1116 68 0 171886 0 [pid=28068] vsize: 687816 Current children cumulated CPU time (s) 99.25 Current children cumulated vsize (Kb) 687816 [startup+110.006 s] Raw data (loadavg): 0.95 0.94 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 185915 0 0 0 10522 398 0 0 25 0 1 0 1854234288 753700864 183104 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 184009 183104 1116 68 0 183941 0 [pid=28068] vsize: 736036 Current children cumulated CPU time (s) 109.2 Current children cumulated vsize (Kb) 736036 [startup+120.007 s] Raw data (loadavg): 0.96 0.94 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 197593 0 0 0 11491 424 0 0 25 0 1 0 1854234288 801374208 193779 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28068/statm): 195648 193779 1116 68 0 195580 0 [pid=28068] vsize: 782592 Current children cumulated CPU time (s) 119.15 Current children cumulated vsize (Kb) 782592 [startup+130.007 s] Raw data (loadavg): 0.96 0.94 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 208076 0 0 0 12461 450 0 0 25 0 1 0 1854234288 844038144 204262 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 206064 204262 1116 68 0 205996 0 [pid=28068] vsize: 824256 Current children cumulated CPU time (s) 129.11 Current children cumulated vsize (Kb) 824256 [startup+140.008 s] Raw data (loadavg): 0.97 0.94 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 209652 0 0 0 13457 452 0 0 25 0 1 0 1854234288 850526208 205838 4294967295 134512640 134736556 3221224560 3221221260 1077191111 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 207648 205838 1116 68 0 207580 0 [pid=28068] vsize: 830592 Current children cumulated CPU time (s) 139.09 Current children cumulated vsize (Kb) 830592 [startup+150.009 s] Raw data (loadavg): 0.97 0.95 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 211228 0 0 0 14452 456 0 0 25 0 1 0 1854234288 857014272 207414 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 209232 207414 1116 68 0 209164 0 [pid=28068] vsize: 836928 Current children cumulated CPU time (s) 149.08 Current children cumulated vsize (Kb) 836928 [startup+160.008 s] Raw data (loadavg): 0.98 0.95 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 212906 0 0 0 15443 463 0 0 25 0 1 0 1854234288 863772672 209092 4294967295 134512640 134736556 3221224560 3221223064 134532897 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 210882 209092 1116 68 0 210814 0 [pid=28068] vsize: 843528 Current children cumulated CPU time (s) 159.06 Current children cumulated vsize (Kb) 843528 [startup+170.009 s] Raw data (loadavg): 0.98 0.95 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 214806 0 0 0 16435 470 0 0 25 0 1 0 1854234288 871612416 210992 4294967295 134512640 134736556 3221224560 3221221256 1077359216 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 212796 210992 1116 68 0 212728 0 [pid=28068] vsize: 851184 Current children cumulated CPU time (s) 169.05 Current children cumulated vsize (Kb) 851184 [startup+180.01 s] Raw data (loadavg): 0.98 0.95 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 217142 0 0 0 17425 477 0 0 25 0 1 0 1854234288 881209344 213328 4294967295 134512640 134736556 3221224560 3221223068 134517552 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 215139 213328 1116 68 0 215071 0 [pid=28068] vsize: 860556 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (Kb) 860556 [startup+190.01 s] Raw data (loadavg): 0.98 0.95 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 218690 0 0 0 18419 483 0 0 25 0 1 0 1854234288 887799808 214852 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 216748 214852 1116 68 0 216680 0 [pid=28068] vsize: 866992 Current children cumulated CPU time (s) 189.02 Current children cumulated vsize (Kb) 866992 [startup+200.01 s] Raw data (loadavg): 0.99 0.95 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 219334 0 0 0 19417 484 0 0 25 0 1 0 1854234288 890740736 215466 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 217466 215466 1116 68 0 217398 0 [pid=28068] vsize: 869864 Current children cumulated CPU time (s) 199.01 Current children cumulated vsize (Kb) 869864 [startup+210.01 s] Raw data (loadavg): 0.99 0.95 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 219879 0 0 0 20414 487 0 0 25 0 1 0 1854234288 893067264 215988 4294967295 134512640 134736556 3221224560 3221221260 1077191361 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 218034 215988 1116 68 0 217966 0 [pid=28068] vsize: 872136 Current children cumulated CPU time (s) 209.01 Current children cumulated vsize (Kb) 872136 [startup+220.011 s] Raw data (loadavg): 0.99 0.95 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 220461 0 0 0 21412 488 0 0 25 0 1 0 1854234288 895737856 216544 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 218686 216544 1116 68 0 218618 0 [pid=28068] vsize: 874744 Current children cumulated CPU time (s) 219 Current children cumulated vsize (Kb) 874744 [startup+230.012 s] Raw data (loadavg): 0.99 0.95 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 220962 0 0 0 22410 490 0 0 25 0 1 0 1854234288 898093056 217024 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 219261 217024 1116 68 0 219193 0 [pid=28068] vsize: 877044 Current children cumulated CPU time (s) 229 Current children cumulated vsize (Kb) 877044 [startup+240.012 s] Raw data (loadavg): 0.99 0.95 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 221451 0 0 0 23408 492 0 0 25 0 1 0 1854234288 900284416 217493 4294967295 134512640 134736556 3221224560 3221223136 134539948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 219796 217493 1116 68 0 219728 0 [pid=28068] vsize: 879184 Current children cumulated CPU time (s) 239 Current children cumulated vsize (Kb) 879184 [startup+250.013 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 221948 0 0 0 24406 493 0 0 25 0 1 0 1854234288 902512640 217968 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 220340 217968 1116 68 0 220272 0 [pid=28068] vsize: 881360 Current children cumulated CPU time (s) 248.99 Current children cumulated vsize (Kb) 881360 [startup+260.013 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 222425 0 0 0 25404 495 0 0 25 0 1 0 1854234288 904704000 218421 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 220875 218421 1116 68 0 220807 0 [pid=28068] vsize: 883500 Current children cumulated CPU time (s) 258.99 Current children cumulated vsize (Kb) 883500 [startup+270.013 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 222914 0 0 0 26402 496 0 0 25 0 1 0 1854234288 906924032 218886 4294967295 134512640 134736556 3221224560 3221223136 134539919 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 221417 218886 1116 68 0 221349 0 [pid=28068] vsize: 885668 Current children cumulated CPU time (s) 268.98 Current children cumulated vsize (Kb) 885668 [startup+280.014 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 223349 0 0 0 27400 498 0 0 25 0 1 0 1854234288 908808192 219304 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 221877 219304 1116 68 0 221809 0 [pid=28068] vsize: 887508 Current children cumulated CPU time (s) 278.98 Current children cumulated vsize (Kb) 887508 [startup+290.014 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 223818 0 0 0 28397 500 0 0 25 0 1 0 1854234288 910995456 219750 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 222411 219750 1116 68 0 222343 0 [pid=28068] vsize: 889644 Current children cumulated CPU time (s) 288.97 Current children cumulated vsize (Kb) 889644 [startup+300.014 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 224224 0 0 0 29396 501 0 0 25 0 1 0 1854234288 912805888 220137 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 222853 220137 1116 68 0 222785 0 [pid=28068] vsize: 891412 Current children cumulated CPU time (s) 298.97 Current children cumulated vsize (Kb) 891412 [startup+310.015 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 224694 0 0 0 30394 503 0 0 25 0 1 0 1854234288 914862080 220587 4294967295 134512640 134736556 3221224560 3221223136 134539944 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 223355 220587 1116 68 0 223287 0 [pid=28068] vsize: 893420 Current children cumulated CPU time (s) 308.97 Current children cumulated vsize (Kb) 893420 [startup+320.015 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 225126 0 0 0 31392 504 0 0 25 0 1 0 1854234288 916881408 221004 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 223848 221004 1116 68 0 223780 0 [pid=28068] vsize: 895392 Current children cumulated CPU time (s) 318.96 Current children cumulated vsize (Kb) 895392 [startup+330.016 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 225525 0 0 0 32390 506 0 0 25 0 1 0 1854234288 918687744 221383 4294967295 134512640 134736556 3221224560 3221223068 1077399567 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28068/statm): 224289 221383 1116 68 0 224221 0 [pid=28068] vsize: 897156 Current children cumulated CPU time (s) 328.96 Current children cumulated vsize (Kb) 897156 [startup+340.016 s] Raw data (loadavg): 0.99 0.96 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 225996 0 0 0 33389 507 0 0 25 0 1 0 1854234288 920743936 221834 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28068/statm): 224791 221834 1116 68 0 224723 0 [pid=28068] vsize: 899164 Current children cumulated CPU time (s) 338.96 Current children cumulated vsize (Kb) 899164 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 227444 0 0 0 34380 513 0 0 25 0 1 0 1854234288 926691328 223282 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28068/statm): 226243 223282 1116 68 0 226175 0 [pid=28068] vsize: 904972 Current children cumulated CPU time (s) 348.93 Current children cumulated vsize (Kb) 904972 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 228476 0 0 0 35374 517 0 0 25 0 1 0 1854234288 931016704 224314 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 227299 224314 1116 68 0 227231 0 [pid=28068] vsize: 909196 Current children cumulated CPU time (s) 358.91 Current children cumulated vsize (Kb) 909196 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) R 28067 28068 5929 0 -1 0 230090 0 0 0 36363 522 0 0 25 0 1 0 1854234288 937504768 224201 4294967295 134512640 134736556 3221224560 3221221316 1077365025 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28068/statm): 228883 224201 1116 68 0 228815 0 [pid=28068] vsize: 915532 Current children cumulated CPU time (s) 368.85 Current children cumulated vsize (Kb) 915532 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+374.784 s] Raw data (loadavg): 0.99 0.97 0.97 1/56 28068 Raw data (/proc/28068/stat): 28068 (bsolo) T 28067 28068 5929 0 -1 0 231592 0 0 0 36828 531 0 0 25 0 1 0 1854234288 943755264 225703 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28068/statm): 230409 225703 1116 68 0 230341 0 [pid=28068] vsize: 921636 Current children cumulated CPU time (s) 373.59 Current children cumulated vsize (Kb) 921636 Sending SIGTERM to -28068 Sleeping 2 seconds Sending SIGKILL to -28068 One traced child (pid=28068) 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): 377.214 CPU time (s): 374.021 CPU user time (s): 368.28 CPU system time (s): 5.74113 CPU usage (%): 99.1537 Max. virtual memory (cumulated for all children) (Kb): 921636
ERROR: no interpretation found !