Name | mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb |
MD5SUM | 652a81faea87c0443f84aaa4223a3702 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 125440 |
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 | 6576662400 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 4020224000000 |
Number of bits of the biggest number in a constraint | 42 |
Biggest sum of numbers in a constraint | 8483418475850 |
Number of bits of the biggest sum of numbers | 43 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.18067 |
Number of variables | 188160 |
Total number of constraints | 3136 |
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 | 3136 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 480 |
LAUNCH ON wulflinc2 THE 2005-09-19 22:20:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=827 boxname=wulflinc2 idbench=827 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 652a81faea87c0443f84aaa4223a3702 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-maros-r7.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-maros-r7.opb IDLAUNCH: 827 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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 : 2 cpu MHz : 451.191 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: 817860 kB Buffers: 40360 kB Cached: 149272 kB SwapCached: 1040 kB Active: 102900 kB Inactive: 89432 kB HighTotal: 131008 kB HighFree: 3808 kB LowTotal: 903652 kB LowFree: 814052 kB SwapTotal: 2097136 kB SwapFree: 2095568 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5700 kB Slab: 18804 kB Committed_AS: 72360 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 22:28:15 (client local time) WITH STATUS 20 IN 453.163 SECONDS stats: 827 7 453.163 20
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 188160 variables and 6211 constraints. s UNSATISFIABLE c Exit Code: 20 c Total time: 452.757 s
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/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795235866 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 107 3 90 68 0 39 0 [pid=30730] 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/wulflinc2/normalized-mps-v2-13-7-maros-r7.opb [startup+10.003 s] Raw data (loadavg): 0.95 1.00 1.02 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 67143 0 0 0 830 137 0 0 25 0 1 0 1795235866 277389312 66739 4294967295 134512640 134736556 3221224560 3221223104 134573621 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 67722 66742 1116 68 0 67654 0 [pid=30730] vsize: 270888 Current children cumulated CPU time (s) 9.67 Current children cumulated vsize (Kb) 270888 [startup+20.0037 s] Raw data (loadavg): 0.95 1.00 1.02 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 94682 0 0 0 1766 191 0 0 25 0 1 0 1795235866 386539520 93037 4294967295 134512640 134736556 3221224560 3221221260 1077191297 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 94370 93037 1116 68 0 94302 0 [pid=30730] vsize: 377480 Current children cumulated CPU time (s) 19.57 Current children cumulated vsize (Kb) 377480 [startup+30.0034 s] Raw data (loadavg): 0.96 1.00 1.02 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 98419 0 0 0 2754 200 0 0 25 0 1 0 1795235866 401838080 96774 4294967295 134512640 134736556 3221224560 3221223260 134544554 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 98105 96774 1116 68 0 98037 0 [pid=30730] vsize: 392420 Current children cumulated CPU time (s) 29.54 Current children cumulated vsize (Kb) 392420 [startup+40.0031 s] Raw data (loadavg): 0.97 1.00 1.02 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 101411 0 0 0 3745 208 0 0 25 0 1 0 1795235866 414072832 99766 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30730/statm): 101092 99766 1116 68 0 101024 0 [pid=30730] vsize: 404368 Current children cumulated CPU time (s) 39.53 Current children cumulated vsize (Kb) 404368 [startup+50.0038 s] Raw data (loadavg): 0.97 1.00 1.02 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 104341 0 0 0 4735 215 0 0 25 0 1 0 1795235866 425959424 102696 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 103994 102696 1116 68 0 103926 0 [pid=30730] vsize: 415976 Current children cumulated CPU time (s) 49.5 Current children cumulated vsize (Kb) 415976 [startup+60.0035 s] Raw data (loadavg): 0.97 1.00 1.01 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 107068 0 0 0 5727 221 0 0 25 0 1 0 1795235866 437174272 105423 4294967295 134512640 134736556 3221224560 3221222668 1076880083 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 106732 105423 1116 68 0 106664 0 [pid=30730] vsize: 426928 Current children cumulated CPU time (s) 59.48 Current children cumulated vsize (Kb) 426928 [startup+70.0042 s] Raw data (loadavg): 0.98 1.00 1.01 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 109720 0 0 0 6720 227 0 0 25 0 1 0 1795235866 448008192 108075 4294967295 134512640 134736556 3221224560 3221223072 134574353 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 109377 108075 1116 68 0 109309 0 [pid=30730] vsize: 437508 Current children cumulated CPU time (s) 69.47 Current children cumulated vsize (Kb) 437508 [startup+80.0049 s] Raw data (loadavg): 0.98 1.00 1.01 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 112178 0 0 0 7714 233 0 0 25 0 1 0 1795235866 458072064 110533 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 111834 110533 1116 68 0 111766 0 [pid=30730] vsize: 447336 Current children cumulated CPU time (s) 79.47 Current children cumulated vsize (Kb) 447336 [startup+90.0046 s] Raw data (loadavg): 0.98 1.00 1.01 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 114573 0 0 0 8707 238 0 0 25 0 1 0 1795235866 467849216 112928 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30730/statm): 114221 112928 1116 68 0 114153 0 [pid=30730] vsize: 456884 Current children cumulated CPU time (s) 89.45 Current children cumulated vsize (Kb) 456884 [startup+100.005 s] Raw data (loadavg): 0.99 1.00 1.01 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 116814 0 0 0 9701 243 0 0 25 0 1 0 1795235866 476999680 115169 4294967295 134512640 134736556 3221224560 3221222828 1076999581 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 116455 115169 1116 68 0 116387 0 [pid=30730] vsize: 465820 Current children cumulated CPU time (s) 99.44 Current children cumulated vsize (Kb) 465820 [startup+110.006 s] Raw data (loadavg): 0.99 1.00 1.01 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 118718 0 0 0 10694 248 0 0 25 0 1 0 1795235866 484769792 117073 4294967295 134512640 134736556 3221224560 3221222684 1077246126 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 118352 117073 1116 68 0 118284 0 [pid=30730] vsize: 473408 Current children cumulated CPU time (s) 109.42 Current children cumulated vsize (Kb) 473408 [startup+120.007 s] Raw data (loadavg): 0.99 1.00 1.01 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 120664 0 0 0 11688 254 0 0 25 0 1 0 1795235866 492646400 119019 4294967295 134512640 134736556 3221224560 3221223328 1076611952 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 120275 119019 1116 68 0 120207 0 [pid=30730] vsize: 481100 Current children cumulated CPU time (s) 119.42 Current children cumulated vsize (Kb) 481100 [startup+130.006 s] Raw data (loadavg): 0.99 1.00 1.01 1/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) T 30729 30730 6872 0 -1 0 122487 0 0 0 12681 258 0 0 25 0 1 0 1795235866 500088832 120842 4294967295 134512640 134736556 3221224560 3221222780 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30730/statm): 122092 120842 1116 68 0 122024 0 [pid=30730] vsize: 488368 Current children cumulated CPU time (s) 129.39 Current children cumulated vsize (Kb) 488368 [startup+140.007 s] Raw data (loadavg): 0.99 1.00 1.01 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 124456 0 0 0 13674 264 0 0 25 0 1 0 1795235866 508162048 122811 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 124063 122811 1116 68 0 123995 0 [pid=30730] vsize: 496252 Current children cumulated CPU time (s) 139.38 Current children cumulated vsize (Kb) 496252 [startup+150.008 s] Raw data (loadavg): 0.99 1.00 1.01 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 126278 0 0 0 14666 269 0 0 25 0 1 0 1795235866 515629056 124633 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 125886 124633 1116 68 0 125818 0 [pid=30730] vsize: 503544 Current children cumulated CPU time (s) 149.35 Current children cumulated vsize (Kb) 503544 [startup+160.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 128338 0 0 0 15661 273 0 0 25 0 1 0 1795235866 524070912 126693 4294967295 134512640 134736556 3221224560 3221221340 1077359153 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 127947 126693 1116 68 0 127879 0 [pid=30730] vsize: 511788 Current children cumulated CPU time (s) 159.34 Current children cumulated vsize (Kb) 511788 [startup+170.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 130423 0 0 0 16655 279 0 0 25 0 1 0 1795235866 532525056 128778 4294967295 134512640 134736556 3221224560 3221223088 134573621 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 130011 128778 1116 68 0 129943 0 [pid=30730] vsize: 520044 Current children cumulated CPU time (s) 169.34 Current children cumulated vsize (Kb) 520044 [startup+180.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 132586 0 0 0 17648 284 0 0 25 0 1 0 1795235866 541396992 130941 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 132177 130941 1116 68 0 132109 0 [pid=30730] vsize: 528708 Current children cumulated CPU time (s) 179.32 Current children cumulated vsize (Kb) 528708 [startup+190.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 135036 0 0 0 18640 291 0 0 25 0 1 0 1795235866 551403520 133391 4294967295 134512640 134736556 3221224560 3221222796 1077360225 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 134620 133391 1116 68 0 134552 0 [pid=30730] vsize: 538480 Current children cumulated CPU time (s) 189.31 Current children cumulated vsize (Kb) 538480 [startup+200.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 137392 0 0 0 19634 296 0 0 25 0 1 0 1795235866 561020928 135747 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 136968 135747 1116 68 0 136900 0 [pid=30730] vsize: 547872 Current children cumulated CPU time (s) 199.3 Current children cumulated vsize (Kb) 547872 [startup+210.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 139638 0 0 0 20627 302 0 0 25 0 1 0 1795235866 570232832 137993 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30730/statm): 139217 137993 1116 68 0 139149 0 [pid=30730] vsize: 556868 Current children cumulated CPU time (s) 209.29 Current children cumulated vsize (Kb) 556868 [startup+220.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 141736 0 0 0 21618 308 0 0 25 0 1 0 1795235866 578854912 140091 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30730/statm): 141322 140091 1116 68 0 141254 0 [pid=30730] vsize: 565288 Current children cumulated CPU time (s) 219.26 Current children cumulated vsize (Kb) 565288 [startup+230.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 143790 0 0 0 22611 314 0 0 25 0 1 0 1795235866 587214848 142145 4294967295 134512640 134736556 3221224560 3221223144 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 143363 142145 1116 68 0 143295 0 [pid=30730] vsize: 573452 Current children cumulated CPU time (s) 229.25 Current children cumulated vsize (Kb) 573452 [startup+240.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 145680 0 0 0 23604 319 0 0 25 0 1 0 1795235866 594960384 144035 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 145254 144035 1116 68 0 145186 0 [pid=30730] vsize: 581016 Current children cumulated CPU time (s) 239.23 Current children cumulated vsize (Kb) 581016 [startup+250.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 147596 0 0 0 24598 324 0 0 25 0 1 0 1795235866 602746880 145951 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 147155 145951 1116 68 0 147087 0 [pid=30730] vsize: 588620 Current children cumulated CPU time (s) 249.22 Current children cumulated vsize (Kb) 588620 [startup+260.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 149390 0 0 0 25594 328 0 0 25 0 1 0 1795235866 610066432 147745 4294967295 134512640 134736556 3221224560 3221221404 1077254186 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 148942 147745 1116 68 0 148874 0 [pid=30730] vsize: 595768 Current children cumulated CPU time (s) 259.22 Current children cumulated vsize (Kb) 595768 [startup+270.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 151194 0 0 0 26588 332 0 0 25 0 1 0 1795235866 617422848 149549 4294967295 134512640 134736556 3221224560 3221223324 1076531764 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 150738 149549 1116 68 0 150670 0 [pid=30730] vsize: 602952 Current children cumulated CPU time (s) 269.2 Current children cumulated vsize (Kb) 602952 [startup+280.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 152911 0 0 0 27583 336 0 0 25 0 1 0 1795235866 624447488 151266 4294967295 134512640 134736556 3221224560 3221221260 1077196009 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 152453 151266 1116 68 0 152385 0 [pid=30730] vsize: 609812 Current children cumulated CPU time (s) 279.19 Current children cumulated vsize (Kb) 609812 [startup+290.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 154638 0 0 0 28579 339 0 0 25 0 1 0 1795235866 631504896 152993 4294967295 134512640 134736556 3221224560 3221222444 1077253177 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 154176 152993 1116 68 0 154108 0 [pid=30730] vsize: 616704 Current children cumulated CPU time (s) 289.18 Current children cumulated vsize (Kb) 616704 [startup+300.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 156314 0 0 0 29573 344 0 0 25 0 1 0 1795235866 638390272 154669 4294967295 134512640 134736556 3221224560 3221223088 134572908 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 155857 154669 1116 68 0 155789 0 [pid=30730] vsize: 623428 Current children cumulated CPU time (s) 299.17 Current children cumulated vsize (Kb) 623428 [startup+310.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 158004 0 0 0 30568 348 0 0 25 0 1 0 1795235866 645320704 156359 4294967295 134512640 134736556 3221224560 3221223144 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 157549 156359 1116 68 0 157481 0 [pid=30730] vsize: 630196 Current children cumulated CPU time (s) 309.16 Current children cumulated vsize (Kb) 630196 [startup+320.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 159652 0 0 0 31563 353 0 0 25 0 1 0 1795235866 652042240 158007 4294967295 134512640 134736556 3221224560 3221221260 1077197713 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 159190 158007 1116 68 0 159122 0 [pid=30730] vsize: 636760 Current children cumulated CPU time (s) 319.16 Current children cumulated vsize (Kb) 636760 [startup+330.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 161241 0 0 0 32557 357 0 0 25 0 1 0 1795235866 658481152 159596 4294967295 134512640 134736556 3221224560 3221223068 1077399588 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30730/statm): 160762 159596 1116 68 0 160694 0 [pid=30730] vsize: 643048 Current children cumulated CPU time (s) 329.14 Current children cumulated vsize (Kb) 643048 [startup+340.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 162971 0 0 0 33550 363 0 0 25 0 1 0 1795235866 665554944 161326 4294967295 134512640 134736556 3221224560 3221223308 134518288 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 162489 161326 1116 68 0 162421 0 [pid=30730] vsize: 649956 Current children cumulated CPU time (s) 339.13 Current children cumulated vsize (Kb) 649956 [startup+350.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 164611 0 0 0 34546 366 0 0 25 0 1 0 1795235866 672292864 162966 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 164134 162966 1116 68 0 164066 0 [pid=30730] vsize: 656536 Current children cumulated CPU time (s) 349.12 Current children cumulated vsize (Kb) 656536 [startup+360.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 166306 0 0 0 35540 371 0 0 25 0 1 0 1795235866 679219200 164661 4294967295 134512640 134736556 3221224560 3221223136 134541320 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 165825 164661 1116 68 0 165757 0 [pid=30730] vsize: 663300 Current children cumulated CPU time (s) 359.11 Current children cumulated vsize (Kb) 663300 [startup+370.013 s] Raw data (loadavg): 1.07 1.02 1.01 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 167825 0 0 0 36535 375 0 0 25 0 1 0 1795235866 685457408 166180 4294967295 134512640 134736556 3221224560 3221222444 1077253201 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 167348 166180 1116 68 0 167280 0 [pid=30730] vsize: 669392 Current children cumulated CPU time (s) 369.1 Current children cumulated vsize (Kb) 669392 [startup+380.014 s] Raw data (loadavg): 1.06 1.02 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 168815 0 0 0 37530 378 0 0 25 0 1 0 1795235866 689520640 167170 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 168340 167170 1116 68 0 168272 0 [pid=30730] vsize: 673360 Current children cumulated CPU time (s) 379.08 Current children cumulated vsize (Kb) 673360 [startup+390.014 s] Raw data (loadavg): 1.05 1.01 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 169909 0 0 0 38527 381 0 0 25 0 1 0 1795235866 694013952 168264 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 169437 168264 1116 68 0 169369 0 [pid=30730] vsize: 677748 Current children cumulated CPU time (s) 389.08 Current children cumulated vsize (Kb) 677748 [startup+400.013 s] Raw data (loadavg): 1.04 1.01 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 171438 0 0 0 39522 384 0 0 25 0 1 0 1795235866 700149760 169793 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 170935 169793 1116 68 0 170867 0 [pid=30730] vsize: 683740 Current children cumulated CPU time (s) 399.06 Current children cumulated vsize (Kb) 683740 [startup+410.013 s] Raw data (loadavg): 1.04 1.01 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 175847 0 0 0 40508 395 0 0 25 0 1 0 1795235866 718258176 174202 4294967295 134512640 134736556 3221224560 3221221324 1077091057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 175356 174202 1116 68 0 175288 0 [pid=30730] vsize: 701424 Current children cumulated CPU time (s) 409.03 Current children cumulated vsize (Kb) 701424 [startup+420.014 s] Raw data (loadavg): 1.03 1.01 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 181927 0 0 0 41489 410 0 0 25 0 1 0 1795235866 743088128 180282 4294967295 134512640 134736556 3221224560 3221221404 1077253647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 181418 180282 1116 68 0 181350 0 [pid=30730] vsize: 725672 Current children cumulated CPU time (s) 418.99 Current children cumulated vsize (Kb) 725672 [startup+430.013 s] Raw data (loadavg): 1.03 1.01 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 187684 0 0 0 42470 426 0 0 25 0 1 0 1795235866 766672896 186039 4294967295 134512640 134736556 3221224560 3221222428 1076880029 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 187176 186039 1116 68 0 187108 0 [pid=30730] vsize: 748704 Current children cumulated CPU time (s) 428.96 Current children cumulated vsize (Kb) 748704 [startup+440.013 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 191149 0 0 0 43457 436 0 0 25 0 1 0 1795235866 780865536 189504 4294967295 134512640 134736556 3221224560 3221221260 1077197737 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 190641 189504 1116 68 0 190573 0 [pid=30730] vsize: 762564 Current children cumulated CPU time (s) 438.93 Current children cumulated vsize (Kb) 762564 [startup+450.014 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 30730 Raw data (/proc/30730/stat): 30730 (bsolo) R 30729 30730 6872 0 -1 0 193911 0 0 0 44446 444 0 0 25 0 1 0 1795235866 792084480 192266 4294967295 134512640 134736556 3221224560 3221223304 134560228 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30730/statm): 193380 192266 1116 68 0 193312 0 [pid=30730] vsize: 773520 Current children cumulated CPU time (s) 448.9 Current children cumulated vsize (Kb) 773520 One traced child (pid=30730) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 454.31 CPU time (s): 453.163 CPU user time (s): 447.863 CPU system time (s): 5.30019 CPU usage (%): 99.7474 Max. virtual memory (cumulated for all children) (Kb): 773520
ERROR: no interpretation found !