Name | mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-wood1p.opb |
MD5SUM | a2815b77f36d91ef7299d509f20c9b2a |
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 | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 53687091200000000 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 66413144120266883072 |
Number of bits of the biggest sum of numbers | 66 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 77820 |
Total number of constraints | 244 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 244 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 77760 |
LAUNCH ON wulflinc29 THE 2005-09-18 10:56:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=484 boxname=wulflinc29 idbench=484 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: a2815b77f36d91ef7299d509f20c9b2a /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-wood1p.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-wood1p.opb IDLAUNCH: 484 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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.020 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: 897648 kB Buffers: 29556 kB Cached: 77228 kB SwapCached: 792 kB Active: 59068 kB Inactive: 50424 kB HighTotal: 131008 kB HighFree: 52444 kB LowTotal: 903652 kB LowFree: 845204 kB SwapTotal: 2097892 kB SwapFree: 2096664 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5736 kB Slab: 21688 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 11:02:14 (client local time) WITH STATUS 0 IN 363.423 SECONDS stats: 484 7 363.423 0
c INFO: OSL Context initialized. c BIG Int formula... c Parse Error 8 c Problem opening input file name: /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-wood1p.opb 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/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1840691995 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 107 3 90 68 0 39 0 [pid=21502] 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/wulflinc29/normalized-mps-v2-20-10-wood1p.opb [startup+10.0035 s] Raw data (loadavg): 0.93 0.96 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 6878 0 0 0 972 19 0 0 25 0 1 0 1840691995 31543296 6768 4294967295 134512640 134736556 3221224560 3221221404 1077253348 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 7701 6768 1116 68 0 7633 0 [pid=21502] vsize: 30804 Current children cumulated CPU time (s) 9.91 Current children cumulated vsize (Kb) 30804 [startup+20.0043 s] Raw data (loadavg): 0.94 0.96 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 9038 0 0 0 1965 25 0 0 25 0 1 0 1840691995 40534016 8905 4294967295 134512640 134736556 3221224560 3221223136 134539904 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 9896 8905 1116 68 0 9828 0 [pid=21502] vsize: 39584 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 39584 [startup+30.0051 s] Raw data (loadavg): 0.95 0.96 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 10685 0 0 0 2960 30 0 0 25 0 1 0 1840691995 47693824 10530 4294967295 134512640 134736556 3221224560 3221223136 134539946 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 11644 10530 1116 68 0 11576 0 [pid=21502] vsize: 46576 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 46576 [startup+40.0059 s] Raw data (loadavg): 0.96 0.96 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 11608 0 0 0 3956 32 0 0 25 0 1 0 1840691995 51634176 11433 4294967295 134512640 134736556 3221224560 3221222852 1077314202 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 12606 11433 1116 68 0 12538 0 [pid=21502] vsize: 50424 Current children cumulated CPU time (s) 39.88 Current children cumulated vsize (Kb) 50424 [startup+50.0067 s] Raw data (loadavg): 0.97 0.96 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 12186 0 0 0 4955 34 0 0 25 0 1 0 1840691995 54161408 11989 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 13223 11989 1116 68 0 13155 0 [pid=21502] vsize: 52892 Current children cumulated CPU time (s) 49.89 Current children cumulated vsize (Kb) 52892 [startup+60.0075 s] Raw data (loadavg): 0.97 0.96 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 13020 0 0 0 5950 37 0 0 25 0 1 0 1840691995 57696256 12800 4294967295 134512640 134736556 3221224560 3221223068 1077399560 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 14086 12800 1116 68 0 14018 0 [pid=21502] vsize: 56344 Current children cumulated CPU time (s) 59.87 Current children cumulated vsize (Kb) 56344 [startup+70.0073 s] Raw data (loadavg): 0.97 0.96 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 14781 0 0 0 6945 42 0 0 25 0 1 0 1840691995 65052672 14539 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 15882 14539 1116 68 0 15814 0 [pid=21502] vsize: 63528 Current children cumulated CPU time (s) 69.87 Current children cumulated vsize (Kb) 63528 [startup+80.0081 s] Raw data (loadavg): 0.98 0.96 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 15359 0 0 0 7943 44 0 0 25 0 1 0 1840691995 67674112 15093 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 16522 15093 1116 68 0 16454 0 [pid=21502] vsize: 66088 Current children cumulated CPU time (s) 79.87 Current children cumulated vsize (Kb) 66088 [startup+90.0088 s] Raw data (loadavg): 0.98 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 16939 0 0 0 8938 48 0 0 25 0 1 0 1840691995 74346496 16653 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 18151 16653 1116 68 0 18083 0 [pid=21502] vsize: 72604 Current children cumulated CPU time (s) 89.86 Current children cumulated vsize (Kb) 72604 [startup+100.009 s] Raw data (loadavg): 0.98 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 17545 0 0 0 9935 50 0 0 25 0 1 0 1840691995 76918784 17242 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 18779 17242 1116 68 0 18711 0 [pid=21502] vsize: 75116 Current children cumulated CPU time (s) 99.85 Current children cumulated vsize (Kb) 75116 [startup+110.009 s] Raw data (loadavg): 0.98 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 18097 0 0 0 10933 52 0 0 25 0 1 0 1840691995 79323136 17773 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 19366 17773 1116 68 0 19298 0 [pid=21502] vsize: 77464 Current children cumulated CPU time (s) 109.85 Current children cumulated vsize (Kb) 77464 [startup+120.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 18797 0 0 0 11930 55 0 0 25 0 1 0 1840691995 82358272 18451 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 20107 18451 1116 68 0 20039 0 [pid=21502] vsize: 80428 Current children cumulated CPU time (s) 119.85 Current children cumulated vsize (Kb) 80428 [startup+130.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 20236 0 0 0 12925 59 0 0 25 0 1 0 1840691995 88412160 19866 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 21585 19866 1116 68 0 21517 0 [pid=21502] vsize: 86340 Current children cumulated CPU time (s) 129.84 Current children cumulated vsize (Kb) 86340 [startup+140.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 22236 0 0 0 13918 65 0 0 25 0 1 0 1840691995 96645120 21848 4294967295 134512640 134736556 3221224560 3221223136 134539916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 23595 21848 1116 68 0 23527 0 [pid=21502] vsize: 94380 Current children cumulated CPU time (s) 139.83 Current children cumulated vsize (Kb) 94380 [startup+150.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 23220 0 0 0 14914 68 0 0 25 0 1 0 1840691995 100827136 22811 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 24616 22811 1116 68 0 24548 0 [pid=21502] vsize: 98464 Current children cumulated CPU time (s) 149.82 Current children cumulated vsize (Kb) 98464 [startup+160.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 23801 0 0 0 15912 69 0 0 25 0 1 0 1840691995 103407616 23372 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 25246 23372 1116 68 0 25178 0 [pid=21502] vsize: 100984 Current children cumulated CPU time (s) 159.81 Current children cumulated vsize (Kb) 100984 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 28183 0 0 0 16900 78 0 0 25 0 1 0 1840691995 121606144 27675 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 29689 27675 1116 68 0 29621 0 [pid=21502] vsize: 118756 Current children cumulated CPU time (s) 169.78 Current children cumulated vsize (Kb) 118756 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 29695 0 0 0 17895 83 0 0 25 0 1 0 1840691995 126779392 28908 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 30952 28908 1116 68 0 30884 0 [pid=21502] vsize: 123808 Current children cumulated CPU time (s) 179.78 Current children cumulated vsize (Kb) 123808 [startup+190.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 31084 0 0 0 18891 87 0 0 25 0 1 0 1840691995 132591616 30281 4294967295 134512640 134736556 3221224560 3221223068 1077399588 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 32371 30281 1116 68 0 32303 0 [pid=21502] vsize: 129484 Current children cumulated CPU time (s) 189.78 Current children cumulated vsize (Kb) 129484 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 31658 0 0 0 19889 88 0 0 25 0 1 0 1840691995 135065600 30832 4294967295 134512640 134736556 3221224560 3221223136 134539916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 32975 30832 1116 68 0 32907 0 [pid=21502] vsize: 131900 Current children cumulated CPU time (s) 199.77 Current children cumulated vsize (Kb) 131900 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 33027 0 0 0 20885 91 0 0 25 0 1 0 1840691995 140750848 32188 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 34363 32188 1116 68 0 34295 0 [pid=21502] vsize: 137452 Current children cumulated CPU time (s) 209.76 Current children cumulated vsize (Kb) 137452 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 33897 0 0 0 21881 94 0 0 25 0 1 0 1840691995 144588800 33033 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 35300 33033 1116 68 0 35232 0 [pid=21502] vsize: 141200 Current children cumulated CPU time (s) 219.75 Current children cumulated vsize (Kb) 141200 [startup+230.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 34365 0 0 0 22880 95 0 0 25 0 1 0 1840691995 146513920 33486 4294967295 134512640 134736556 3221224560 3221223136 134539946 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 35770 33486 1116 68 0 35702 0 [pid=21502] vsize: 143080 Current children cumulated CPU time (s) 229.75 Current children cumulated vsize (Kb) 143080 [startup+240.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 34941 0 0 0 23878 96 0 0 25 0 1 0 1840691995 149106688 34040 4294967295 134512640 134736556 3221224560 3221223136 134539910 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 36403 34040 1116 68 0 36335 0 [pid=21502] vsize: 145612 Current children cumulated CPU time (s) 239.74 Current children cumulated vsize (Kb) 145612 [startup+250.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 35896 0 0 0 24876 99 0 0 25 0 1 0 1840691995 153006080 34980 4294967295 134512640 134736556 3221224560 3221223056 134572850 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 37355 34980 1116 68 0 37287 0 [pid=21502] vsize: 149420 Current children cumulated CPU time (s) 249.75 Current children cumulated vsize (Kb) 149420 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 37018 0 0 0 25871 103 0 0 25 0 1 0 1840691995 157810688 36091 4294967295 134512640 134736556 3221224560 3221223076 134572757 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 38528 36091 1116 68 0 38460 0 [pid=21502] vsize: 154112 Current children cumulated CPU time (s) 259.74 Current children cumulated vsize (Kb) 154112 [startup+270.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 38321 0 0 0 26867 106 0 0 25 0 1 0 1840691995 163332096 37372 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 39876 37372 1116 68 0 39808 0 [pid=21502] vsize: 159504 Current children cumulated CPU time (s) 269.73 Current children cumulated vsize (Kb) 159504 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 38873 0 0 0 27864 108 0 0 25 0 1 0 1840691995 165580800 37908 4294967295 134512640 134736556 3221224560 3221223320 134575400 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 40425 37908 1116 68 0 40357 0 [pid=21502] vsize: 161700 Current children cumulated CPU time (s) 279.72 Current children cumulated vsize (Kb) 161700 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 39416 0 0 0 28862 110 0 0 25 0 1 0 1840691995 168079360 38432 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 41035 38432 1116 68 0 40967 0 [pid=21502] vsize: 164140 Current children cumulated CPU time (s) 289.72 Current children cumulated vsize (Kb) 164140 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 39881 0 0 0 29861 111 0 0 25 0 1 0 1840691995 170012672 38882 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 41507 38882 1116 68 0 41439 0 [pid=21502] vsize: 166028 Current children cumulated CPU time (s) 299.72 Current children cumulated vsize (Kb) 166028 [startup+310.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 40486 0 0 0 30857 114 0 0 25 0 1 0 1840691995 172589056 39469 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 42136 39469 1116 68 0 42068 0 [pid=21502] vsize: 168544 Current children cumulated CPU time (s) 309.71 Current children cumulated vsize (Kb) 168544 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 41665 0 0 0 31854 116 0 0 25 0 1 0 1840691995 177635328 40628 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 43368 40628 1116 68 0 43300 0 [pid=21502] vsize: 173472 Current children cumulated CPU time (s) 319.7 Current children cumulated vsize (Kb) 173472 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 42487 0 0 0 32852 118 0 0 25 0 1 0 1840691995 181108736 41434 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 44216 41434 1116 68 0 44148 0 [pid=21502] vsize: 176864 Current children cumulated CPU time (s) 329.7 Current children cumulated vsize (Kb) 176864 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 44226 0 0 0 33846 122 0 0 25 0 1 0 1840691995 188391424 43154 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21502/statm): 45994 43154 1116 68 0 45926 0 [pid=21502] vsize: 183976 Current children cumulated CPU time (s) 339.68 Current children cumulated vsize (Kb) 183976 [startup+350.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 44985 0 0 0 34843 125 0 0 25 0 1 0 1840691995 191627264 43890 4294967295 134512640 134736556 3221224560 3221223136 134539924 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 46784 43890 1116 68 0 46716 0 [pid=21502] vsize: 187136 Current children cumulated CPU time (s) 349.68 Current children cumulated vsize (Kb) 187136 [startup+360.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 21502 Raw data (/proc/21502/stat): 21502 (bsolo) R 21501 21502 19818 0 -1 0 45460 0 0 0 35841 127 0 0 25 0 1 0 1840691995 193642496 44351 4294967295 134512640 134736556 3221224560 3221223088 134572973 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21502/statm): 47276 44351 1116 68 0 47208 0 [pid=21502] vsize: 189104 Current children cumulated CPU time (s) 359.68 Current children cumulated vsize (Kb) 189104 One traced child (pid=21502) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 363.757 CPU time (s): 363.423 CPU user time (s): 362.053 CPU system time (s): 1.36979 CPU usage (%): 99.9082 Max. virtual memory (cumulated for all children) (Kb): 189104
ERROR: no interpretation found !