Name | web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb |
MD5SUM | 16020fb7e9a574406a9b7b25cd98594c |
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 | 9.12861 |
Number of variables | 11476 |
Total number of constraints | 33090 |
Number of constraints which are clauses | 32382 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 708 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
LAUNCH ON wulflinc10 THE 2005-09-18 09:33:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=331 boxname=wulflinc10 idbench=331 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 16020fb7e9a574406a9b7b25cd98594c /oldhome/oroussel/tmp/wulflinc10/normalized-ooo.rf9.ucl.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc10/normalized-ooo.rf9.ucl.opb IDLAUNCH: 331 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 2 cpu MHz : 450.999 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: 949460 kB Buffers: 33856 kB Cached: 24668 kB SwapCached: 228 kB Active: 54596 kB Inactive: 6900 kB HighTotal: 131008 kB HighFree: 102536 kB LowTotal: 903652 kB LowFree: 846924 kB SwapTotal: 2097136 kB SwapFree: 2096756 kB Dirty: 24 kB Writeback: 0 kB Mapped: 6272 kB Slab: 18136 kB Committed_AS: 64128 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 09:46:26 (client local time) WITH STATUS 20 IN 804.102 SECONDS stats: 331 7 804.102 20
c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 11476 variables and 33090 constraints. c Using non-optimization problem switches. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 6.097 c After prepocess the problem consists of 11450 variables and 33010 constraints. c Restart #1 #Var: 11450 #Dec: 2323 LB: 0 @ 20.546 c Restart #2 #Var: 11449 #Dec: 5943 LB: 0 @ 48.031 c Restart #3 #Var: 11402 #Dec: 10600 LB: 0 @ 85.359 c Restart #4 #Var: 11372 #Dec: 13158 LB: 0 @ 135.77 c Restart #5 #Var: 11372 #Dec: 15161 LB: 0 @ 183.74 c Restart #6 #Var: 11317 #Dec: 17532 LB: 0 @ 265.26 c Restart #7 #Var: 11243 #Dec: 19601 LB: 0 @ 340.12 c Restart #8 #Var: 11162 #Dec: 22592 LB: 0 @ 428.01 c Restart #9 #Var: 11145 #Dec: 25230 LB: 0 @ 500.82 c Restart #10 #Var: 11099 #Dec: 28043 LB: 0 @ 574.42 c CHANGE Heuristic... c Restart #0 #Var: 11035 #Dec: 31471 LB: 0 @ 687.25 c Restart #1 #Var: 11035 #Dec: 31821 LB: 0 @ 696.42 c Restart #2 #Var: 11014 #Dec: 33116 LB: 0 @ 713.38 c Restart #3 #Var: 7603 #Dec: 34035 LB: 0 @ 738.88 c Restart #4 #Var: 7570 #Dec: 35274 LB: 0 @ 772.32 s UNSATISFIABLE c Exit Code: 20 c Total time: 804.07 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/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1782012169 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 107 3 90 68 0 39 0 [pid=23976] 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/wulflinc10/normalized-ooo.rf9.ucl.opb [startup+10.003 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6794 0 0 0 962 22 0 0 25 0 1 0 1782012169 31297536 6704 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 7641 6704 1116 68 0 7573 0 [pid=23976] vsize: 30564 Current children cumulated CPU time (s) 9.84 Current children cumulated vsize (Kb) 30564 [startup+20.0026 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6838 0 0 0 1954 24 0 0 25 0 1 0 1782012169 31432704 6748 4294967295 134512640 134736556 3221224576 3221223168 134716144 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 7674 6748 1116 68 0 7606 0 [pid=23976] vsize: 30696 Current children cumulated CPU time (s) 19.78 Current children cumulated vsize (Kb) 30696 [startup+30.0031 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6883 0 0 0 2944 27 0 0 25 0 1 0 1782012169 31703040 6793 4294967295 134512640 134736556 3221224576 3221223120 134543639 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 7740 6793 1116 68 0 7672 0 [pid=23976] vsize: 30960 Current children cumulated CPU time (s) 29.71 Current children cumulated vsize (Kb) 30960 [startup+40.0037 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6897 0 0 0 3941 29 0 0 25 0 1 0 1782012169 31703040 6807 4294967295 134512640 134736556 3221224576 3221223116 134543868 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 7740 6807 1116 68 0 7672 0 [pid=23976] vsize: 30960 Current children cumulated CPU time (s) 39.7 Current children cumulated vsize (Kb) 30960 [startup+50.0042 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) T 23975 23976 22582 0 -1 0 6927 0 0 0 4937 30 0 0 25 0 1 0 1782012169 31838208 6837 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/23976/statm): 7773 6837 1116 68 0 7705 0 [pid=23976] vsize: 31092 Current children cumulated CPU time (s) 49.67 Current children cumulated vsize (Kb) 31092 [startup+60.0048 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6967 0 0 0 5932 31 0 0 25 0 1 0 1782012169 31973376 6877 4294967295 134512640 134736556 3221224576 3221223120 134540280 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 7806 6877 1116 68 0 7738 0 [pid=23976] vsize: 31224 Current children cumulated CPU time (s) 59.63 Current children cumulated vsize (Kb) 31224 [startup+70.0054 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 6987 0 0 0 6929 33 0 0 25 0 1 0 1782012169 32108544 6897 4294967295 134512640 134736556 3221224576 3221223188 134544525 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 7839 6897 1116 68 0 7771 0 [pid=23976] vsize: 31356 Current children cumulated CPU time (s) 69.62 Current children cumulated vsize (Kb) 31356 [startup+80.0059 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) T 23975 23976 22582 0 -1 0 7025 0 0 0 7920 36 0 0 25 0 1 0 1782012169 32243712 6935 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/23976/statm): 7872 6935 1116 68 0 7804 0 [pid=23976] vsize: 31488 Current children cumulated CPU time (s) 79.56 Current children cumulated vsize (Kb) 31488 [startup+90.0065 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7111 0 0 0 8912 39 0 0 25 0 1 0 1782012169 32649216 7021 4294967295 134512640 134736556 3221224576 3221223104 134716511 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 7971 7021 1116 68 0 7903 0 [pid=23976] vsize: 31884 Current children cumulated CPU time (s) 89.51 Current children cumulated vsize (Kb) 31884 [startup+100.007 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) T 23975 23976 22582 0 -1 0 7128 0 0 0 9909 40 0 0 25 0 1 0 1782012169 32649216 7038 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/23976/statm): 7971 7038 1116 68 0 7903 0 [pid=23976] vsize: 31884 Current children cumulated CPU time (s) 99.49 Current children cumulated vsize (Kb) 31884 [startup+110.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7172 0 0 0 10905 41 0 0 25 0 1 0 1782012169 32784384 7082 4294967295 134512640 134736556 3221224576 3221223140 134537472 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8004 7082 1116 68 0 7936 0 [pid=23976] vsize: 32016 Current children cumulated CPU time (s) 109.46 Current children cumulated vsize (Kb) 32016 [startup+120.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7209 0 0 0 11903 42 0 0 25 0 1 0 1782012169 33054720 7119 4294967295 134512640 134736556 3221224576 3221223100 134540147 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8070 7119 1116 68 0 8002 0 [pid=23976] vsize: 32280 Current children cumulated CPU time (s) 119.45 Current children cumulated vsize (Kb) 32280 [startup+130.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7256 0 0 0 12900 43 0 0 25 0 1 0 1782012169 33189888 7166 4294967295 134512640 134736556 3221224576 3221223256 134528815 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8103 7166 1116 68 0 8035 0 [pid=23976] vsize: 32412 Current children cumulated CPU time (s) 129.43 Current children cumulated vsize (Kb) 32412 [startup+140.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7286 0 0 0 13897 44 0 0 25 0 1 0 1782012169 33325056 7196 4294967295 134512640 134736556 3221224576 3221222864 134717435 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8136 7196 1116 68 0 8068 0 [pid=23976] vsize: 32544 Current children cumulated CPU time (s) 139.41 Current children cumulated vsize (Kb) 32544 [startup+150.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7371 0 0 0 14893 46 0 0 25 0 1 0 1782012169 33595392 7281 4294967295 134512640 134736556 3221224576 3221223200 134537350 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8202 7281 1116 68 0 8134 0 [pid=23976] vsize: 32808 Current children cumulated CPU time (s) 149.39 Current children cumulated vsize (Kb) 32808 [startup+160.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7460 0 0 0 15889 47 0 0 25 0 1 0 1782012169 34000896 7370 4294967295 134512640 134736556 3221224576 3221223016 134634645 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8301 7370 1116 68 0 8233 0 [pid=23976] vsize: 33204 Current children cumulated CPU time (s) 159.36 Current children cumulated vsize (Kb) 33204 [startup+170.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7496 0 0 0 16887 48 0 0 25 0 1 0 1782012169 34136064 7406 4294967295 134512640 134736556 3221224576 3221223252 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8334 7406 1116 68 0 8266 0 [pid=23976] vsize: 33336 Current children cumulated CPU time (s) 169.35 Current children cumulated vsize (Kb) 33336 [startup+180.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7545 0 0 0 17884 50 0 0 25 0 1 0 1782012169 34406400 7455 4294967295 134512640 134736556 3221224576 3221223100 134536676 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 8400 7455 1116 68 0 8332 0 [pid=23976] vsize: 33600 Current children cumulated CPU time (s) 179.34 Current children cumulated vsize (Kb) 33600 [startup+190.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7584 0 0 0 18880 51 0 0 25 0 1 0 1782012169 34541568 7494 4294967295 134512640 134736556 3221224576 3221223152 134543088 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8433 7494 1116 68 0 8365 0 [pid=23976] vsize: 33732 Current children cumulated CPU time (s) 189.31 Current children cumulated vsize (Kb) 33732 [startup+200.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7600 0 0 0 19880 51 0 0 25 0 1 0 1782012169 34541568 7510 4294967295 134512640 134736556 3221224576 3221223280 134600619 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8433 7510 1116 68 0 8365 0 [pid=23976] vsize: 33732 Current children cumulated CPU time (s) 199.31 Current children cumulated vsize (Kb) 33732 [startup+210.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7619 0 0 0 20880 51 0 0 25 0 1 0 1782012169 34676736 7529 4294967295 134512640 134736556 3221224576 3221223156 134716328 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8466 7529 1116 68 0 8398 0 [pid=23976] vsize: 33864 Current children cumulated CPU time (s) 209.31 Current children cumulated vsize (Kb) 33864 [startup+220.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7659 0 0 0 21878 52 0 0 24 0 1 0 1782012169 34811904 7569 4294967295 134512640 134736556 3221224576 3221223200 134524877 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8499 7569 1116 68 0 8431 0 [pid=23976] vsize: 33996 Current children cumulated CPU time (s) 219.3 Current children cumulated vsize (Kb) 33996 [startup+230.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7700 0 0 0 22877 52 0 0 25 0 1 0 1782012169 34947072 7610 4294967295 134512640 134736556 3221224576 3221223132 134544504 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8532 7610 1116 68 0 8464 0 [pid=23976] vsize: 34128 Current children cumulated CPU time (s) 229.29 Current children cumulated vsize (Kb) 34128 [startup+240.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7718 0 0 0 23876 53 0 0 25 0 1 0 1782012169 35082240 7628 4294967295 134512640 134736556 3221224576 3221223172 134537394 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8565 7628 1116 68 0 8497 0 [pid=23976] vsize: 34260 Current children cumulated CPU time (s) 239.29 Current children cumulated vsize (Kb) 34260 [startup+250.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7772 0 0 0 24872 54 0 0 25 0 1 0 1782012169 35352576 7682 4294967295 134512640 134736556 3221224576 3221223136 134543597 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8631 7682 1116 68 0 8563 0 [pid=23976] vsize: 34524 Current children cumulated CPU time (s) 249.26 Current children cumulated vsize (Kb) 34524 [startup+260.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7826 0 0 0 25869 55 0 0 25 0 1 0 1782012169 35487744 7736 4294967295 134512640 134736556 3221224576 3221223160 134543970 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8664 7736 1116 68 0 8596 0 [pid=23976] vsize: 34656 Current children cumulated CPU time (s) 259.24 Current children cumulated vsize (Kb) 34656 [startup+270.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7873 0 0 0 26866 56 0 0 25 0 1 0 1782012169 35745792 7783 4294967295 134512640 134736556 3221224576 3221223264 134524335 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 8727 7783 1116 68 0 8659 0 [pid=23976] vsize: 34908 Current children cumulated CPU time (s) 269.22 Current children cumulated vsize (Kb) 34908 [startup+280.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7910 0 0 0 27865 57 0 0 25 0 1 0 1782012169 35880960 7820 4294967295 134512640 134736556 3221224576 3221223296 134529206 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8760 7820 1116 68 0 8692 0 [pid=23976] vsize: 35040 Current children cumulated CPU time (s) 279.22 Current children cumulated vsize (Kb) 35040 [startup+290.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7937 0 0 0 28864 57 0 0 25 0 1 0 1782012169 36016128 7847 4294967295 134512640 134736556 3221224576 3221223168 134716149 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8793 7847 1116 68 0 8725 0 [pid=23976] vsize: 35172 Current children cumulated CPU time (s) 289.21 Current children cumulated vsize (Kb) 35172 [startup+300.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 7980 0 0 0 29860 58 0 0 25 0 1 0 1782012169 36151296 7890 4294967295 134512640 134736556 3221224576 3221223200 134544698 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 8826 7890 1116 68 0 8758 0 [pid=23976] vsize: 35304 Current children cumulated CPU time (s) 299.18 Current children cumulated vsize (Kb) 35304 [startup+310.013 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) T 23975 23976 22582 0 -1 0 8022 0 0 0 30858 59 0 0 25 0 1 0 1782012169 36286464 7932 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8859 7932 1116 68 0 8791 0 [pid=23976] vsize: 35436 Current children cumulated CPU time (s) 309.17 Current children cumulated vsize (Kb) 35436 [startup+320.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8079 0 0 0 31855 60 0 0 25 0 1 0 1782012169 36556800 7989 4294967295 134512640 134736556 3221224576 3221223052 134536620 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8925 7989 1116 68 0 8857 0 [pid=23976] vsize: 35700 Current children cumulated CPU time (s) 319.15 Current children cumulated vsize (Kb) 35700 [startup+330.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8100 0 0 0 32854 61 0 0 25 0 1 0 1782012169 36691968 8010 4294967295 134512640 134736556 3221224576 3221223120 134544590 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8958 8010 1116 68 0 8890 0 [pid=23976] vsize: 35832 Current children cumulated CPU time (s) 329.15 Current children cumulated vsize (Kb) 35832 [startup+340.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8154 0 0 0 33852 62 0 0 25 0 1 0 1782012169 36827136 8064 4294967295 134512640 134736556 3221224576 3221223352 134560233 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 8991 8064 1116 68 0 8923 0 [pid=23976] vsize: 35964 Current children cumulated CPU time (s) 339.14 Current children cumulated vsize (Kb) 35964 [startup+350.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8188 0 0 0 34849 64 0 0 25 0 1 0 1782012169 36962304 8098 4294967295 134512640 134736556 3221224576 3221223084 134540130 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9024 8098 1116 68 0 8956 0 [pid=23976] vsize: 36096 Current children cumulated CPU time (s) 349.13 Current children cumulated vsize (Kb) 36096 [startup+360.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8224 0 0 0 35846 65 0 0 25 0 1 0 1782012169 37097472 8134 4294967295 134512640 134736556 3221224576 3221223084 134540061 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9057 8134 1116 68 0 8989 0 [pid=23976] vsize: 36228 Current children cumulated CPU time (s) 359.11 Current children cumulated vsize (Kb) 36228 [startup+370.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8267 0 0 0 36843 66 0 0 25 0 1 0 1782012169 37367808 8177 4294967295 134512640 134736556 3221224576 3221223160 134543970 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9123 8177 1116 68 0 9055 0 [pid=23976] vsize: 36492 Current children cumulated CPU time (s) 369.09 Current children cumulated vsize (Kb) 36492 [startup+380.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8267 0 0 0 37842 66 0 0 25 0 1 0 1782012169 37367808 8177 4294967295 134512640 134736556 3221224576 3221223168 134540198 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9123 8177 1116 68 0 9055 0 [pid=23976] vsize: 36492 Current children cumulated CPU time (s) 379.08 Current children cumulated vsize (Kb) 36492 [startup+390.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8271 0 0 0 38842 66 0 0 25 0 1 0 1782012169 37367808 8181 4294967295 134512640 134736556 3221224576 3221223124 134544519 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9123 8181 1116 68 0 9055 0 [pid=23976] vsize: 36492 Current children cumulated CPU time (s) 389.08 Current children cumulated vsize (Kb) 36492 [startup+400.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8335 0 0 0 39838 67 0 0 25 0 1 0 1782012169 37638144 8245 4294967295 134512640 134736556 3221224576 3221223328 134597489 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9189 8245 1116 68 0 9121 0 [pid=23976] vsize: 36756 Current children cumulated CPU time (s) 399.05 Current children cumulated vsize (Kb) 36756 [startup+410.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8383 0 0 0 40836 68 0 0 25 0 1 0 1782012169 37773312 8293 4294967295 134512640 134736556 3221224576 3221223052 134536623 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9222 8293 1116 68 0 9154 0 [pid=23976] vsize: 36888 Current children cumulated CPU time (s) 409.04 Current children cumulated vsize (Kb) 36888 [startup+420.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8440 0 0 0 41833 69 0 0 25 0 1 0 1782012169 38043648 8350 4294967295 134512640 134736556 3221224576 3221223188 134544525 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9288 8350 1116 68 0 9220 0 [pid=23976] vsize: 37152 Current children cumulated CPU time (s) 419.02 Current children cumulated vsize (Kb) 37152 [startup+430.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8487 0 0 0 42831 70 0 0 25 0 1 0 1782012169 38178816 8397 4294967295 134512640 134736556 3221224576 3221223152 134540282 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9321 8397 1116 68 0 9253 0 [pid=23976] vsize: 37284 Current children cumulated CPU time (s) 429.01 Current children cumulated vsize (Kb) 37284 [startup+440.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8605 0 0 0 43826 72 0 0 25 0 1 0 1782012169 38711296 8515 4294967295 134512640 134736556 3221224576 3221223088 134543187 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9451 8515 1116 68 0 9383 0 [pid=23976] vsize: 37804 Current children cumulated CPU time (s) 438.98 Current children cumulated vsize (Kb) 37804 [startup+450.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8659 0 0 0 44824 73 0 0 25 0 1 0 1782012169 38981632 8569 4294967295 134512640 134736556 3221224576 3221223168 134716180 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9517 8569 1116 68 0 9449 0 [pid=23976] vsize: 38068 Current children cumulated CPU time (s) 448.97 Current children cumulated vsize (Kb) 38068 [startup+460.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8725 0 0 0 45821 74 0 0 25 0 1 0 1782012169 39251968 8635 4294967295 134512640 134736556 3221224576 3221223352 134560233 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9583 8635 1116 68 0 9515 0 [pid=23976] vsize: 38332 Current children cumulated CPU time (s) 458.95 Current children cumulated vsize (Kb) 38332 [startup+470.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8797 0 0 0 46818 75 0 0 25 0 1 0 1782012169 39522304 8707 4294967295 134512640 134736556 3221224576 3221223168 134716272 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9649 8707 1116 68 0 9581 0 [pid=23976] vsize: 38596 Current children cumulated CPU time (s) 468.93 Current children cumulated vsize (Kb) 38596 [startup+480.016 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8856 0 0 0 47816 76 0 0 25 0 1 0 1782012169 39792640 8766 4294967295 134512640 134736556 3221224576 3221223052 134536648 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9715 8766 1116 68 0 9647 0 [pid=23976] vsize: 38860 Current children cumulated CPU time (s) 478.92 Current children cumulated vsize (Kb) 38860 [startup+490.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8905 0 0 0 48814 76 0 0 25 0 1 0 1782012169 39927808 8815 4294967295 134512640 134736556 3221224576 3221223328 134597473 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9748 8815 1116 68 0 9680 0 [pid=23976] vsize: 38992 Current children cumulated CPU time (s) 488.9 Current children cumulated vsize (Kb) 38992 [startup+500.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8923 0 0 0 49812 77 0 0 25 0 1 0 1782012169 40062976 8834 4294967295 134512640 134736556 3221224576 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9781 8834 1116 68 0 9713 0 [pid=23976] vsize: 39124 Current children cumulated CPU time (s) 498.89 Current children cumulated vsize (Kb) 39124 [startup+510.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8938 0 0 0 50810 78 0 0 25 0 1 0 1782012169 40062976 8848 4294967295 134512640 134736556 3221224576 3221223176 134544625 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9781 8848 1116 68 0 9713 0 [pid=23976] vsize: 39124 Current children cumulated CPU time (s) 508.88 Current children cumulated vsize (Kb) 39124 [startup+520.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 8979 0 0 0 51807 80 0 0 25 0 1 0 1782012169 40198144 8889 4294967295 134512640 134736556 3221224576 3221223264 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23976/statm): 9814 8889 1116 68 0 9746 0 [pid=23976] vsize: 39256 Current children cumulated CPU time (s) 518.87 Current children cumulated vsize (Kb) 39256 [startup+530.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9096 0 0 0 52803 81 0 0 25 0 1 0 1782012169 40738816 9006 4294967295 134512640 134736556 3221224576 3221223168 134716177 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 9946 9006 1116 68 0 9878 0 [pid=23976] vsize: 39784 Current children cumulated CPU time (s) 528.84 Current children cumulated vsize (Kb) 39784 [startup+540.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9132 0 0 0 53799 83 0 0 25 0 1 0 1782012169 40873984 9042 4294967295 134512640 134736556 3221224576 3221223312 134529265 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 9979 9042 1116 68 0 9911 0 [pid=23976] vsize: 39916 Current children cumulated CPU time (s) 538.82 Current children cumulated vsize (Kb) 39916 [startup+550.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9158 0 0 0 54797 84 0 0 25 0 1 0 1782012169 41009152 9068 4294967295 134512640 134736556 3221224576 3221222948 134717263 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10012 9068 1116 68 0 9944 0 [pid=23976] vsize: 40048 Current children cumulated CPU time (s) 548.81 Current children cumulated vsize (Kb) 40048 [startup+560.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9213 0 0 0 55794 86 0 0 25 0 1 0 1782012169 41144320 9123 4294967295 134512640 134736556 3221224576 3221223164 134543536 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10045 9123 1116 68 0 9977 0 [pid=23976] vsize: 40180 Current children cumulated CPU time (s) 558.8 Current children cumulated vsize (Kb) 40180 [startup+570.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9287 0 0 0 56792 87 0 0 25 0 1 0 1782012169 41545728 9197 4294967295 134512640 134736556 3221224576 3221223136 134544700 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10143 9197 1116 68 0 10075 0 [pid=23976] vsize: 40572 Current children cumulated CPU time (s) 568.79 Current children cumulated vsize (Kb) 40572 [startup+580.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9324 0 0 0 57788 89 0 0 25 0 1 0 1782012169 41680896 9234 4294967295 134512640 134736556 3221224576 3221223200 134537458 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10176 9234 1116 68 0 10108 0 [pid=23976] vsize: 40704 Current children cumulated CPU time (s) 578.77 Current children cumulated vsize (Kb) 40704 [startup+590.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9357 0 0 0 58785 90 0 0 25 0 1 0 1782012169 41816064 9267 4294967295 134512640 134736556 3221224576 3221223232 134528776 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10209 9267 1116 68 0 10141 0 [pid=23976] vsize: 40836 Current children cumulated CPU time (s) 588.75 Current children cumulated vsize (Kb) 40836 [startup+600.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9385 0 0 0 59782 92 0 0 25 0 1 0 1782012169 41951232 9295 4294967295 134512640 134736556 3221224576 3221223136 134550956 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10242 9295 1116 68 0 10174 0 [pid=23976] vsize: 40968 Current children cumulated CPU time (s) 598.74 Current children cumulated vsize (Kb) 40968 [startup+610.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9414 0 0 0 60780 92 0 0 25 0 1 0 1782012169 42086400 9324 4294967295 134512640 134736556 3221224576 3221223136 134543222 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10275 9324 1116 68 0 10207 0 [pid=23976] vsize: 41100 Current children cumulated CPU time (s) 608.72 Current children cumulated vsize (Kb) 41100 [startup+620.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9445 0 0 0 61778 94 0 0 25 0 1 0 1782012169 42086400 9355 4294967295 134512640 134736556 3221224576 3221223124 134544525 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10275 9355 1116 68 0 10207 0 [pid=23976] vsize: 41100 Current children cumulated CPU time (s) 618.72 Current children cumulated vsize (Kb) 41100 [startup+630.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9499 0 0 0 62775 95 0 0 25 0 1 0 1782012169 42356736 9409 4294967295 134512640 134736556 3221224576 3221223304 134615585 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10341 9409 1116 68 0 10273 0 [pid=23976] vsize: 41364 Current children cumulated CPU time (s) 628.7 Current children cumulated vsize (Kb) 41364 [startup+640.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9540 0 0 0 63773 96 0 0 25 0 1 0 1782012169 42491904 9450 4294967295 134512640 134736556 3221224576 3221223084 134540094 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10374 9450 1116 68 0 10306 0 [pid=23976] vsize: 41496 Current children cumulated CPU time (s) 638.69 Current children cumulated vsize (Kb) 41496 [startup+650.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9579 0 0 0 64771 98 0 0 25 0 1 0 1782012169 42762240 9489 4294967295 134512640 134736556 3221224576 3221223252 134634388 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10440 9489 1116 68 0 10372 0 [pid=23976] vsize: 41760 Current children cumulated CPU time (s) 648.69 Current children cumulated vsize (Kb) 41760 [startup+660.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9616 0 0 0 65768 99 0 0 25 0 1 0 1782012169 42897408 9526 4294967295 134512640 134736556 3221224576 3221223072 134543910 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10473 9526 1116 68 0 10405 0 [pid=23976] vsize: 41892 Current children cumulated CPU time (s) 658.67 Current children cumulated vsize (Kb) 41892 [startup+670.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9654 0 0 0 66764 101 0 0 25 0 1 0 1782012169 43032576 9564 4294967295 134512640 134736556 3221224576 3221223200 134544672 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10506 9564 1116 68 0 10438 0 [pid=23976] vsize: 42024 Current children cumulated CPU time (s) 668.65 Current children cumulated vsize (Kb) 42024 [startup+680.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9681 0 0 0 67762 102 0 0 25 0 1 0 1782012169 43167744 9591 4294967295 134512640 134736556 3221224576 3221223220 134544519 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10539 9591 1116 68 0 10471 0 [pid=23976] vsize: 42156 Current children cumulated CPU time (s) 678.64 Current children cumulated vsize (Kb) 42156 [startup+690.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9778 0 0 0 68757 104 0 0 25 0 1 0 1782012169 43491328 9665 4294967295 134512640 134736556 3221224576 3221223264 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10618 9665 1116 68 0 10550 0 [pid=23976] vsize: 42472 Current children cumulated CPU time (s) 688.61 Current children cumulated vsize (Kb) 42472 [startup+700.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9791 0 0 0 69754 105 0 0 25 0 1 0 1782012169 43491328 9678 4294967295 134512640 134736556 3221224576 3221223312 134529122 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10618 9678 1116 68 0 10550 0 [pid=23976] vsize: 42472 Current children cumulated CPU time (s) 698.59 Current children cumulated vsize (Kb) 42472 [startup+710.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9856 0 0 0 70749 107 0 0 25 0 1 0 1782012169 43761664 9743 4294967295 134512640 134736556 3221224576 3221223100 134540059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10684 9743 1116 68 0 10616 0 [pid=23976] vsize: 42736 Current children cumulated CPU time (s) 708.56 Current children cumulated vsize (Kb) 42736 [startup+720.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9898 0 0 0 71746 108 0 0 25 0 1 0 1782012169 43896832 9785 4294967295 134512640 134736556 3221224576 3221223200 134634313 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10717 9785 1116 68 0 10649 0 [pid=23976] vsize: 42868 Current children cumulated CPU time (s) 718.54 Current children cumulated vsize (Kb) 42868 [startup+730.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 9948 0 0 0 72744 110 0 0 25 0 1 0 1782012169 44167168 9835 4294967295 134512640 134736556 3221224576 3221223200 134524556 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10783 9835 1116 68 0 10715 0 [pid=23976] vsize: 43132 Current children cumulated CPU time (s) 728.54 Current children cumulated vsize (Kb) 43132 [startup+740.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10012 0 0 0 73739 112 0 0 25 0 1 0 1782012169 44437504 9899 4294967295 134512640 134736556 3221224576 3221223132 134537486 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10849 9899 1116 68 0 10781 0 [pid=23976] vsize: 43396 Current children cumulated CPU time (s) 738.51 Current children cumulated vsize (Kb) 43396 [startup+750.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10063 0 0 0 74737 113 0 0 25 0 1 0 1782012169 44572672 9950 4294967295 134512640 134736556 3221224576 3221223168 134537400 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10882 9950 1116 68 0 10814 0 [pid=23976] vsize: 43528 Current children cumulated CPU time (s) 748.5 Current children cumulated vsize (Kb) 43528 [startup+760.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10071 0 0 0 75733 115 0 0 25 0 1 0 1782012169 44572672 9958 4294967295 134512640 134736556 3221224576 3221222788 134717263 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10882 9958 1116 68 0 10814 0 [pid=23976] vsize: 43528 Current children cumulated CPU time (s) 758.48 Current children cumulated vsize (Kb) 43528 [startup+770.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10144 0 0 0 76730 117 0 0 25 0 1 0 1782012169 44978176 10031 4294967295 134512640 134736556 3221224576 3221223168 134543990 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10981 10031 1116 68 0 10913 0 [pid=23976] vsize: 43924 Current children cumulated CPU time (s) 768.47 Current children cumulated vsize (Kb) 43924 [startup+780.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10144 0 0 0 77728 118 0 0 25 0 1 0 1782012169 44978176 10031 4294967295 134512640 134736556 3221224576 3221223312 134529492 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 10981 10031 1116 68 0 10913 0 [pid=23976] vsize: 43924 Current children cumulated CPU time (s) 778.46 Current children cumulated vsize (Kb) 43924 [startup+790.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10237 0 0 0 78723 120 0 0 25 0 1 0 1782012169 45248512 10124 4294967295 134512640 134736556 3221224576 3221223304 134605903 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 11047 10124 1116 68 0 10979 0 [pid=23976] vsize: 44188 Current children cumulated CPU time (s) 788.43 Current children cumulated vsize (Kb) 44188 [startup+800.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 23976 Raw data (/proc/23976/stat): 23976 (bsolo) R 23975 23976 22582 0 -1 0 10250 0 0 0 79721 121 0 0 25 0 1 0 1782012169 45383680 10137 4294967295 134512640 134736556 3221224576 3221223092 134716789 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/23976/statm): 11080 10137 1116 68 0 11012 0 [pid=23976] vsize: 44320 Current children cumulated CPU time (s) 798.42 Current children cumulated vsize (Kb) 44320 One traced child (pid=23976) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 805.725 CPU time (s): 804.102 CPU user time (s): 802.856 CPU system time (s): 1.24581 CPU usage (%): 99.7986 Max. virtual memory (cumulated for all children) (Kb): 44320
ERROR: no interpretation found !