Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rentacar.opb |
MD5SUM | 173fbcf88732da3f8b39402ca13ca263 |
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 | 3540 |
Biggest coefficient in the objective function | 26214400000 |
Number of bits for the biggest coefficient in the objective function | 35 |
Sum of the numbers in the objective function | 6794775437175 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 26214400000 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 13700458527437 |
Number of bits of the biggest sum of numbers | 44 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 4.17836 |
Number of variables | 176588 |
Total number of constraints | 6965 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 55 |
Number of constraints which are nor clauses,nor cardinality constraints | 6910 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40360 |
LAUNCH ON wulflinc19 THE 2005-09-19 23:02:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=938 boxname=wulflinc19 idbench=938 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 173fbcf88732da3f8b39402ca13ca263 /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-rentacar.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-rentacar.opb IDLAUNCH: 938 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 910836 kB Buffers: 5312 kB Cached: 90380 kB SwapCached: 800 kB Active: 30216 kB Inactive: 68008 kB HighTotal: 131008 kB HighFree: 37352 kB LowTotal: 903652 kB LowFree: 873484 kB SwapTotal: 2097892 kB SwapFree: 2096492 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5652 kB Slab: 19764 kB Committed_AS: 64184 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 23:09:14 (client local time) WITH STATUS 20 IN 422.313 SECONDS stats: 938 7 422.313 20
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 176588 variables and 11899 constraints. s UNSATISFIABLE c Exit Code: 20 c Total time: 422.007 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/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853684250 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 107 3 90 68 0 39 0 [pid=27210] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-rentacar.opb [startup+10.0038 s] Raw data (loadavg): 1.08 1.02 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 33970 0 0 0 891 88 0 0 25 0 1 0 1853684250 141807616 33702 4294967295 134512640 134736556 3221224560 3221223200 1076999584 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/27210/statm): 34621 33702 1116 68 0 34553 0 [pid=27210] vsize: 138484 Current children cumulated CPU time (s) 9.79 Current children cumulated vsize (Kb) 138484 [startup+20.0046 s] Raw data (loadavg): 1.07 1.01 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 64982 0 0 0 1810 158 0 0 25 0 1 0 1853684250 266887168 64114 4294967295 134512640 134736556 3221224560 3221223456 134570884 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/27210/statm): 65158 64114 1116 68 0 65090 0 [pid=27210] vsize: 260632 Current children cumulated CPU time (s) 19.68 Current children cumulated vsize (Kb) 260632 [startup+30.0044 s] Raw data (loadavg): 1.06 1.01 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 75814 0 0 0 2778 185 0 0 25 0 1 0 1853684250 310996992 74946 4294967295 134512640 134736556 3221224560 3221221260 1077196748 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/27210/statm): 75927 74946 1116 68 0 75859 0 [pid=27210] vsize: 303708 Current children cumulated CPU time (s) 29.63 Current children cumulated vsize (Kb) 303708 [startup+40.0053 s] Raw data (loadavg): 1.05 1.01 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 102132 0 0 0 3703 247 0 0 25 0 1 0 1853684250 415432704 100067 4294967295 134512640 134736556 3221224560 3221223456 134570884 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 101424 100067 1116 68 0 101356 0 [pid=27210] vsize: 405696 Current children cumulated CPU time (s) 39.5 Current children cumulated vsize (Kb) 405696 [startup+50.0061 s] Raw data (loadavg): 1.04 1.01 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 111783 0 0 0 4675 270 0 0 25 0 1 0 1853684250 454705152 109718 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 111012 109718 1116 68 0 110944 0 [pid=27210] vsize: 444048 Current children cumulated CPU time (s) 49.45 Current children cumulated vsize (Kb) 444048 [startup+60.0069 s] Raw data (loadavg): 1.03 1.01 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 122520 0 0 0 5643 298 0 0 25 0 1 0 1853684250 498618368 120455 4294967295 134512640 134736556 3221224560 3221221260 1077198806 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 121733 120455 1116 68 0 121665 0 [pid=27210] vsize: 486932 Current children cumulated CPU time (s) 59.41 Current children cumulated vsize (Kb) 486932 [startup+70.0067 s] Raw data (loadavg): 1.03 1.01 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 136905 0 0 0 6603 331 0 0 25 0 1 0 1853684250 557248512 134838 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 136047 134838 1116 68 0 135979 0 [pid=27210] vsize: 544188 Current children cumulated CPU time (s) 69.34 Current children cumulated vsize (Kb) 544188 [startup+80.0065 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 137153 0 0 0 7602 333 0 0 25 0 1 0 1853684250 558288896 135066 4294967295 134512640 134736556 3221224560 3221223136 134539910 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 136301 135066 1116 68 0 136233 0 [pid=27210] vsize: 545204 Current children cumulated CPU time (s) 79.35 Current children cumulated vsize (Kb) 545204 [startup+90.0063 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 137214 0 0 0 8601 333 0 0 25 0 1 0 1853684250 558559232 135127 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 136367 135127 1116 68 0 136299 0 [pid=27210] vsize: 545468 Current children cumulated CPU time (s) 89.34 Current children cumulated vsize (Kb) 545468 [startup+100.006 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 137256 0 0 0 9601 334 0 0 25 0 1 0 1853684250 558694400 135169 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 136400 135169 1116 68 0 136332 0 [pid=27210] vsize: 545600 Current children cumulated CPU time (s) 99.35 Current children cumulated vsize (Kb) 545600 [startup+110.007 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 137448 0 0 0 10600 334 0 0 25 0 1 0 1853684250 559828992 135333 4294967295 134512640 134736556 3221224560 3221223136 134539924 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 136677 135333 1116 68 0 136609 0 [pid=27210] vsize: 546708 Current children cumulated CPU time (s) 109.34 Current children cumulated vsize (Kb) 546708 [startup+120.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 137456 0 0 0 11600 334 0 0 25 0 1 0 1853684250 559828992 135341 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 136677 135341 1116 68 0 136609 0 [pid=27210] vsize: 546708 Current children cumulated CPU time (s) 119.34 Current children cumulated vsize (Kb) 546708 [startup+130.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 137490 0 0 0 12600 335 0 0 25 0 1 0 1853684250 559828992 135375 4294967295 134512640 134736556 3221224560 3221223136 134539910 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 136677 135375 1116 68 0 136609 0 [pid=27210] vsize: 546708 Current children cumulated CPU time (s) 129.35 Current children cumulated vsize (Kb) 546708 [startup+140.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 137569 0 0 0 13599 335 0 0 25 0 1 0 1853684250 560316416 135454 4294967295 134512640 134736556 3221224560 3221223136 134539916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 136796 135454 1116 68 0 136728 0 [pid=27210] vsize: 547184 Current children cumulated CPU time (s) 139.34 Current children cumulated vsize (Kb) 547184 [startup+150.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 137875 0 0 0 14597 337 0 0 25 0 1 0 1853684250 561565696 135739 4294967295 134512640 134736556 3221224560 3221221260 1077191749 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 137101 135739 1116 68 0 137033 0 [pid=27210] vsize: 548404 Current children cumulated CPU time (s) 149.34 Current children cumulated vsize (Kb) 548404 [startup+160.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 138225 0 0 0 15596 338 0 0 25 0 1 0 1853684250 563191808 136070 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 137498 136070 1116 68 0 137430 0 [pid=27210] vsize: 549992 Current children cumulated CPU time (s) 159.34 Current children cumulated vsize (Kb) 549992 [startup+170.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 138292 0 0 0 16595 338 0 0 25 0 1 0 1853684250 563462144 136137 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 137564 136137 1116 68 0 137496 0 [pid=27210] vsize: 550256 Current children cumulated CPU time (s) 169.33 Current children cumulated vsize (Kb) 550256 [startup+180.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 138332 0 0 0 17595 339 0 0 25 0 1 0 1853684250 563597312 136177 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 137597 136177 1116 68 0 137529 0 [pid=27210] vsize: 550388 Current children cumulated CPU time (s) 179.34 Current children cumulated vsize (Kb) 550388 [startup+190.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 138521 0 0 0 18594 340 0 0 25 0 1 0 1853684250 564596736 136338 4294967295 134512640 134736556 3221224560 3221223136 134539944 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 137841 136338 1116 68 0 137773 0 [pid=27210] vsize: 551364 Current children cumulated CPU time (s) 189.34 Current children cumulated vsize (Kb) 551364 [startup+200.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 138529 0 0 0 19595 340 0 0 25 0 1 0 1853684250 564596736 136346 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 137841 136346 1116 68 0 137773 0 [pid=27210] vsize: 551364 Current children cumulated CPU time (s) 199.35 Current children cumulated vsize (Kb) 551364 [startup+210.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 138541 0 0 0 20595 340 0 0 25 0 1 0 1853684250 564596736 136358 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 137841 136358 1116 68 0 137773 0 [pid=27210] vsize: 551364 Current children cumulated CPU time (s) 209.35 Current children cumulated vsize (Kb) 551364 [startup+220.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 138720 0 0 0 21595 340 0 0 25 0 1 0 1853684250 565477376 136528 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 138056 136528 1116 68 0 137988 0 [pid=27210] vsize: 552224 Current children cumulated CPU time (s) 219.35 Current children cumulated vsize (Kb) 552224 [startup+230.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 138905 0 0 0 22594 341 0 0 25 0 1 0 1853684250 566165504 136701 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 138224 136701 1116 68 0 138156 0 [pid=27210] vsize: 552896 Current children cumulated CPU time (s) 229.35 Current children cumulated vsize (Kb) 552896 [startup+240.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 139014 0 0 0 23594 341 0 0 25 0 1 0 1853684250 566571008 136810 4294967295 134512640 134736556 3221224560 3221223136 134539940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 138323 136810 1116 68 0 138255 0 [pid=27210] vsize: 553292 Current children cumulated CPU time (s) 239.35 Current children cumulated vsize (Kb) 553292 [startup+250.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 139079 0 0 0 24593 342 0 0 25 0 1 0 1853684250 566841344 136875 4294967295 134512640 134736556 3221224560 3221223136 134539904 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 138389 136875 1116 68 0 138321 0 [pid=27210] vsize: 553556 Current children cumulated CPU time (s) 249.35 Current children cumulated vsize (Kb) 553556 [startup+260.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 139295 0 0 0 25593 342 0 0 25 0 1 0 1853684250 567975936 137063 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 138666 137063 1116 68 0 138598 0 [pid=27210] vsize: 554664 Current children cumulated CPU time (s) 259.35 Current children cumulated vsize (Kb) 554664 [startup+270.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 139334 0 0 0 26593 342 0 0 25 0 1 0 1853684250 568111104 137102 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 138699 137102 1116 68 0 138631 0 [pid=27210] vsize: 554796 Current children cumulated CPU time (s) 269.35 Current children cumulated vsize (Kb) 554796 [startup+280.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 139406 0 0 0 27593 343 0 0 25 0 1 0 1853684250 568381440 137174 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 138765 137174 1116 68 0 138697 0 [pid=27210] vsize: 555060 Current children cumulated CPU time (s) 279.36 Current children cumulated vsize (Kb) 555060 [startup+290.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 139622 0 0 0 28590 345 0 0 25 0 1 0 1853684250 569311232 137382 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 138992 137382 1116 68 0 138924 0 [pid=27210] vsize: 555968 Current children cumulated CPU time (s) 289.35 Current children cumulated vsize (Kb) 555968 [startup+300.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 139761 0 0 0 29590 345 0 0 25 0 1 0 1853684250 570011648 137507 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 139163 137507 1116 68 0 139095 0 [pid=27210] vsize: 556652 Current children cumulated CPU time (s) 299.35 Current children cumulated vsize (Kb) 556652 [startup+310.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 139812 0 0 0 30590 345 0 0 25 0 1 0 1853684250 570146816 137558 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 139196 137558 1116 68 0 139128 0 [pid=27210] vsize: 556784 Current children cumulated CPU time (s) 309.35 Current children cumulated vsize (Kb) 556784 [startup+320.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 140014 0 0 0 31590 345 0 0 25 0 1 0 1853684250 571281408 137732 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 139473 137732 1116 68 0 139405 0 [pid=27210] vsize: 557892 Current children cumulated CPU time (s) 319.35 Current children cumulated vsize (Kb) 557892 [startup+330.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 140020 0 0 0 32589 346 0 0 25 0 1 0 1853684250 571281408 137738 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 139473 137738 1116 68 0 139405 0 [pid=27210] vsize: 557892 Current children cumulated CPU time (s) 329.35 Current children cumulated vsize (Kb) 557892 [startup+340.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 140035 0 0 0 33589 346 0 0 25 0 1 0 1853684250 571281408 137753 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 139473 137753 1116 68 0 139405 0 [pid=27210] vsize: 557892 Current children cumulated CPU time (s) 339.35 Current children cumulated vsize (Kb) 557892 [startup+350.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 140129 0 0 0 34588 347 0 0 25 0 1 0 1853684250 571695104 137846 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/27210/statm): 139574 137846 1116 68 0 139506 0 [pid=27210] vsize: 558296 Current children cumulated CPU time (s) 349.35 Current children cumulated vsize (Kb) 558296 [startup+360.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 140350 0 0 0 35586 347 0 0 25 0 1 0 1853684250 572678144 138048 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 139814 138048 1116 68 0 139746 0 [pid=27210] vsize: 559256 Current children cumulated CPU time (s) 359.33 Current children cumulated vsize (Kb) 559256 [startup+370.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 140411 0 0 0 36586 347 0 0 25 0 1 0 1853684250 572948480 138109 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 139880 138109 1116 68 0 139812 0 [pid=27210] vsize: 559520 Current children cumulated CPU time (s) 369.33 Current children cumulated vsize (Kb) 559520 [startup+380.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 140457 0 0 0 37586 348 0 0 25 0 1 0 1853684250 573083648 138155 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 139913 138155 1116 68 0 139845 0 [pid=27210] vsize: 559652 Current children cumulated CPU time (s) 379.34 Current children cumulated vsize (Kb) 559652 [startup+390.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 140635 0 0 0 38585 349 0 0 25 0 1 0 1853684250 574083072 138305 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 140157 138305 1116 68 0 140089 0 [pid=27210] vsize: 560628 Current children cumulated CPU time (s) 389.34 Current children cumulated vsize (Kb) 560628 [startup+400.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 140648 0 0 0 39585 349 0 0 25 0 1 0 1853684250 574083072 138318 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 140157 138318 1116 68 0 140089 0 [pid=27210] vsize: 560628 Current children cumulated CPU time (s) 399.34 Current children cumulated vsize (Kb) 560628 [startup+410.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 140678 0 0 0 40586 349 0 0 25 0 1 0 1853684250 574218240 138348 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 140190 138348 1116 68 0 140122 0 [pid=27210] vsize: 560760 Current children cumulated CPU time (s) 409.35 Current children cumulated vsize (Kb) 560760 [startup+420.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 27210 Raw data (/proc/27210/stat): 27210 (bsolo) R 27209 27210 5929 0 -1 0 143658 0 0 0 41574 357 0 0 25 0 1 0 1853684250 586498048 141328 4294967295 134512640 134736556 3221224560 3221221428 1077001824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/27210/statm): 143188 141328 1116 68 0 143120 0 [pid=27210] vsize: 572752 Current children cumulated CPU time (s) 419.31 Current children cumulated vsize (Kb) 572752 One traced child (pid=27210) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 423.039 CPU time (s): 422.313 CPU user time (s): 418.001 CPU system time (s): 4.31134 CPU usage (%): 99.8283 Max. virtual memory (cumulated for all children) (Kb): 572752
ERROR: no interpretation found !