Name | mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rentacar.opb |
MD5SUM | fc18c06c8ef4546744f8764e792a7520 |
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.15137 |
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 wulflinc25 THE 2005-09-19 23:58:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1045 boxname=wulflinc25 idbench=1045 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: fc18c06c8ef4546744f8764e792a7520 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-rentacar.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-rentacar.opb IDLAUNCH: 1045 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 904892 kB Buffers: 15500 kB Cached: 84680 kB SwapCached: 868 kB Active: 34464 kB Inactive: 68344 kB HighTotal: 131008 kB HighFree: 42616 kB LowTotal: 903652 kB LowFree: 862276 kB SwapTotal: 2097892 kB SwapFree: 2096524 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5724 kB Slab: 21112 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 00:05:26 (client local time) WITH STATUS 20 IN 421.626 SECONDS stats: 1045 7 421.626 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: 421.321 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/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1854064805 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 107 3 90 68 0 39 0 [pid=25235] 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/wulflinc25/normalized-mps-v2-13-7-rentacar.opb [startup+10.0031 s] Raw data (loadavg): 0.92 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 33924 0 0 0 891 88 0 0 25 0 1 0 1854064805 141660160 33656 4294967295 134512640 134736556 3221224560 3221222824 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/25235/statm): 34585 33656 1116 68 0 34517 0 [pid=25235] vsize: 138340 Current children cumulated CPU time (s) 9.79 Current children cumulated vsize (Kb) 138340 [startup+20.0037 s] Raw data (loadavg): 0.93 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 64657 0 0 0 1804 161 0 0 25 0 1 0 1854064805 265527296 63789 4294967295 134512640 134736556 3221224560 3221223088 134573621 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/25235/statm): 64826 63793 1116 68 0 64758 0 [pid=25235] vsize: 259304 Current children cumulated CPU time (s) 19.65 Current children cumulated vsize (Kb) 259304 [startup+30.0043 s] Raw data (loadavg): 0.94 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 75585 0 0 0 2769 189 0 0 25 0 1 0 1854064805 310013952 74717 4294967295 134512640 134736556 3221224560 3221222824 1077360313 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/25235/statm): 75687 74717 1116 68 0 75619 0 [pid=25235] vsize: 302748 Current children cumulated CPU time (s) 29.58 Current children cumulated vsize (Kb) 302748 [startup+40.0039 s] Raw data (loadavg): 0.95 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 102015 0 0 0 3699 248 0 0 25 0 1 0 1854064805 415002624 99950 4294967295 134512640 134736556 3221224560 3221221404 1077259081 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 101319 99950 1116 68 0 101251 0 [pid=25235] vsize: 405276 Current children cumulated CPU time (s) 39.47 Current children cumulated vsize (Kb) 405276 [startup+50.0045 s] Raw data (loadavg): 0.96 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 111776 0 0 0 4670 272 0 0 25 0 1 0 1854064805 454705152 109711 4294967295 134512640 134736556 3221224560 3221222804 1077414363 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 111012 109711 1116 68 0 110944 0 [pid=25235] vsize: 444048 Current children cumulated CPU time (s) 49.42 Current children cumulated vsize (Kb) 444048 [startup+60.0041 s] Raw data (loadavg): 0.96 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 122458 0 0 0 5640 298 0 0 25 0 1 0 1854064805 498327552 120393 4294967295 134512640 134736556 3221224560 3221223136 134541219 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 121662 120393 1116 68 0 121594 0 [pid=25235] vsize: 486648 Current children cumulated CPU time (s) 59.38 Current children cumulated vsize (Kb) 486648 [startup+70.0047 s] Raw data (loadavg): 0.97 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 136905 0 0 0 6600 331 0 0 25 0 1 0 1854064805 557248512 134838 4294967295 134512640 134736556 3221224560 3221223136 134539916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 136047 134838 1116 68 0 135979 0 [pid=25235] vsize: 544188 Current children cumulated CPU time (s) 69.31 Current children cumulated vsize (Kb) 544188 [startup+80.0053 s] Raw data (loadavg): 0.97 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 137153 0 0 0 7600 332 0 0 25 0 1 0 1854064805 558288896 135066 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 136301 135066 1116 68 0 136233 0 [pid=25235] vsize: 545204 Current children cumulated CPU time (s) 79.32 Current children cumulated vsize (Kb) 545204 [startup+90.0049 s] Raw data (loadavg): 0.98 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 137214 0 0 0 8600 332 0 0 25 0 1 0 1854064805 558559232 135127 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 136367 135127 1116 68 0 136299 0 [pid=25235] vsize: 545468 Current children cumulated CPU time (s) 89.32 Current children cumulated vsize (Kb) 545468 [startup+100.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 137257 0 0 0 9600 332 0 0 25 0 1 0 1854064805 558694400 135170 4294967295 134512640 134736556 3221224560 3221223136 134539984 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 136400 135170 1116 68 0 136332 0 [pid=25235] vsize: 545600 Current children cumulated CPU time (s) 99.32 Current children cumulated vsize (Kb) 545600 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 137448 0 0 0 10599 333 0 0 25 0 1 0 1854064805 559828992 135333 4294967295 134512640 134736556 3221224560 3221223136 134539932 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 136677 135333 1116 68 0 136609 0 [pid=25235] vsize: 546708 Current children cumulated CPU time (s) 109.32 Current children cumulated vsize (Kb) 546708 [startup+120.007 s] Raw data (loadavg): 0.98 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 137456 0 0 0 11600 333 0 0 25 0 1 0 1854064805 559828992 135341 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 136677 135341 1116 68 0 136609 0 [pid=25235] vsize: 546708 Current children cumulated CPU time (s) 119.33 Current children cumulated vsize (Kb) 546708 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 137490 0 0 0 12600 333 0 0 25 0 1 0 1854064805 559828992 135375 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 136677 135375 1116 68 0 136609 0 [pid=25235] vsize: 546708 Current children cumulated CPU time (s) 129.33 Current children cumulated vsize (Kb) 546708 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 137572 0 0 0 13599 333 0 0 25 0 1 0 1854064805 560316416 135457 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/25235/statm): 136796 135457 1116 68 0 136728 0 [pid=25235] vsize: 547184 Current children cumulated CPU time (s) 139.32 Current children cumulated vsize (Kb) 547184 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 137921 0 0 0 14596 336 0 0 25 0 1 0 1854064805 561864704 135783 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 137174 135783 1116 68 0 137106 0 [pid=25235] vsize: 548696 Current children cumulated CPU time (s) 149.32 Current children cumulated vsize (Kb) 548696 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 138243 0 0 0 15595 336 0 0 25 0 1 0 1854064805 563191808 136088 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 137498 136088 1116 68 0 137430 0 [pid=25235] vsize: 549992 Current children cumulated CPU time (s) 159.31 Current children cumulated vsize (Kb) 549992 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 138294 0 0 0 16595 337 0 0 25 0 1 0 1854064805 563462144 136139 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 137564 136139 1116 68 0 137496 0 [pid=25235] vsize: 550256 Current children cumulated CPU time (s) 169.32 Current children cumulated vsize (Kb) 550256 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 138333 0 0 0 17595 337 0 0 25 0 1 0 1854064805 563597312 136178 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 137597 136178 1116 68 0 137529 0 [pid=25235] vsize: 550388 Current children cumulated CPU time (s) 179.32 Current children cumulated vsize (Kb) 550388 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 138521 0 0 0 18595 337 0 0 25 0 1 0 1854064805 564596736 136338 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 137841 136338 1116 68 0 137773 0 [pid=25235] vsize: 551364 Current children cumulated CPU time (s) 189.32 Current children cumulated vsize (Kb) 551364 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 138529 0 0 0 19595 337 0 0 25 0 1 0 1854064805 564596736 136346 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 137841 136346 1116 68 0 137773 0 [pid=25235] vsize: 551364 Current children cumulated CPU time (s) 199.32 Current children cumulated vsize (Kb) 551364 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 138542 0 0 0 20595 338 0 0 25 0 1 0 1854064805 564596736 136359 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 137841 136359 1116 68 0 137773 0 [pid=25235] vsize: 551364 Current children cumulated CPU time (s) 209.33 Current children cumulated vsize (Kb) 551364 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 138734 0 0 0 21595 338 0 0 25 0 1 0 1854064805 565477376 136542 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 138056 136542 1116 68 0 137988 0 [pid=25235] vsize: 552224 Current children cumulated CPU time (s) 219.33 Current children cumulated vsize (Kb) 552224 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 138905 0 0 0 22594 339 0 0 25 0 1 0 1854064805 566165504 136701 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 138224 136701 1116 68 0 138156 0 [pid=25235] vsize: 552896 Current children cumulated CPU time (s) 229.33 Current children cumulated vsize (Kb) 552896 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 139022 0 0 0 23593 340 0 0 25 0 1 0 1854064805 566706176 136818 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 138356 136818 1116 68 0 138288 0 [pid=25235] vsize: 553424 Current children cumulated CPU time (s) 239.33 Current children cumulated vsize (Kb) 553424 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 139088 0 0 0 24594 340 0 0 25 0 1 0 1854064805 566841344 136884 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 138389 136884 1116 68 0 138321 0 [pid=25235] vsize: 553556 Current children cumulated CPU time (s) 249.34 Current children cumulated vsize (Kb) 553556 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 139295 0 0 0 25593 340 0 0 25 0 1 0 1854064805 567975936 137063 4294967295 134512640 134736556 3221224560 3221223136 134539904 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 138666 137063 1116 68 0 138598 0 [pid=25235] vsize: 554664 Current children cumulated CPU time (s) 259.33 Current children cumulated vsize (Kb) 554664 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 139334 0 0 0 26594 340 0 0 25 0 1 0 1854064805 568111104 137102 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 138699 137102 1116 68 0 138631 0 [pid=25235] vsize: 554796 Current children cumulated CPU time (s) 269.34 Current children cumulated vsize (Kb) 554796 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 139406 0 0 0 27594 340 0 0 25 0 1 0 1854064805 568381440 137174 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 138765 137174 1116 68 0 138697 0 [pid=25235] vsize: 555060 Current children cumulated CPU time (s) 279.34 Current children cumulated vsize (Kb) 555060 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 139628 0 0 0 28591 341 0 0 25 0 1 0 1854064805 569446400 137388 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 139025 137388 1116 68 0 138957 0 [pid=25235] vsize: 556100 Current children cumulated CPU time (s) 289.32 Current children cumulated vsize (Kb) 556100 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 139763 0 0 0 29591 341 0 0 25 0 1 0 1854064805 570011648 137509 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 139163 137509 1116 68 0 139095 0 [pid=25235] vsize: 556652 Current children cumulated CPU time (s) 299.32 Current children cumulated vsize (Kb) 556652 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 139813 0 0 0 30591 342 0 0 25 0 1 0 1854064805 570146816 137559 4294967295 134512640 134736556 3221224560 3221223136 134539904 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 139196 137559 1116 68 0 139128 0 [pid=25235] vsize: 556784 Current children cumulated CPU time (s) 309.33 Current children cumulated vsize (Kb) 556784 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 140014 0 0 0 31591 342 0 0 25 0 1 0 1854064805 571281408 137732 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 139473 137732 1116 68 0 139405 0 [pid=25235] vsize: 557892 Current children cumulated CPU time (s) 319.33 Current children cumulated vsize (Kb) 557892 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 140020 0 0 0 32591 342 0 0 25 0 1 0 1854064805 571281408 137738 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 139473 137738 1116 68 0 139405 0 [pid=25235] vsize: 557892 Current children cumulated CPU time (s) 329.33 Current children cumulated vsize (Kb) 557892 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 140036 0 0 0 33591 342 0 0 25 0 1 0 1854064805 571281408 137754 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 139473 137754 1116 68 0 139405 0 [pid=25235] vsize: 557892 Current children cumulated CPU time (s) 339.33 Current children cumulated vsize (Kb) 557892 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 140141 0 0 0 34589 343 0 0 25 0 1 0 1854064805 571695104 137858 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/25235/statm): 139574 137858 1116 68 0 139506 0 [pid=25235] vsize: 558296 Current children cumulated CPU time (s) 349.32 Current children cumulated vsize (Kb) 558296 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 140353 0 0 0 35588 344 0 0 25 0 1 0 1854064805 572678144 138051 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 139814 138051 1116 68 0 139746 0 [pid=25235] vsize: 559256 Current children cumulated CPU time (s) 359.32 Current children cumulated vsize (Kb) 559256 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 140413 0 0 0 36588 344 0 0 25 0 1 0 1854064805 572948480 138111 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 139880 138111 1116 68 0 139812 0 [pid=25235] vsize: 559520 Current children cumulated CPU time (s) 369.32 Current children cumulated vsize (Kb) 559520 [startup+380.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 140459 0 0 0 37588 344 0 0 25 0 1 0 1854064805 573083648 138157 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 139913 138157 1116 68 0 139845 0 [pid=25235] vsize: 559652 Current children cumulated CPU time (s) 379.32 Current children cumulated vsize (Kb) 559652 [startup+390.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 140635 0 0 0 38588 345 0 0 25 0 1 0 1854064805 574083072 138305 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 140157 138305 1116 68 0 140089 0 [pid=25235] vsize: 560628 Current children cumulated CPU time (s) 389.33 Current children cumulated vsize (Kb) 560628 [startup+400.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 140650 0 0 0 39587 345 0 0 25 0 1 0 1854064805 574083072 138320 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 140157 138320 1116 68 0 140089 0 [pid=25235] vsize: 560628 Current children cumulated CPU time (s) 399.32 Current children cumulated vsize (Kb) 560628 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 140678 0 0 0 40587 345 0 0 25 0 1 0 1854064805 574218240 138348 4294967295 134512640 134736556 3221224560 3221223324 1077334080 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/25235/statm): 140190 138348 1116 68 0 140122 0 [pid=25235] vsize: 560760 Current children cumulated CPU time (s) 409.32 Current children cumulated vsize (Kb) 560760 [startup+420.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/56 25235 Raw data (/proc/25235/stat): 25235 (bsolo) R 25234 25235 4419 0 -1 0 144691 0 0 0 41573 356 0 0 25 0 1 0 1854064805 590606336 142361 4294967295 134512640 134736556 3221224560 3221221260 1077196420 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/25235/statm): 144191 142361 1116 68 0 144123 0 [pid=25235] vsize: 576764 Current children cumulated CPU time (s) 419.29 Current children cumulated vsize (Kb) 576764 One traced child (pid=25235) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 422.374 CPU time (s): 421.626 CPU user time (s): 417.35 CPU system time (s): 4.27635 CPU usage (%): 99.823 Max. virtual memory (cumulated for all children) (Kb): 576764
ERROR: no interpretation found !