Name | mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb |
MD5SUM | 53ae35dd3424f79abe62dc18aab624bf |
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 | 270144 |
Total number of constraints | 3778 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 96 |
Number of constraints which are nor clauses,nor cardinality constraints | 3682 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10600 |
LAUNCH ON wulflinc3 THE 2005-09-20 00:33:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1097 boxname=wulflinc3 idbench=1097 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 53ae35dd3424f79abe62dc18aab624bf /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dano3_4.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dano3_4.opb IDLAUNCH: 1097 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 2 cpu MHz : 451.190 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: 915892 kB Buffers: 196 kB Cached: 91320 kB SwapCached: 828 kB Active: 41688 kB Inactive: 52424 kB HighTotal: 131008 kB HighFree: 35672 kB LowTotal: 903652 kB LowFree: 880220 kB SwapTotal: 2097136 kB SwapFree: 2095740 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5656 kB Slab: 18692 kB Committed_AS: 72360 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 00:40:12 (client local time) WITH STATUS 0 IN 371.194 SECONDS stats: 1097 7 371.194 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/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1796011438 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1339/statm): 107 3 90 68 0 39 0 [pid=1339] 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/wulflinc3/normalized-mps-v2-13-7-dano3_4.opb [startup+10.0037 s] Raw data (loadavg): 0.93 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 37381 0 0 0 889 87 0 0 25 0 1 0 1796011438 155893760 37133 4294967295 134512640 134736556 3221224560 3221223228 1077374048 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/1339/statm): 38060 37133 1116 68 0 37992 0 [pid=1339] vsize: 152240 Current children cumulated CPU time (s) 9.76 Current children cumulated vsize (Kb) 152240 [startup+20.0045 s] Raw data (loadavg): 0.94 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 60706 0 0 0 1832 135 0 0 25 0 1 0 1796011438 249761792 59918 4294967295 134512640 134736556 3221224560 3221223136 134539940 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/1339/statm): 60977 59918 1116 68 0 60909 0 [pid=1339] vsize: 243908 Current children cumulated CPU time (s) 19.67 Current children cumulated vsize (Kb) 243908 [startup+30.0054 s] Raw data (loadavg): 0.95 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 79266 0 0 0 2786 173 0 0 25 0 1 0 1796011438 323014656 77890 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/1339/statm): 78861 77890 1116 68 0 78793 0 [pid=1339] vsize: 315444 Current children cumulated CPU time (s) 29.59 Current children cumulated vsize (Kb) 315444 [startup+40.0062 s] Raw data (loadavg): 0.95 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 95884 0 0 0 3747 205 0 0 25 0 1 0 1796011438 390672384 94508 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/1339/statm): 95379 94508 1116 68 0 95311 0 [pid=1339] vsize: 381516 Current children cumulated CPU time (s) 39.52 Current children cumulated vsize (Kb) 381516 [startup+50.006 s] Raw data (loadavg): 0.96 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 110645 0 0 0 4710 237 0 0 25 0 1 0 1796011438 450822144 108766 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/1339/statm): 110064 108766 1116 68 0 109996 0 [pid=1339] vsize: 440256 Current children cumulated CPU time (s) 49.47 Current children cumulated vsize (Kb) 440256 [startup+60.0059 s] Raw data (loadavg): 0.97 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 124827 0 0 0 5679 262 0 0 25 0 1 0 1796011438 508645376 122948 4294967295 134512640 134736556 3221224560 3221223088 134574334 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/1339/statm): 124181 122948 1116 68 0 124113 0 [pid=1339] vsize: 496724 Current children cumulated CPU time (s) 59.41 Current children cumulated vsize (Kb) 496724 [startup+70.0057 s] Raw data (loadavg): 0.97 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 138277 0 0 0 6645 289 0 0 25 0 1 0 1796011438 563367936 136398 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 137541 136398 1116 68 0 137473 0 [pid=1339] vsize: 550164 Current children cumulated CPU time (s) 69.34 Current children cumulated vsize (Kb) 550164 [startup+80.0065 s] Raw data (loadavg): 0.97 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 149856 0 0 0 7617 311 0 0 25 0 1 0 1796011438 610623488 147977 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 149078 147977 1116 68 0 149010 0 [pid=1339] vsize: 596312 Current children cumulated CPU time (s) 79.28 Current children cumulated vsize (Kb) 596312 [startup+90.0064 s] Raw data (loadavg): 0.98 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 164786 0 0 0 8578 344 0 0 25 0 1 0 1796011438 666681344 161733 4294967295 134512640 134736556 3221224560 3221223064 134532897 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/1339/statm): 162764 161733 1116 68 0 162696 0 [pid=1339] vsize: 651056 Current children cumulated CPU time (s) 89.22 Current children cumulated vsize (Kb) 651056 [startup+100.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 175939 0 0 0 9553 364 0 0 25 0 1 0 1796011438 712032256 172886 4294967295 134512640 134736556 3221224560 3221223068 1077399567 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/1339/statm): 173836 172886 1116 68 0 173768 0 [pid=1339] vsize: 695344 Current children cumulated CPU time (s) 99.17 Current children cumulated vsize (Kb) 695344 [startup+110.007 s] Raw data (loadavg): 0.98 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 187652 0 0 0 10523 386 0 0 25 0 1 0 1796011438 759738368 184599 4294967295 134512640 134736556 3221224560 3221223136 134539924 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 185483 184599 1116 68 0 185415 0 [pid=1339] vsize: 741932 Current children cumulated CPU time (s) 109.09 Current children cumulated vsize (Kb) 741932 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 200476 0 0 0 11490 414 0 0 25 0 1 0 1796011438 812023808 196420 4294967295 134512640 134736556 3221224560 3221223144 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 198248 196420 1116 68 0 198180 0 [pid=1339] vsize: 792992 Current children cumulated CPU time (s) 119.04 Current children cumulated vsize (Kb) 792992 [startup+130.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 208623 0 0 0 12467 433 0 0 25 0 1 0 1796011438 845340672 204567 4294967295 134512640 134736556 3221224560 3221223088 134573010 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 206382 204567 1116 68 0 206314 0 [pid=1339] vsize: 825528 Current children cumulated CPU time (s) 129 Current children cumulated vsize (Kb) 825528 [startup+140.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 210211 0 0 0 13462 437 0 0 25 0 1 0 1796011438 851828736 206155 4294967295 134512640 134736556 3221224560 3221223068 1077399552 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 207966 206155 1116 68 0 207898 0 [pid=1339] vsize: 831864 Current children cumulated CPU time (s) 138.99 Current children cumulated vsize (Kb) 831864 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 211837 0 0 0 14456 441 0 0 25 0 1 0 1796011438 858451968 207781 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/1339/statm): 209583 207781 1116 68 0 209515 0 [pid=1339] vsize: 838332 Current children cumulated CPU time (s) 148.97 Current children cumulated vsize (Kb) 838332 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 213563 0 0 0 15449 445 0 0 25 0 1 0 1796011438 865480704 209507 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 211299 209507 1116 68 0 211231 0 [pid=1339] vsize: 845196 Current children cumulated CPU time (s) 158.94 Current children cumulated vsize (Kb) 845196 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 215455 0 0 0 16444 449 0 0 25 0 1 0 1796011438 873320448 211399 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 213213 211399 1116 68 0 213145 0 [pid=1339] vsize: 852852 Current children cumulated CPU time (s) 168.93 Current children cumulated vsize (Kb) 852852 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 217942 0 0 0 17437 455 0 0 25 0 1 0 1796011438 883458048 213886 4294967295 134512640 134736556 3221224560 3221223068 1077399552 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 215688 213886 1116 68 0 215620 0 [pid=1339] vsize: 862752 Current children cumulated CPU time (s) 178.92 Current children cumulated vsize (Kb) 862752 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 219143 0 0 0 18432 458 0 0 25 0 1 0 1796011438 888639488 215061 4294967295 134512640 134736556 3221224560 3221223136 134539919 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 216953 215061 1116 68 0 216885 0 [pid=1339] vsize: 867812 Current children cumulated CPU time (s) 188.9 Current children cumulated vsize (Kb) 867812 [startup+200.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 219767 0 0 0 19430 460 0 0 25 0 1 0 1796011438 891445248 215655 4294967295 134512640 134736556 3221224560 3221223136 134539919 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 217638 215655 1116 68 0 217570 0 [pid=1339] vsize: 870552 Current children cumulated CPU time (s) 198.9 Current children cumulated vsize (Kb) 870552 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 220331 0 0 0 20427 462 0 0 25 0 1 0 1796011438 894107648 216192 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 218288 216192 1116 68 0 218220 0 [pid=1339] vsize: 873152 Current children cumulated CPU time (s) 208.89 Current children cumulated vsize (Kb) 873152 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 220873 0 0 0 21424 464 0 0 25 0 1 0 1796011438 896434176 216714 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 218856 216714 1116 68 0 218788 0 [pid=1339] vsize: 875424 Current children cumulated CPU time (s) 218.88 Current children cumulated vsize (Kb) 875424 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 221404 0 0 0 22423 466 0 0 25 0 1 0 1796011438 898932736 217223 4294967295 134512640 134736556 3221224560 3221223328 134575378 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 219466 217223 1116 68 0 219398 0 [pid=1339] vsize: 877864 Current children cumulated CPU time (s) 228.89 Current children cumulated vsize (Kb) 877864 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 221906 0 0 0 23422 467 0 0 25 0 1 0 1796011438 901124096 217704 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 220001 217704 1116 68 0 219933 0 [pid=1339] vsize: 880004 Current children cumulated CPU time (s) 238.89 Current children cumulated vsize (Kb) 880004 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 222393 0 0 0 24420 468 0 0 25 0 1 0 1796011438 903344128 218170 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 220543 218170 1116 68 0 220475 0 [pid=1339] vsize: 882172 Current children cumulated CPU time (s) 248.88 Current children cumulated vsize (Kb) 882172 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 222886 0 0 0 25418 470 0 0 25 0 1 0 1796011438 905535488 218641 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 221078 218641 1116 68 0 221010 0 [pid=1339] vsize: 884312 Current children cumulated CPU time (s) 258.88 Current children cumulated vsize (Kb) 884312 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 223364 0 0 0 26416 472 0 0 25 0 1 0 1796011438 907620352 219096 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 221587 219096 1116 68 0 221519 0 [pid=1339] vsize: 886348 Current children cumulated CPU time (s) 268.88 Current children cumulated vsize (Kb) 886348 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 223812 0 0 0 27413 473 0 0 25 0 1 0 1796011438 909668352 219524 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 222087 219524 1116 68 0 222019 0 [pid=1339] vsize: 888348 Current children cumulated CPU time (s) 278.86 Current children cumulated vsize (Kb) 888348 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 224279 0 0 0 28412 475 0 0 25 0 1 0 1796011438 911753216 219970 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 222596 219970 1116 68 0 222528 0 [pid=1339] vsize: 890384 Current children cumulated CPU time (s) 288.87 Current children cumulated vsize (Kb) 890384 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 224756 0 0 0 29410 476 0 0 25 0 1 0 1796011438 913809408 220426 4294967295 134512640 134736556 3221224560 3221223136 134539919 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 223098 220426 1116 68 0 223030 0 [pid=1339] vsize: 892392 Current children cumulated CPU time (s) 298.86 Current children cumulated vsize (Kb) 892392 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 225199 0 0 0 30408 478 0 0 25 0 1 0 1796011438 915832832 220854 4294967295 134512640 134736556 3221224560 3221223136 134539932 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 223592 220854 1116 68 0 223524 0 [pid=1339] vsize: 894368 Current children cumulated CPU time (s) 308.86 Current children cumulated vsize (Kb) 894368 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 225597 0 0 0 31407 479 0 0 25 0 1 0 1796011438 917643264 221232 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 224034 221232 1116 68 0 223966 0 [pid=1339] vsize: 896136 Current children cumulated CPU time (s) 318.86 Current children cumulated vsize (Kb) 896136 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 226067 0 0 0 32406 480 0 0 25 0 1 0 1796011438 919699456 221682 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 224536 221682 1116 68 0 224468 0 [pid=1339] vsize: 898144 Current children cumulated CPU time (s) 328.86 Current children cumulated vsize (Kb) 898144 [startup+340.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 226755 0 0 0 33402 483 0 0 25 0 1 0 1796011438 922656768 222356 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/1339/statm): 225258 222356 1116 68 0 225190 0 [pid=1339] vsize: 901032 Current children cumulated CPU time (s) 338.85 Current children cumulated vsize (Kb) 901032 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 228063 0 0 0 34395 487 0 0 25 0 1 0 1796011438 928063488 223664 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 226578 223664 1116 68 0 226510 0 [pid=1339] vsize: 906312 Current children cumulated CPU time (s) 348.82 Current children cumulated vsize (Kb) 906312 [startup+360.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 229476 0 0 0 35389 491 0 0 25 0 1 0 1796011438 933875712 225077 4294967295 134512640 134736556 3221224560 3221223060 1077049360 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 227997 225077 1116 68 0 227929 0 [pid=1339] vsize: 911988 Current children cumulated CPU time (s) 358.8 Current children cumulated vsize (Kb) 911988 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) R 1338 1339 31915 0 -1 0 231312 0 0 0 36381 497 0 0 25 0 1 0 1796011438 941326336 226913 4294967295 134512640 134736556 3221224560 3221223216 134535746 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/1339/statm): 229816 226913 1116 68 0 229748 0 [pid=1339] vsize: 919264 Current children cumulated CPU time (s) 368.78 Current children cumulated vsize (Kb) 919264 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+372.003 s] Raw data (loadavg): 0.99 0.97 0.99 1/56 1339 Raw data (/proc/1339/stat): 1339 (bsolo) T 1338 1339 31915 0 -1 0 231884 0 0 0 36578 499 0 0 25 0 1 0 1796011438 943775744 227485 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/1339/statm): 230414 227485 1116 68 0 230346 0 [pid=1339] vsize: 921656 Current children cumulated CPU time (s) 370.77 Current children cumulated vsize (Kb) 921656 Sending SIGTERM to -1339 Sleeping 2 seconds Sending SIGKILL to -1339 One traced child (pid=1339) 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): 374.426 CPU time (s): 371.194 CPU user time (s): 365.783 CPU system time (s): 5.41018 CPU usage (%): 99.1366 Max. virtual memory (cumulated for all children) (Kb): 921656
ERROR: no interpretation found !