Name | web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb |
MD5SUM | 2c9d0c47cb8e4f2ef0877b0c52225df4 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 3.15452 |
Number of variables | 3249 |
Total number of constraints | 8983 |
Number of constraints which are clauses | 8599 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 384 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
LAUNCH ON wulflinc23 THE 2005-09-18 09:35:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=335 boxname=wulflinc23 idbench=335 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 2c9d0c47cb8e4f2ef0877b0c52225df4 /oldhome/oroussel/tmp/wulflinc23/normalized-ooo.tag8.ucl.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc23/normalized-ooo.tag8.ucl.opb IDLAUNCH: 335 /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: 949948 kB Buffers: 33892 kB Cached: 23904 kB SwapCached: 820 kB Active: 53552 kB Inactive: 6892 kB HighTotal: 131008 kB HighFree: 103712 kB LowTotal: 903652 kB LowFree: 846236 kB SwapTotal: 2097136 kB SwapFree: 2095864 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5692 kB Slab: 18836 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 09:41:07 (client local time) WITH STATUS 20 IN 331.675 SECONDS stats: 335 7 331.675 20
c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 3249 variables and 8983 constraints. c Using non-optimization problem switches. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 1.443 c After prepocess the problem consists of 3236 variables and 8953 constraints. c Restart #1 #Var: 3236 #Dec: 932 LB: 0 @ 3.886 c Restart #2 #Var: 3236 #Dec: 4287 LB: 0 @ 12.393 c Restart #3 #Var: 3236 #Dec: 8260 LB: 0 @ 25.114 c Restart #4 #Var: 3236 #Dec: 11434 LB: 0 @ 33.523 c Restart #5 #Var: 3236 #Dec: 12747 LB: 0 @ 59.903 c Restart #6 #Var: 3236 #Dec: 14168 LB: 0 @ 92.728 c Restart #7 #Var: 3236 #Dec: 15891 LB: 0 @ 129.65 c Restart #8 #Var: 3236 #Dec: 17877 LB: 0 @ 172.3 c Restart #9 #Var: 3236 #Dec: 20010 LB: 0 @ 222.54 c Restart #10 #Var: 3236 #Dec: 22307 LB: 0 @ 275.06 s UNSATISFIABLE c Exit Code: 20 c Total time: 331.65 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/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 1840229407 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6707/statm): 107 3 90 68 0 39 0 [pid=6707] 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/wulflinc23/normalized-ooo.tag8.ucl.opb [startup+10.0028 s] Raw data (loadavg): 0.94 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 2395 0 0 0 963 17 0 0 25 0 1 0 1840229407 13021184 2306 4294967295 134512640 134736556 3221224560 3221223136 134716334 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 3179 2306 1116 68 0 3111 0 [pid=6707] vsize: 12716 Current children cumulated CPU time (s) 9.8 Current children cumulated vsize (Kb) 12716 [startup+20.0035 s] Raw data (loadavg): 0.95 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 2546 0 0 0 1945 23 0 0 25 0 1 0 1840229407 13561856 2457 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6707/statm): 3311 2457 1116 68 0 3243 0 [pid=6707] vsize: 13244 Current children cumulated CPU time (s) 19.68 Current children cumulated vsize (Kb) 13244 [startup+30.0041 s] Raw data (loadavg): 0.95 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 2715 0 0 0 2924 31 0 0 25 0 1 0 1840229407 14237696 2626 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 3476 2626 1116 68 0 3408 0 [pid=6707] vsize: 13904 Current children cumulated CPU time (s) 29.55 Current children cumulated vsize (Kb) 13904 [startup+40.0038 s] Raw data (loadavg): 0.96 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 2867 0 0 0 3919 33 0 0 25 0 1 0 1840229407 14909440 2778 4294967295 134512640 134736556 3221224560 3221223080 134716525 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 3640 2778 1116 68 0 3572 0 [pid=6707] vsize: 14560 Current children cumulated CPU time (s) 39.52 Current children cumulated vsize (Kb) 14560 [startup+50.0044 s] Raw data (loadavg): 0.97 1.00 0.94 1/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) T 6706 6707 5299 0 -1 0 2992 0 0 0 4913 35 0 0 25 0 1 0 1840229407 15450112 2903 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6707/statm): 3772 2903 1116 68 0 3704 0 [pid=6707] vsize: 15088 Current children cumulated CPU time (s) 49.48 Current children cumulated vsize (Kb) 15088 [startup+60.005 s] Raw data (loadavg): 0.97 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 3124 0 0 0 5910 37 0 0 25 0 1 0 1840229407 15990784 3035 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 3904 3035 1116 68 0 3836 0 [pid=6707] vsize: 15616 Current children cumulated CPU time (s) 59.47 Current children cumulated vsize (Kb) 15616 [startup+70.0047 s] Raw data (loadavg): 0.97 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 3256 0 0 0 6906 39 0 0 25 0 1 0 1840229407 16531456 3167 4294967295 134512640 134736556 3221224560 3221223248 134524459 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 4036 3167 1116 68 0 3968 0 [pid=6707] vsize: 16144 Current children cumulated CPU time (s) 69.45 Current children cumulated vsize (Kb) 16144 [startup+80.0053 s] Raw data (loadavg): 0.98 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 3405 0 0 0 7902 41 0 0 25 0 1 0 1840229407 17068032 3316 4294967295 134512640 134736556 3221224560 3221223180 134543056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 4167 3316 1116 68 0 4099 0 [pid=6707] vsize: 16668 Current children cumulated CPU time (s) 79.43 Current children cumulated vsize (Kb) 16668 [startup+90.005 s] Raw data (loadavg): 0.98 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 3545 0 0 0 8899 43 0 0 25 0 1 0 1840229407 17739776 3456 4294967295 134512640 134736556 3221224560 3221223108 134544519 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 4331 3456 1116 68 0 4263 0 [pid=6707] vsize: 17324 Current children cumulated CPU time (s) 89.42 Current children cumulated vsize (Kb) 17324 [startup+100.006 s] Raw data (loadavg): 0.98 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 3731 0 0 0 9894 45 0 0 25 0 1 0 1840229407 18415616 3642 4294967295 134512640 134736556 3221224560 3221223092 134716943 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 4496 3642 1116 68 0 4428 0 [pid=6707] vsize: 17984 Current children cumulated CPU time (s) 99.39 Current children cumulated vsize (Kb) 17984 [startup+110.006 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 3863 0 0 0 10890 47 0 0 25 0 1 0 1840229407 18956288 3774 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 4628 3774 1116 68 0 4560 0 [pid=6707] vsize: 18512 Current children cumulated CPU time (s) 109.37 Current children cumulated vsize (Kb) 18512 [startup+120.006 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 4005 0 0 0 11885 49 0 0 25 0 1 0 1840229407 19628032 3916 4294967295 134512640 134736556 3221224560 3221223108 134544529 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 4792 3916 1116 68 0 4724 0 [pid=6707] vsize: 19168 Current children cumulated CPU time (s) 119.34 Current children cumulated vsize (Kb) 19168 [startup+130.006 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 4115 0 0 0 12882 51 0 0 25 0 1 0 1840229407 20033536 4026 4294967295 134512640 134736556 3221224560 3221223276 134524324 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 4891 4026 1116 68 0 4823 0 [pid=6707] vsize: 19564 Current children cumulated CPU time (s) 129.33 Current children cumulated vsize (Kb) 19564 [startup+140.006 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 4248 0 0 0 13877 53 0 0 25 0 1 0 1840229407 20574208 4159 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 5023 4159 1116 68 0 4955 0 [pid=6707] vsize: 20092 Current children cumulated CPU time (s) 139.3 Current children cumulated vsize (Kb) 20092 [startup+150.007 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 4394 0 0 0 14873 55 0 0 25 0 1 0 1840229407 21114880 4305 4294967295 134512640 134736556 3221224560 3221223132 134634654 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 5155 4305 1116 68 0 5087 0 [pid=6707] vsize: 20620 Current children cumulated CPU time (s) 149.28 Current children cumulated vsize (Kb) 20620 [startup+160.006 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 4529 0 0 0 15870 57 0 0 25 0 1 0 1840229407 21655552 4440 4294967295 134512640 134736556 3221224560 3221223120 134543206 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 5287 4440 1116 68 0 5219 0 [pid=6707] vsize: 21148 Current children cumulated CPU time (s) 159.27 Current children cumulated vsize (Kb) 21148 [startup+170.006 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 4670 0 0 0 16867 59 0 0 25 0 1 0 1840229407 22331392 4581 4294967295 134512640 134736556 3221224560 3221223084 134543225 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 5452 4581 1116 68 0 5384 0 [pid=6707] vsize: 21808 Current children cumulated CPU time (s) 169.26 Current children cumulated vsize (Kb) 21808 [startup+180.007 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 4837 0 0 0 17861 62 0 0 25 0 1 0 1840229407 23007232 4748 4294967295 134512640 134736556 3221224560 3221223232 134528802 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 5617 4748 1116 68 0 5549 0 [pid=6707] vsize: 22468 Current children cumulated CPU time (s) 179.23 Current children cumulated vsize (Kb) 22468 [startup+190.006 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 4986 0 0 0 18857 64 0 0 25 0 1 0 1840229407 23547904 4897 4294967295 134512640 134736556 3221224560 3221223084 134540061 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 5749 4897 1116 68 0 5681 0 [pid=6707] vsize: 22996 Current children cumulated CPU time (s) 189.21 Current children cumulated vsize (Kb) 22996 [startup+200.007 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 5110 0 0 0 19852 66 0 0 25 0 1 0 1840229407 24088576 5021 4294967295 134512640 134736556 3221224560 3221223152 134716144 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 5881 5021 1116 68 0 5813 0 [pid=6707] vsize: 23524 Current children cumulated CPU time (s) 199.18 Current children cumulated vsize (Kb) 23524 [startup+210.008 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 5239 0 0 0 20847 68 0 0 25 0 1 0 1840229407 24633344 5150 4294967295 134512640 134736556 3221224560 3221223036 134536620 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 6014 5150 1116 68 0 5946 0 [pid=6707] vsize: 24056 Current children cumulated CPU time (s) 209.15 Current children cumulated vsize (Kb) 24056 [startup+220.007 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 5382 0 0 0 21842 71 0 0 25 0 1 0 1840229407 25174016 5293 4294967295 134512640 134736556 3221224560 3221223152 134716141 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 6146 5293 1116 68 0 6078 0 [pid=6707] vsize: 24584 Current children cumulated CPU time (s) 219.13 Current children cumulated vsize (Kb) 24584 [startup+230.008 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 5547 0 0 0 22836 75 0 0 25 0 1 0 1840229407 25849856 5458 4294967295 134512640 134736556 3221224560 3221223232 134528741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 6311 5458 1116 68 0 6243 0 [pid=6707] vsize: 25244 Current children cumulated CPU time (s) 229.11 Current children cumulated vsize (Kb) 25244 [startup+240.008 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 5698 0 0 0 23832 77 0 0 25 0 1 0 1840229407 26525696 5609 4294967295 134512640 134736556 3221224560 3221223172 134544519 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 6476 5609 1116 68 0 6408 0 [pid=6707] vsize: 25904 Current children cumulated CPU time (s) 239.09 Current children cumulated vsize (Kb) 25904 [startup+250.008 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) T 6706 6707 5299 0 -1 0 5819 0 0 0 24828 78 0 0 25 0 1 0 1840229407 27066368 5730 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6707/statm): 6608 5730 1116 68 0 6540 0 [pid=6707] vsize: 26432 Current children cumulated CPU time (s) 249.06 Current children cumulated vsize (Kb) 26432 [startup+260.009 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 5970 0 0 0 25824 81 0 0 25 0 1 0 1840229407 27607040 5881 4294967295 134512640 134736556 3221224560 3221223276 134694604 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 6740 5881 1116 68 0 6672 0 [pid=6707] vsize: 26960 Current children cumulated CPU time (s) 259.05 Current children cumulated vsize (Kb) 26960 [startup+270.009 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 6090 0 0 0 26820 82 0 0 25 0 1 0 1840229407 28147712 6001 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 6872 6001 1116 68 0 6804 0 [pid=6707] vsize: 27488 Current children cumulated CPU time (s) 269.02 Current children cumulated vsize (Kb) 27488 [startup+280.009 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 6226 0 0 0 27815 84 0 0 25 0 1 0 1840229407 28688384 6137 4294967295 134512640 134736556 3221224560 3221223036 134536648 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 7004 6137 1116 68 0 6936 0 [pid=6707] vsize: 28016 Current children cumulated CPU time (s) 278.99 Current children cumulated vsize (Kb) 28016 [startup+290.009 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 6374 0 0 0 28811 86 0 0 25 0 1 0 1840229407 29364224 6285 4294967295 134512640 134736556 3221224560 3221223108 134544525 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 7169 6285 1116 68 0 7101 0 [pid=6707] vsize: 28676 Current children cumulated CPU time (s) 288.97 Current children cumulated vsize (Kb) 28676 [startup+300.009 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 6485 0 0 0 29807 88 0 0 25 0 1 0 1840229407 29769728 6396 4294967295 134512640 134736556 3221224560 3221223140 134716328 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 7268 6396 1116 68 0 7200 0 [pid=6707] vsize: 29072 Current children cumulated CPU time (s) 298.95 Current children cumulated vsize (Kb) 29072 [startup+310.01 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 6607 0 0 0 30803 90 0 0 25 0 1 0 1840229407 30310400 6518 4294967295 134512640 134736556 3221224560 3221223296 134529337 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 7400 6518 1116 68 0 7332 0 [pid=6707] vsize: 29600 Current children cumulated CPU time (s) 308.93 Current children cumulated vsize (Kb) 29600 [startup+320.01 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 6736 0 0 0 31799 92 0 0 25 0 1 0 1840229407 30851072 6647 4294967295 134512640 134736556 3221224560 3221223104 134544561 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6707/statm): 7532 6647 1116 68 0 7464 0 [pid=6707] vsize: 30128 Current children cumulated CPU time (s) 318.91 Current children cumulated vsize (Kb) 30128 [startup+330.01 s] Raw data (loadavg): 0.99 1.00 0.94 2/56 6707 Raw data (/proc/6707/stat): 6707 (bsolo) R 6706 6707 5299 0 -1 0 6853 0 0 0 32796 94 0 0 25 0 1 0 1840229407 31256576 6764 4294967295 134512640 134736556 3221224560 3221223184 134544644 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6707/statm): 7631 6764 1116 68 0 7563 0 [pid=6707] vsize: 30524 Current children cumulated CPU time (s) 328.9 Current children cumulated vsize (Kb) 30524 One traced child (pid=6707) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 332.787 CPU time (s): 331.675 CPU user time (s): 330.707 CPU system time (s): 0.967852 CPU usage (%): 99.6658 Max. virtual memory (cumulated for all children) (Kb): 30524
ERROR: no interpretation found !