Name | submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb |
MD5SUM | f6063d1ff7b0ba7c7cab7a438daedff8 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.014997 |
Number of variables | 400 |
Total number of constraints | 60 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
LAUNCH ON wulflinc7 THE 2005-09-18 07:39:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=53 boxname=wulflinc7 idbench=53 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: f6063d1ff7b0ba7c7cab7a438daedff8 /oldhome/oroussel/tmp/wulflinc7/normalized-chnl10_20_pb.cnf.cr.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc7/normalized-chnl10_20_pb.cnf.cr.opb IDLAUNCH: 53 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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 : 451.050 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: 953584 kB Buffers: 33936 kB Cached: 22988 kB SwapCached: 740 kB Active: 52624 kB Inactive: 6892 kB HighTotal: 131008 kB HighFree: 105952 kB LowTotal: 903652 kB LowFree: 847632 kB SwapTotal: 2097136 kB SwapFree: 2095892 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5716 kB Slab: 15964 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 07:50:14 (client local time) WITH STATUS 20 IN 637.563 SECONDS stats: 53 7 637.563 20
c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 400 variables and 60 constraints. c Using non-optimization problem switches. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.063 c After prepocess the problem consists of 400 variables and 60 constraints. c Restart #1 #Var: 400 #Dec: 352 LB: 0 @ 0.188 c Restart #2 #Var: 400 #Dec: 761 LB: 0 @ 0.469 c Restart #3 #Var: 400 #Dec: 1387 LB: 0 @ 0.995 c Restart #4 #Var: 400 #Dec: 2208 LB: 0 @ 1.878 c Restart #5 #Var: 400 #Dec: 3237 LB: 0 @ 3.4 c Restart #6 #Var: 400 #Dec: 4460 LB: 0 @ 5.89 c Restart #7 #Var: 400 #Dec: 5890 LB: 0 @ 8.885 c Restart #8 #Var: 400 #Dec: 7514 LB: 0 @ 17.708 c Restart #9 #Var: 400 #Dec: 9354 LB: 0 @ 23.73 c Restart #10 #Var: 400 #Dec: 11425 LB: 0 @ 32.202 c Restart #11 #Var: 400 #Dec: 13710 LB: 0 @ 45.849 c Restart #12 #Var: 400 #Dec: 16183 LB: 0 @ 62.125 c Restart #13 #Var: 400 #Dec: 18839 LB: 0 @ 79.876 c Restart #14 #Var: 400 #Dec: 21717 LB: 0 @ 107.81 c Restart #15 #Var: 400 #Dec: 24771 LB: 0 @ 139.13 c Restart #16 #Var: 400 #Dec: 28040 LB: 0 @ 178.3 c Restart #17 #Var: 400 #Dec: 31514 LB: 0 @ 215.29 c Restart #18 #Var: 400 #Dec: 35197 LB: 0 @ 272.78 c Restart #19 #Var: 398 #Dec: 39090 LB: 0 @ 344.15 c Restart #20 #Var: 394 #Dec: 43200 LB: 0 @ 436.17 c Restart #21 #Var: 389 #Dec: 47526 LB: 0 @ 540.11 s UNSATISFIABLE c Exit Code: 20 c Total time: 637.52 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/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 1781318993 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15546/statm): 107 3 90 68 0 39 0 [pid=15546] 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/wulflinc7/normalized-chnl10_20_pb.cnf.cr.opb [startup+10.0029 s] Raw data (loadavg): 0.73 0.29 0.10 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 2663 0 0 0 952 21 0 0 25 0 1 0 1781318993 14024704 2574 4294967295 134512640 134736556 3221224560 3221223160 134544625 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/15546/statm): 3424 2574 1116 68 0 3356 0 [pid=15546] vsize: 13696 Current children cumulated CPU time (s) 9.73 Current children cumulated vsize (Kb) 13696 [startup+20.0035 s] Raw data (loadavg): 0.77 0.32 0.11 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 3455 0 0 0 1936 28 0 0 25 0 1 0 1781318993 17276928 3364 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/15546/statm): 4218 3364 1116 68 0 4150 0 [pid=15546] vsize: 16872 Current children cumulated CPU time (s) 19.64 Current children cumulated vsize (Kb) 16872 [startup+30.0041 s] Raw data (loadavg): 0.81 0.34 0.12 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 4320 0 0 0 2916 38 0 0 25 0 1 0 1781318993 20811776 4229 4294967295 134512640 134736556 3221224560 3221223144 134716377 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 5081 4229 1116 68 0 5013 0 [pid=15546] vsize: 20324 Current children cumulated CPU time (s) 29.54 Current children cumulated vsize (Kb) 20324 [startup+40.0038 s] Raw data (loadavg): 0.84 0.36 0.13 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 5153 0 0 0 3896 46 0 0 25 0 1 0 1781318993 24363008 5062 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/15546/statm): 5948 5062 1116 68 0 5880 0 [pid=15546] vsize: 23792 Current children cumulated CPU time (s) 39.42 Current children cumulated vsize (Kb) 23792 [startup+50.0044 s] Raw data (loadavg): 0.86 0.38 0.14 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 5592 0 0 0 4886 51 0 0 25 0 1 0 1781318993 26144768 5499 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 6383 5499 1116 68 0 6315 0 [pid=15546] vsize: 25532 Current children cumulated CPU time (s) 49.37 Current children cumulated vsize (Kb) 25532 [startup+60.004 s] Raw data (loadavg): 0.88 0.40 0.15 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 6164 0 0 0 5872 57 0 0 25 0 1 0 1781318993 28442624 6068 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 6944 6068 1116 68 0 6876 0 [pid=15546] vsize: 27776 Current children cumulated CPU time (s) 59.29 Current children cumulated vsize (Kb) 27776 [startup+70.0047 s] Raw data (loadavg): 0.90 0.42 0.16 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 6672 0 0 0 6861 62 0 0 25 0 1 0 1781318993 30646272 6576 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 7482 6576 1116 68 0 7414 0 [pid=15546] vsize: 29928 Current children cumulated CPU time (s) 69.23 Current children cumulated vsize (Kb) 29928 [startup+80.0053 s] Raw data (loadavg): 0.91 0.44 0.17 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 7332 0 0 0 7848 69 0 0 25 0 1 0 1781318993 33357824 7236 4294967295 134512640 134736556 3221224560 3221223148 134550916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 8144 7236 1116 68 0 8076 0 [pid=15546] vsize: 32576 Current children cumulated CPU time (s) 79.17 Current children cumulated vsize (Kb) 32576 [startup+90.0049 s] Raw data (loadavg): 0.93 0.46 0.17 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 7749 0 0 0 8838 73 0 0 25 0 1 0 1781318993 35008512 7651 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 8547 7651 1116 68 0 8479 0 [pid=15546] vsize: 34188 Current children cumulated CPU time (s) 89.11 Current children cumulated vsize (Kb) 34188 [startup+100.006 s] Raw data (loadavg): 0.94 0.47 0.18 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 8116 0 0 0 9831 76 0 0 25 0 1 0 1781318993 36532224 8015 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 8919 8015 1116 68 0 8851 0 [pid=15546] vsize: 35676 Current children cumulated CPU time (s) 99.07 Current children cumulated vsize (Kb) 35676 [startup+110.005 s] Raw data (loadavg): 0.95 0.49 0.19 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 8544 0 0 0 10823 80 0 0 25 0 1 0 1781318993 38461440 8441 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 9390 8441 1116 68 0 9322 0 [pid=15546] vsize: 37560 Current children cumulated CPU time (s) 109.03 Current children cumulated vsize (Kb) 37560 [startup+120.006 s] Raw data (loadavg): 0.95 0.51 0.20 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 8936 0 0 0 11816 84 0 0 25 0 1 0 1781318993 39964672 8833 4294967295 134512640 134736556 3221224560 3221223164 134537548 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 9757 8833 1116 68 0 9689 0 [pid=15546] vsize: 39028 Current children cumulated CPU time (s) 119 Current children cumulated vsize (Kb) 39028 [startup+130.005 s] Raw data (loadavg): 0.96 0.52 0.21 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 9271 0 0 0 12809 88 0 0 25 0 1 0 1781318993 41316352 9166 4294967295 134512640 134736556 3221224560 3221223084 134536693 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 10087 9166 1116 68 0 10019 0 [pid=15546] vsize: 40348 Current children cumulated CPU time (s) 128.97 Current children cumulated vsize (Kb) 40348 [startup+140.005 s] Raw data (loadavg): 0.97 0.54 0.21 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 9659 0 0 0 13800 92 0 0 25 0 1 0 1781318993 42958848 9553 4294967295 134512640 134736556 3221224560 3221223152 134716017 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 10488 9553 1116 68 0 10420 0 [pid=15546] vsize: 41952 Current children cumulated CPU time (s) 138.92 Current children cumulated vsize (Kb) 41952 [startup+150.006 s] Raw data (loadavg): 0.97 0.55 0.22 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 10087 0 0 0 14790 97 0 0 25 0 1 0 1781318993 44793856 9978 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 10936 9978 1116 68 0 10868 0 [pid=15546] vsize: 43744 Current children cumulated CPU time (s) 148.87 Current children cumulated vsize (Kb) 43744 [startup+160.005 s] Raw data (loadavg): 0.98 0.57 0.23 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 10431 0 0 0 15782 101 0 0 25 0 1 0 1781318993 46174208 10320 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 11273 10320 1116 68 0 11205 0 [pid=15546] vsize: 45092 Current children cumulated CPU time (s) 158.83 Current children cumulated vsize (Kb) 45092 [startup+170.006 s] Raw data (loadavg): 0.98 0.58 0.24 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 10717 0 0 0 16775 105 0 0 25 0 1 0 1781318993 47435776 10602 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 11581 10602 1116 68 0 11513 0 [pid=15546] vsize: 46324 Current children cumulated CPU time (s) 168.8 Current children cumulated vsize (Kb) 46324 [startup+180.007 s] Raw data (loadavg): 0.98 0.59 0.25 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 10932 0 0 0 17770 107 0 0 25 0 1 0 1781318993 48287744 10817 4294967295 134512640 134736556 3221224560 3221223200 134553321 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 11789 10817 1116 68 0 11721 0 [pid=15546] vsize: 47156 Current children cumulated CPU time (s) 178.77 Current children cumulated vsize (Kb) 47156 [startup+190.006 s] Raw data (loadavg): 0.98 0.61 0.25 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 11355 0 0 0 18760 112 0 0 22 0 1 0 1781318993 50016256 11235 4294967295 134512640 134736556 3221224560 3221223164 134537545 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 12211 11235 1116 68 0 12143 0 [pid=15546] vsize: 48844 Current children cumulated CPU time (s) 188.72 Current children cumulated vsize (Kb) 48844 [startup+200.006 s] Raw data (loadavg): 0.99 0.62 0.26 1/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) T 15545 15546 15400 0 -1 0 11699 0 0 0 19751 116 0 0 25 0 1 0 1781318993 51503104 11579 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/15546/statm): 12574 11579 1116 68 0 12506 0 [pid=15546] vsize: 50296 Current children cumulated CPU time (s) 198.67 Current children cumulated vsize (Kb) 50296 [startup+210.006 s] Raw data (loadavg): 0.99 0.63 0.27 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 11991 0 0 0 20745 119 0 0 25 0 1 0 1781318993 52752384 11869 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 12879 11869 1116 68 0 12811 0 [pid=15546] vsize: 51516 Current children cumulated CPU time (s) 208.64 Current children cumulated vsize (Kb) 51516 [startup+220.006 s] Raw data (loadavg): 0.99 0.64 0.28 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 12321 0 0 0 21736 123 0 0 25 0 1 0 1781318993 54214656 12194 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 13236 12194 1116 68 0 13168 0 [pid=15546] vsize: 52944 Current children cumulated CPU time (s) 218.59 Current children cumulated vsize (Kb) 52944 [startup+230.006 s] Raw data (loadavg): 0.99 0.65 0.28 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 12596 0 0 0 22729 126 0 0 25 0 1 0 1781318993 55341056 12466 4294967295 134512640 134736556 3221224560 3221223204 134524344 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 13511 12466 1116 68 0 13443 0 [pid=15546] vsize: 54044 Current children cumulated CPU time (s) 228.55 Current children cumulated vsize (Kb) 54044 [startup+240.006 s] Raw data (loadavg): 0.99 0.67 0.29 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 12846 0 0 0 23723 129 0 0 25 0 1 0 1781318993 56344576 12712 4294967295 134512640 134736556 3221224560 3221223120 134551217 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 13756 12712 1116 68 0 13688 0 [pid=15546] vsize: 55024 Current children cumulated CPU time (s) 238.52 Current children cumulated vsize (Kb) 55024 [startup+250.006 s] Raw data (loadavg): 0.99 0.68 0.30 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 13104 0 0 0 24717 131 0 0 25 0 1 0 1781318993 57425920 12970 4294967295 134512640 134736556 3221224560 3221223248 134536549 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 14020 12970 1116 68 0 13952 0 [pid=15546] vsize: 56080 Current children cumulated CPU time (s) 248.48 Current children cumulated vsize (Kb) 56080 [startup+260.006 s] Raw data (loadavg): 0.99 0.69 0.30 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 13304 0 0 0 25713 133 0 0 25 0 1 0 1781318993 58245120 13169 4294967295 134512640 134736556 3221224560 3221223296 134529337 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 14220 13169 1116 68 0 14152 0 [pid=15546] vsize: 56880 Current children cumulated CPU time (s) 258.46 Current children cumulated vsize (Kb) 56880 [startup+270.006 s] Raw data (loadavg): 0.99 0.70 0.31 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 13516 0 0 0 26707 136 0 0 25 0 1 0 1781318993 59215872 13380 4294967295 134512640 134736556 3221224560 3221223040 134535746 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 14457 13380 1116 68 0 14389 0 [pid=15546] vsize: 57828 Current children cumulated CPU time (s) 268.43 Current children cumulated vsize (Kb) 57828 [startup+280.006 s] Raw data (loadavg): 0.99 0.71 0.32 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 13744 0 0 0 27701 138 0 0 25 0 1 0 1781318993 60104704 13605 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/15546/statm): 14674 13605 1116 68 0 14606 0 [pid=15546] vsize: 58696 Current children cumulated CPU time (s) 278.39 Current children cumulated vsize (Kb) 58696 [startup+290.006 s] Raw data (loadavg): 0.99 0.71 0.32 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 13992 0 0 0 28694 141 0 0 25 0 1 0 1781318993 61243392 13849 4294967295 134512640 134736556 3221224560 3221223232 134528799 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/15546/statm): 14952 13849 1116 68 0 14884 0 [pid=15546] vsize: 59808 Current children cumulated CPU time (s) 288.35 Current children cumulated vsize (Kb) 59808 [startup+300.006 s] Raw data (loadavg): 0.99 0.72 0.33 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 14218 0 0 0 29687 145 0 0 25 0 1 0 1781318993 62054400 14075 4294967295 134512640 134736556 3221224560 3221223164 134537545 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 15150 14075 1116 68 0 15082 0 [pid=15546] vsize: 60600 Current children cumulated CPU time (s) 298.32 Current children cumulated vsize (Kb) 60600 [startup+310.006 s] Raw data (loadavg): 0.99 0.73 0.34 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 14442 0 0 0 30681 147 0 0 25 0 1 0 1781318993 63000576 14299 4294967295 134512640 134736556 3221224560 3221223284 134529474 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 15381 14299 1116 68 0 15313 0 [pid=15546] vsize: 61524 Current children cumulated CPU time (s) 308.28 Current children cumulated vsize (Kb) 61524 [startup+320.007 s] Raw data (loadavg): 0.99 0.74 0.35 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 14623 0 0 0 31677 149 0 0 25 0 1 0 1781318993 63676416 14480 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 15546 14480 1116 68 0 15478 0 [pid=15546] vsize: 62184 Current children cumulated CPU time (s) 318.26 Current children cumulated vsize (Kb) 62184 [startup+330.007 s] Raw data (loadavg): 0.99 0.75 0.35 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 14783 0 0 0 32673 151 0 0 25 0 1 0 1781318993 64491520 14640 4294967295 134512640 134736556 3221224560 3221223252 134524881 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 15745 14640 1116 68 0 15677 0 [pid=15546] vsize: 62980 Current children cumulated CPU time (s) 328.24 Current children cumulated vsize (Kb) 62980 [startup+340.007 s] Raw data (loadavg): 0.99 0.76 0.36 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 14906 0 0 0 33671 152 0 0 25 0 1 0 1781318993 64929792 14763 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 15852 14763 1116 68 0 15784 0 [pid=15546] vsize: 63408 Current children cumulated CPU time (s) 338.23 Current children cumulated vsize (Kb) 63408 [startup+350.007 s] Raw data (loadavg): 0.99 0.76 0.37 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 15108 0 0 0 34667 154 0 0 25 0 1 0 1781318993 65785856 14963 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 16061 14963 1116 68 0 15993 0 [pid=15546] vsize: 64244 Current children cumulated CPU time (s) 348.21 Current children cumulated vsize (Kb) 64244 [startup+360.007 s] Raw data (loadavg): 0.99 0.77 0.37 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 15301 0 0 0 35662 157 0 0 25 0 1 0 1781318993 66699264 15154 4294967295 134512640 134736556 3221224560 3221223120 134550999 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 16284 15154 1116 68 0 16216 0 [pid=15546] vsize: 65136 Current children cumulated CPU time (s) 358.19 Current children cumulated vsize (Kb) 65136 [startup+370.008 s] Raw data (loadavg): 0.99 0.78 0.38 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 15493 0 0 0 36657 159 0 0 25 0 1 0 1781318993 67452928 15345 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 16468 15345 1116 68 0 16400 0 [pid=15546] vsize: 65872 Current children cumulated CPU time (s) 368.16 Current children cumulated vsize (Kb) 65872 [startup+380.007 s] Raw data (loadavg): 0.99 0.79 0.38 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 15646 0 0 0 37654 160 0 0 25 0 1 0 1781318993 68050944 15497 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 16614 15497 1116 68 0 16546 0 [pid=15546] vsize: 66456 Current children cumulated CPU time (s) 378.14 Current children cumulated vsize (Kb) 66456 [startup+390.008 s] Raw data (loadavg): 0.99 0.79 0.39 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 15817 0 0 0 38649 163 0 0 25 0 1 0 1781318993 68734976 15668 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 16781 15668 1116 68 0 16713 0 [pid=15546] vsize: 67124 Current children cumulated CPU time (s) 388.12 Current children cumulated vsize (Kb) 67124 [startup+400.008 s] Raw data (loadavg): 0.99 0.80 0.39 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16066 0 0 0 39643 166 0 0 25 0 1 0 1781318993 69758976 15916 4294967295 134512640 134736556 3221224560 3221223040 134535746 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 17031 15916 1116 68 0 16963 0 [pid=15546] vsize: 68124 Current children cumulated CPU time (s) 398.09 Current children cumulated vsize (Kb) 68124 [startup+410.007 s] Raw data (loadavg): 0.99 0.80 0.40 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16223 0 0 0 40639 168 0 0 25 0 1 0 1781318993 70434816 16073 4294967295 134512640 134736556 3221224560 3221223200 134553321 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 17196 16073 1116 68 0 17128 0 [pid=15546] vsize: 68784 Current children cumulated CPU time (s) 408.07 Current children cumulated vsize (Kb) 68784 [startup+420.008 s] Raw data (loadavg): 0.99 0.81 0.41 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16369 0 0 0 41635 169 0 0 25 0 1 0 1781318993 71024640 16217 4294967295 134512640 134736556 3221224560 3221223216 134528776 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 17340 16217 1116 68 0 17272 0 [pid=15546] vsize: 69360 Current children cumulated CPU time (s) 418.04 Current children cumulated vsize (Kb) 69360 [startup+430.009 s] Raw data (loadavg): 0.99 0.82 0.41 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16510 0 0 0 42633 170 0 0 25 0 1 0 1781318993 71565312 16358 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 17472 16358 1116 68 0 17404 0 [pid=15546] vsize: 69888 Current children cumulated CPU time (s) 428.03 Current children cumulated vsize (Kb) 69888 [startup+440.008 s] Raw data (loadavg): 0.99 0.82 0.42 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16734 0 0 0 43626 173 0 0 24 0 1 0 1781318993 72609792 16573 4294967295 134512640 134736556 3221224560 3221223164 134537545 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 17727 16573 1116 68 0 17659 0 [pid=15546] vsize: 70908 Current children cumulated CPU time (s) 437.99 Current children cumulated vsize (Kb) 70908 [startup+450.008 s] Raw data (loadavg): 0.99 0.83 0.42 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 16934 0 0 0 44621 176 0 0 25 0 1 0 1781318993 73285632 16773 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 17892 16773 1116 68 0 17824 0 [pid=15546] vsize: 71568 Current children cumulated CPU time (s) 447.97 Current children cumulated vsize (Kb) 71568 [startup+460.009 s] Raw data (loadavg): 0.99 0.83 0.43 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17098 0 0 0 45617 178 0 0 25 0 1 0 1781318993 73961472 16937 4294967295 134512640 134736556 3221224560 3221223196 134554100 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 18057 16937 1116 68 0 17989 0 [pid=15546] vsize: 72228 Current children cumulated CPU time (s) 457.95 Current children cumulated vsize (Kb) 72228 [startup+470.009 s] Raw data (loadavg): 0.99 0.84 0.44 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17229 0 0 0 46614 179 0 0 25 0 1 0 1781318993 74502144 17068 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 18189 17068 1116 68 0 18121 0 [pid=15546] vsize: 72756 Current children cumulated CPU time (s) 467.93 Current children cumulated vsize (Kb) 72756 [startup+480.01 s] Raw data (loadavg): 0.99 0.84 0.44 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17415 0 0 0 47611 181 0 0 25 0 1 0 1781318993 75177984 17254 4294967295 134512640 134736556 3221224560 3221223120 134551150 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 18354 17254 1116 68 0 18286 0 [pid=15546] vsize: 73416 Current children cumulated CPU time (s) 477.92 Current children cumulated vsize (Kb) 73416 [startup+490.009 s] Raw data (loadavg): 0.99 0.85 0.45 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17551 0 0 0 48607 184 0 0 25 0 1 0 1781318993 75718656 17390 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 18486 17390 1116 68 0 18418 0 [pid=15546] vsize: 73944 Current children cumulated CPU time (s) 487.91 Current children cumulated vsize (Kb) 73944 [startup+500.009 s] Raw data (loadavg): 0.99 0.85 0.45 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17716 0 0 0 49604 185 0 0 25 0 1 0 1781318993 76443648 17554 4294967295 134512640 134736556 3221224560 3221223184 134537350 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 18663 17554 1116 68 0 18595 0 [pid=15546] vsize: 74652 Current children cumulated CPU time (s) 497.89 Current children cumulated vsize (Kb) 74652 [startup+510.009 s] Raw data (loadavg): 0.99 0.86 0.46 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 17886 0 0 0 50600 187 0 0 25 0 1 0 1781318993 77185024 17717 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 18844 17717 1116 68 0 18776 0 [pid=15546] vsize: 75376 Current children cumulated CPU time (s) 507.87 Current children cumulated vsize (Kb) 75376 [startup+520.009 s] Raw data (loadavg): 0.99 0.86 0.46 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18033 0 0 0 51596 189 0 0 25 0 1 0 1781318993 77950976 17859 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 19031 17859 1116 68 0 18963 0 [pid=15546] vsize: 76124 Current children cumulated CPU time (s) 517.85 Current children cumulated vsize (Kb) 76124 [startup+530.009 s] Raw data (loadavg): 0.99 0.86 0.47 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18160 0 0 0 52593 189 0 0 25 0 1 0 1781318993 78491648 17986 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 19163 17986 1116 68 0 19095 0 [pid=15546] vsize: 76652 Current children cumulated CPU time (s) 527.82 Current children cumulated vsize (Kb) 76652 [startup+540.009 s] Raw data (loadavg): 0.99 0.87 0.47 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18305 0 0 0 53590 191 0 0 25 0 1 0 1781318993 79151104 18126 4294967295 134512640 134736556 3221224560 3221223024 134536105 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 19324 18126 1116 68 0 19256 0 [pid=15546] vsize: 77296 Current children cumulated CPU time (s) 537.81 Current children cumulated vsize (Kb) 77296 [startup+550.009 s] Raw data (loadavg): 0.99 0.87 0.48 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18458 0 0 0 54586 193 0 0 25 0 1 0 1781318993 79892480 18273 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 19505 18273 1116 68 0 19437 0 [pid=15546] vsize: 78020 Current children cumulated CPU time (s) 547.79 Current children cumulated vsize (Kb) 78020 [startup+560.009 s] Raw data (loadavg): 0.99 0.88 0.48 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) T 15545 15546 15400 0 -1 0 18599 0 0 0 55583 194 0 0 25 0 1 0 1781318993 80498688 18412 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/15546/statm): 19653 18412 1116 68 0 19585 0 [pid=15546] vsize: 78612 Current children cumulated CPU time (s) 557.77 Current children cumulated vsize (Kb) 78612 [startup+570.01 s] Raw data (loadavg): 0.99 0.88 0.49 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18784 0 0 0 56580 196 0 0 25 0 1 0 1781318993 81428480 18593 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 19880 18593 1116 68 0 19812 0 [pid=15546] vsize: 79520 Current children cumulated CPU time (s) 567.76 Current children cumulated vsize (Kb) 79520 [startup+580.01 s] Raw data (loadavg): 0.99 0.88 0.49 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 18937 0 0 0 57576 198 0 0 25 0 1 0 1781318993 82034688 18741 4294967295 134512640 134736556 3221224560 3221223212 134554060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 20028 18741 1116 68 0 19960 0 [pid=15546] vsize: 80112 Current children cumulated CPU time (s) 577.74 Current children cumulated vsize (Kb) 80112 [startup+590.01 s] Raw data (loadavg): 0.99 0.89 0.50 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19084 0 0 0 58573 199 0 0 25 0 1 0 1781318993 82640896 18881 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 20176 18881 1116 68 0 20108 0 [pid=15546] vsize: 80704 Current children cumulated CPU time (s) 587.72 Current children cumulated vsize (Kb) 80704 [startup+600.01 s] Raw data (loadavg): 0.99 0.89 0.50 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19183 0 0 0 59571 200 0 0 25 0 1 0 1781318993 83050496 18979 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 20276 18979 1116 68 0 20208 0 [pid=15546] vsize: 81104 Current children cumulated CPU time (s) 597.71 Current children cumulated vsize (Kb) 81104 [startup+610.01 s] Raw data (loadavg): 0.99 0.89 0.51 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19305 0 0 0 60569 202 0 0 25 0 1 0 1781318993 83525632 19101 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 20392 19101 1116 68 0 20324 0 [pid=15546] vsize: 81568 Current children cumulated CPU time (s) 607.71 Current children cumulated vsize (Kb) 81568 [startup+620.011 s] Raw data (loadavg): 0.99 0.89 0.51 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19475 0 0 0 61567 203 0 0 25 0 1 0 1781318993 84471808 19265 4294967295 134512640 134736556 3221224560 3221223264 134528659 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 20623 19265 1116 68 0 20555 0 [pid=15546] vsize: 82492 Current children cumulated CPU time (s) 617.7 Current children cumulated vsize (Kb) 82492 [startup+630.011 s] Raw data (loadavg): 0.99 0.90 0.52 2/56 15546 Raw data (/proc/15546/stat): 15546 (bsolo) R 15545 15546 15400 0 -1 0 19569 0 0 0 62565 203 0 0 25 0 1 0 1781318993 84815872 19358 4294967295 134512640 134736556 3221224560 3221223236 134524344 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/15546/statm): 20707 19358 1116 68 0 20639 0 [pid=15546] vsize: 82828 Current children cumulated CPU time (s) 627.68 Current children cumulated vsize (Kb) 82828 One traced child (pid=15546) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 639.898 CPU time (s): 637.563 CPU user time (s): 635.48 CPU system time (s): 2.08268 CPU usage (%): 99.6352 Max. virtual memory (cumulated for all children) (Kb): 82828
ERROR: no interpretation found !