Name | web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb |
MD5SUM | 0c52c70d5adb3b80d9053fcb18f76b68 |
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 | 6518 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 18803 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.416935 |
Number of variables | 2913 |
Total number of constraints | 3105 |
Number of constraints which are clauses | 2259 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 846 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 25 |
LAUNCH ON wulflinc19 THE 2005-09-18 09:21:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=300 boxname=wulflinc19 idbench=300 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 0c52c70d5adb3b80d9053fcb18f76b68 /oldhome/oroussel/tmp/wulflinc19/normalized-blast-floppy1-7.ucl.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc19/normalized-blast-floppy1-7.ucl.opb IDLAUNCH: 300 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 954984 kB Buffers: 33612 kB Cached: 19072 kB SwapCached: 832 kB Active: 48616 kB Inactive: 6680 kB HighTotal: 131008 kB HighFree: 111188 kB LowTotal: 903652 kB LowFree: 843796 kB SwapTotal: 2097892 kB SwapFree: 2096460 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5696 kB Slab: 18920 kB Committed_AS: 64184 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 09:31:59 (client local time) WITH STATUS 20 IN 607.654 SECONDS stats: 300 7 607.654 20
c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 2913 variables and 3105 constraints. c Using non-optimization problem switches. c preprocess terminated. Elapsed time: 1.12 c After prepocess the problem consists of 2472 variables and 2270 constraints. c Restart #1 #Var: 2472 #Dec: 14939 LB: 0 @ 2.355 c Restart #2 #Var: 2472 #Dec: 47592 LB: 0 @ 5.128 c Restart #3 #Var: 2472 #Dec: 99930 LB: 0 @ 9.549 c Restart #4 #Var: 2472 #Dec: 128857 LB: 0 @ 12.711 c Restart #5 #Var: 2472 #Dec: 140822 LB: 0 @ 15.032 c Restart #6 #Var: 2472 #Dec: 143304 LB: 0 @ 16.598 c Restart #7 #Var: 2472 #Dec: 144712 LB: 0 @ 18.295 c Restart #8 #Var: 2470 #Dec: 146326 LB: 0 @ 20.2 c Restart #9 #Var: 2470 #Dec: 148139 LB: 0 @ 22.362 c Restart #10 #Var: 2470 #Dec: 150144 LB: 0 @ 24.775 c Restart #11 #Var: 2470 #Dec: 152354 LB: 0 @ 27.556 c Restart #12 #Var: 2470 #Dec: 154770 LB: 0 @ 30.571 c Restart #13 #Var: 2469 #Dec: 157382 LB: 0 @ 34.078 c Restart #14 #Var: 2469 #Dec: 160193 LB: 0 @ 37.628 c Restart #15 #Var: 2469 #Dec: 163207 LB: 0 @ 41.527 c Restart #16 #Var: 2469 #Dec: 166418 LB: 0 @ 45.561 c Restart #17 #Var: 2469 #Dec: 169830 LB: 0 @ 50.051 c Restart #18 #Var: 2469 #Dec: 173441 LB: 0 @ 54.729 c Restart #19 #Var: 2469 #Dec: 177256 LB: 0 @ 60.005 c Restart #20 #Var: 2469 #Dec: 181270 LB: 0 @ 66.087 c Restart #21 #Var: 2469 #Dec: 185482 LB: 0 @ 71.479 c Restart #22 #Var: 2469 #Dec: 189895 LB: 0 @ 77.368 c Restart #23 #Var: 2469 #Dec: 194509 LB: 0 @ 83.405 c Restart #24 #Var: 2469 #Dec: 199323 LB: 0 @ 90.237 c Restart #25 #Var: 2469 #Dec: 204335 LB: 0 @ 97.417 c Restart #26 #Var: 2469 #Dec: 209553 LB: 0 @ 104.45 c Restart #27 #Var: 2469 #Dec: 214964 LB: 0 @ 111.92 c Restart #28 #Var: 2469 #Dec: 220575 LB: 0 @ 120 c Restart #29 #Var: 2469 #Dec: 226389 LB: 0 @ 128.69 c Restart #30 #Var: 2469 #Dec: 232399 LB: 0 @ 137.68 c Restart #31 #Var: 2469 #Dec: 238609 LB: 0 @ 146.36 c Restart #32 #Var: 2469 #Dec: 245020 LB: 0 @ 155.95 c Restart #33 #Var: 2469 #Dec: 251633 LB: 0 @ 165.6 c Restart #34 #Var: 2469 #Dec: 258447 LB: 0 @ 176.15 c Restart #35 #Var: 2469 #Dec: 265459 LB: 0 @ 186.5 c Restart #36 #Var: 2469 #Dec: 272673 LB: 0 @ 197.36 c Restart #37 #Var: 2469 #Dec: 280084 LB: 0 @ 208.45 c Restart #38 #Var: 2469 #Dec: 287695 LB: 0 @ 219.33 c Restart #39 #Var: 2469 #Dec: 295505 LB: 0 @ 231.22 c Restart #40 #Var: 2469 #Dec: 303516 LB: 0 @ 243.23 c Restart #41 #Var: 2469 #Dec: 311726 LB: 0 @ 255.81 c Restart #42 #Var: 2469 #Dec: 320138 LB: 0 @ 268.51 c Restart #43 #Var: 2469 #Dec: 328749 LB: 0 @ 281.82 c Restart #44 #Var: 2469 #Dec: 337562 LB: 0 @ 295.44 c Restart #45 #Var: 2469 #Dec: 346575 LB: 0 @ 310.66 c Restart #46 #Var: 2469 #Dec: 355789 LB: 0 @ 324.64 c Restart #47 #Var: 2469 #Dec: 365201 LB: 0 @ 339.37 c Restart #48 #Var: 2469 #Dec: 374816 LB: 0 @ 354.84 c Restart #49 #Var: 2469 #Dec: 384627 LB: 0 @ 369.45 c Restart #50 #Var: 2469 #Dec: 394638 LB: 0 @ 385.76 c Restart #51 #Var: 2469 #Dec: 404852 LB: 0 @ 400.87 c Restart #52 #Var: 2469 #Dec: 415263 LB: 0 @ 418.37 c Restart #53 #Var: 2469 #Dec: 425872 LB: 0 @ 434.19 c Restart #54 #Var: 2469 #Dec: 436685 LB: 0 @ 452.35 c Restart #55 #Var: 2469 #Dec: 447699 LB: 0 @ 469.53 c Restart #56 #Var: 2469 #Dec: 458916 LB: 0 @ 488.06 c Restart #57 #Var: 2469 #Dec: 470329 LB: 0 @ 506.14 c Restart #58 #Var: 2469 #Dec: 481937 LB: 0 @ 524.44 c Restart #59 #Var: 2469 #Dec: 493749 LB: 0 @ 544.26 c Restart #60 #Var: 2469 #Dec: 505759 LB: 0 @ 565.51 c Restart #61 #Var: 2469 #Dec: 517972 LB: 0 @ 585.13 c CHANGE Heuristic... c Restart #0 #Var: 2469 #Dec: 530382 LB: 0 @ 607.34 s UNSATISFIABLE c Exit Code: 20 c Total time: 607.38 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/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1840118931 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 107 3 90 68 0 39 0 [pid=7243] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-blast-floppy1-7.ucl.opb [startup+10.0035 s] Raw data (loadavg): 0.76 0.90 0.89 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 2076 0 0 0 672 113 0 0 18 0 1 0 1840118931 11599872 1987 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7243/statm): 2832 1987 1116 68 0 2764 0 [pid=7243] vsize: 11328 Current children cumulated CPU time (s) 7.85 Current children cumulated vsize (Kb) 11328 [startup+20.0053 s] Raw data (loadavg): 0.80 0.90 0.89 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 3109 0 0 0 1423 197 0 0 25 0 1 0 1840118931 15925248 3020 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7243/statm): 3888 3020 1116 68 0 3820 0 [pid=7243] vsize: 15552 Current children cumulated CPU time (s) 16.2 Current children cumulated vsize (Kb) 15552 [startup+30.0061 s] Raw data (loadavg): 0.83 0.91 0.89 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 5962 0 0 0 2377 217 0 0 25 0 1 0 1840118931 27586560 5870 4294967295 134512640 134736556 3221224560 3221223264 134528714 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 6735 5870 1116 68 0 6667 0 [pid=7243] vsize: 26940 Current children cumulated CPU time (s) 25.94 Current children cumulated vsize (Kb) 26940 [startup+40.0059 s] Raw data (loadavg): 0.85 0.91 0.89 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 8641 0 0 0 3333 238 0 0 25 0 1 0 1840118931 38748160 8547 4294967295 134512640 134736556 3221224560 3221223200 134544649 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 9460 8547 1116 68 0 9392 0 [pid=7243] vsize: 37840 Current children cumulated CPU time (s) 35.71 Current children cumulated vsize (Kb) 37840 [startup+50.0067 s] Raw data (loadavg): 0.87 0.91 0.89 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 11355 0 0 0 4286 260 0 0 25 0 1 0 1840118931 49893376 11253 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 12181 11253 1116 68 0 12113 0 [pid=7243] vsize: 48724 Current children cumulated CPU time (s) 45.46 Current children cumulated vsize (Kb) 48724 [startup+60.0066 s] Raw data (loadavg): 0.89 0.91 0.89 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 13927 0 0 0 5241 280 0 0 25 0 1 0 1840118931 60461056 13825 4294967295 134512640 134736556 3221224560 3221222128 134717440 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 14761 13825 1116 68 0 14693 0 [pid=7243] vsize: 59044 Current children cumulated CPU time (s) 55.21 Current children cumulated vsize (Kb) 59044 [startup+70.0074 s] Raw data (loadavg): 0.91 0.92 0.89 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 16325 0 0 0 6202 299 0 0 25 0 1 0 1840118931 70361088 16220 4294967295 134512640 134736556 3221224560 3221223140 134716325 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 17178 16220 1116 68 0 17110 0 [pid=7243] vsize: 68712 Current children cumulated CPU time (s) 65.01 Current children cumulated vsize (Kb) 68712 [startup+80.0082 s] Raw data (loadavg): 0.92 0.92 0.89 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 18959 0 0 0 7160 317 0 0 25 0 1 0 1840118931 81240064 18840 4294967295 134512640 134736556 3221224560 3221223104 134544561 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 19834 18840 1116 68 0 19766 0 [pid=7243] vsize: 79336 Current children cumulated CPU time (s) 74.77 Current children cumulated vsize (Kb) 79336 [startup+90.009 s] Raw data (loadavg): 0.93 0.92 0.90 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 21502 0 0 0 8113 338 0 0 25 0 1 0 1840118931 91734016 21380 4294967295 134512640 134736556 3221224560 3221223140 134543223 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 22396 21380 1116 68 0 22328 0 [pid=7243] vsize: 89584 Current children cumulated CPU time (s) 84.51 Current children cumulated vsize (Kb) 89584 [startup+100.01 s] Raw data (loadavg): 0.94 0.92 0.90 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 23961 0 0 0 9068 359 0 0 25 0 1 0 1840118931 101814272 23837 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 24857 23837 1116 68 0 24789 0 [pid=7243] vsize: 99428 Current children cumulated CPU time (s) 94.27 Current children cumulated vsize (Kb) 99428 [startup+110.011 s] Raw data (loadavg): 0.95 0.92 0.90 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 26474 0 0 0 10024 377 0 0 25 0 1 0 1840118931 111951872 26350 4294967295 134512640 134736556 3221224560 3221223152 134540282 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 27332 26351 1116 68 0 27264 0 [pid=7243] vsize: 109328 Current children cumulated CPU time (s) 104.01 Current children cumulated vsize (Kb) 109328 [startup+120.01 s] Raw data (loadavg): 0.96 0.93 0.90 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 28878 0 0 0 10979 398 0 0 25 0 1 0 1840118931 121749504 28748 4294967295 134512640 134736556 3221224560 3221223180 134544556 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 29724 28748 1116 68 0 29656 0 [pid=7243] vsize: 118896 Current children cumulated CPU time (s) 113.77 Current children cumulated vsize (Kb) 118896 [startup+130.011 s] Raw data (loadavg): 0.96 0.93 0.90 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 31255 0 0 0 11937 415 0 0 25 0 1 0 1840118931 131821568 31115 4294967295 134512640 134736556 3221224560 3221223152 134540337 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 32183 31115 1116 68 0 32115 0 [pid=7243] vsize: 128732 Current children cumulated CPU time (s) 123.52 Current children cumulated vsize (Kb) 128732 [startup+140.013 s] Raw data (loadavg): 0.97 0.93 0.90 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 33766 0 0 0 12896 436 0 0 25 0 1 0 1840118931 142262272 33525 4294967295 134512640 134736556 3221224560 3221223148 134550916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 34732 33525 1116 68 0 34664 0 [pid=7243] vsize: 138928 Current children cumulated CPU time (s) 133.32 Current children cumulated vsize (Kb) 138928 [startup+150.015 s] Raw data (loadavg): 0.97 0.93 0.90 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 36197 0 0 0 13856 455 0 0 25 0 1 0 1840118931 152301568 35946 4294967295 134512640 134736556 3221224560 3221223152 134540337 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 37183 35946 1116 68 0 37115 0 [pid=7243] vsize: 148732 Current children cumulated CPU time (s) 143.11 Current children cumulated vsize (Kb) 148732 [startup+160.016 s] Raw data (loadavg): 0.98 0.93 0.90 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 38537 0 0 0 14817 472 0 0 25 0 1 0 1840118931 161898496 38280 4294967295 134512640 134736556 3221224560 3221223116 134544504 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 39526 38280 1116 68 0 39458 0 [pid=7243] vsize: 158104 Current children cumulated CPU time (s) 152.89 Current children cumulated vsize (Kb) 158104 [startup+170.015 s] Raw data (loadavg): 0.98 0.93 0.90 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 40860 0 0 0 15776 490 0 0 25 0 1 0 1840118931 171360256 40603 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 41836 40603 1116 68 0 41768 0 [pid=7243] vsize: 167344 Current children cumulated CPU time (s) 162.66 Current children cumulated vsize (Kb) 167344 [startup+180.016 s] Raw data (loadavg): 0.98 0.94 0.90 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 43274 0 0 0 16736 507 0 0 25 0 1 0 1840118931 181047296 42934 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 44201 42934 1116 68 0 44133 0 [pid=7243] vsize: 176804 Current children cumulated CPU time (s) 172.43 Current children cumulated vsize (Kb) 176804 [startup+190.017 s] Raw data (loadavg): 0.98 0.94 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 45617 0 0 0 17696 525 0 0 25 0 1 0 1840118931 190566400 45195 4294967295 134512640 134736556 3221224560 3221223228 134553304 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 46525 45195 1116 68 0 46457 0 [pid=7243] vsize: 186100 Current children cumulated CPU time (s) 182.21 Current children cumulated vsize (Kb) 186100 [startup+200.018 s] Raw data (loadavg): 0.99 0.94 0.91 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 48027 0 0 0 18653 545 0 0 25 0 1 0 1840118931 200286208 47518 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 48898 47518 1116 68 0 48830 0 [pid=7243] vsize: 195592 Current children cumulated CPU time (s) 191.98 Current children cumulated vsize (Kb) 195592 [startup+210.019 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 50325 0 0 0 19616 561 0 0 25 0 1 0 1840118931 209539072 49734 4294967295 134512640 134736556 3221224560 3221223132 134536708 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 51157 49734 1116 68 0 51089 0 [pid=7243] vsize: 204628 Current children cumulated CPU time (s) 201.77 Current children cumulated vsize (Kb) 204628 [startup+220.019 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 52709 0 0 0 20574 579 0 0 25 0 1 0 1840118931 219209728 52105 4294967295 134512640 134736556 3221224560 3221223344 134602857 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 53518 52105 1116 68 0 53450 0 [pid=7243] vsize: 214072 Current children cumulated CPU time (s) 211.53 Current children cumulated vsize (Kb) 214072 [startup+230.019 s] Raw data (loadavg): 0.99 0.94 0.91 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 55267 0 0 0 21530 601 0 0 25 0 1 0 1840118931 229326848 54499 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 55988 54499 1116 68 0 55920 0 [pid=7243] vsize: 223952 Current children cumulated CPU time (s) 221.31 Current children cumulated vsize (Kb) 223952 [startup+240.019 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 57626 0 0 0 22492 617 0 0 25 0 1 0 1840118931 239124480 56854 4294967295 134512640 134736556 3221224560 3221223268 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 58380 56854 1116 68 0 58312 0 [pid=7243] vsize: 233520 Current children cumulated CPU time (s) 231.09 Current children cumulated vsize (Kb) 233520 [startup+250.02 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 60009 0 0 0 23449 639 0 0 25 0 1 0 1840118931 248754176 59149 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 60731 59149 1116 68 0 60663 0 [pid=7243] vsize: 242924 Current children cumulated CPU time (s) 240.88 Current children cumulated vsize (Kb) 242924 [startup+260.021 s] Raw data (loadavg): 0.99 0.95 0.91 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 62528 0 0 0 24410 657 0 0 25 0 1 0 1840118931 258723840 61415 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 63165 61415 1116 68 0 63097 0 [pid=7243] vsize: 252660 Current children cumulated CPU time (s) 250.67 Current children cumulated vsize (Kb) 252660 [startup+270.021 s] Raw data (loadavg): 0.99 0.95 0.91 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 64756 0 0 0 25367 676 0 0 25 0 1 0 1840118931 267780096 63643 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 65376 63643 1116 68 0 65308 0 [pid=7243] vsize: 261504 Current children cumulated CPU time (s) 260.43 Current children cumulated vsize (Kb) 261504 [startup+280.021 s] Raw data (loadavg): 0.99 0.95 0.91 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 67013 0 0 0 26331 691 0 0 25 0 1 0 1840118931 276836352 65900 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7243/statm): 67587 65900 1116 68 0 67519 0 [pid=7243] vsize: 270348 Current children cumulated CPU time (s) 270.22 Current children cumulated vsize (Kb) 270348 [startup+290.022 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 69368 0 0 0 27291 709 0 0 25 0 1 0 1840118931 286433280 68255 4294967295 134512640 134736556 3221224560 3221223312 134556519 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 69930 68255 1116 68 0 69862 0 [pid=7243] vsize: 279720 Current children cumulated CPU time (s) 280 Current children cumulated vsize (Kb) 279720 [startup+300.023 s] Raw data (loadavg): 0.99 0.95 0.91 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 71781 0 0 0 28253 726 0 0 25 0 1 0 1840118931 295874560 70506 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 72235 70506 1116 68 0 72167 0 [pid=7243] vsize: 288940 Current children cumulated CPU time (s) 289.79 Current children cumulated vsize (Kb) 288940 [startup+310.024 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 73972 0 0 0 29218 742 0 0 25 0 1 0 1840118931 304447488 72615 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 74328 72615 1116 68 0 74260 0 [pid=7243] vsize: 297312 Current children cumulated CPU time (s) 299.6 Current children cumulated vsize (Kb) 297312 [startup+320.024 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 76147 0 0 0 30177 761 0 0 25 0 1 0 1840118931 313368576 74790 4294967295 134512640 134736556 3221224560 3221223136 134544631 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 76506 74790 1116 68 0 76438 0 [pid=7243] vsize: 306024 Current children cumulated CPU time (s) 309.38 Current children cumulated vsize (Kb) 306024 [startup+330.024 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 78605 0 0 0 31139 776 0 0 25 0 1 0 1840118931 323145728 77077 4294967295 134512640 134736556 3221224560 3221223152 134537400 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 78893 77077 1116 68 0 78825 0 [pid=7243] vsize: 315572 Current children cumulated CPU time (s) 319.15 Current children cumulated vsize (Kb) 315572 [startup+340.024 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 80688 0 0 0 32104 791 0 0 25 0 1 0 1840118931 331530240 79160 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 80940 79160 1116 68 0 80872 0 [pid=7243] vsize: 323760 Current children cumulated CPU time (s) 328.95 Current children cumulated vsize (Kb) 323760 [startup+350.025 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 83078 0 0 0 33064 808 0 0 25 0 1 0 1840118931 341262336 81550 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 83316 81550 1116 68 0 83248 0 [pid=7243] vsize: 333264 Current children cumulated CPU time (s) 338.72 Current children cumulated vsize (Kb) 333264 [startup+360.025 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 85095 0 0 0 34031 824 0 0 25 0 1 0 1840118931 349564928 83562 4294967295 134512640 134736556 3221224560 3221223152 134716124 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 85343 83562 1116 68 0 85275 0 [pid=7243] vsize: 341372 Current children cumulated CPU time (s) 348.55 Current children cumulated vsize (Kb) 341372 [startup+370.026 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 87206 0 0 0 34995 841 0 0 25 0 1 0 1840118931 357945344 85673 4294967295 134512640 134736556 3221224560 3221223136 134543198 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 87389 85673 1116 68 0 87321 0 [pid=7243] vsize: 349556 Current children cumulated CPU time (s) 358.36 Current children cumulated vsize (Kb) 349556 [startup+380.026 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 89765 0 0 0 35950 860 0 0 25 0 1 0 1840118931 368402432 88230 4294967295 134512640 134736556 3221224560 3221223028 134536049 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 89942 88230 1116 68 0 89874 0 [pid=7243] vsize: 359768 Current children cumulated CPU time (s) 368.1 Current children cumulated vsize (Kb) 359768 [startup+390.027 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 92060 0 0 0 36912 877 0 0 25 0 1 0 1840118931 377565184 90277 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 92179 90277 1116 68 0 92111 0 [pid=7243] vsize: 368716 Current children cumulated CPU time (s) 377.89 Current children cumulated vsize (Kb) 368716 [startup+400.028 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 94075 0 0 0 37880 892 0 0 25 0 1 0 1840118931 385740800 92289 4294967295 134512640 134736556 3221224560 3221223096 1077377374 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 94175 92289 1116 68 0 94107 0 [pid=7243] vsize: 376700 Current children cumulated CPU time (s) 387.72 Current children cumulated vsize (Kb) 376700 [startup+410.028 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 96652 0 0 0 38834 911 0 0 25 0 1 0 1840118931 396283904 94866 4294967295 134512640 134736556 3221224560 3221223112 134544553 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 96749 94866 1116 68 0 96681 0 [pid=7243] vsize: 386996 Current children cumulated CPU time (s) 397.45 Current children cumulated vsize (Kb) 386996 [startup+420.028 s] Raw data (loadavg): 0.99 0.96 0.91 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 98831 0 0 0 39798 924 0 0 25 0 1 0 1840118931 404996096 96963 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 98876 96963 1116 68 0 98808 0 [pid=7243] vsize: 395504 Current children cumulated CPU time (s) 407.22 Current children cumulated vsize (Kb) 395504 [startup+430.029 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 100965 0 0 0 40762 939 0 0 25 0 1 0 1840118931 413646848 99097 4294967295 134512640 134736556 3221224560 3221223312 134597438 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 100988 99098 1116 68 0 100920 0 [pid=7243] vsize: 403952 Current children cumulated CPU time (s) 417.01 Current children cumulated vsize (Kb) 403952 [startup+440.028 s] Raw data (loadavg): 1.07 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 103134 0 0 0 41724 957 0 0 25 0 1 0 1840118931 422432768 101266 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 103133 101266 1116 68 0 103065 0 [pid=7243] vsize: 412532 Current children cumulated CPU time (s) 426.81 Current children cumulated vsize (Kb) 412532 [startup+450.029 s] Raw data (loadavg): 1.06 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 105218 0 0 0 42685 975 0 0 20 0 1 0 1840118931 430678016 103350 4294967295 134512640 134736556 3221224560 3221223184 134537363 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 105146 103351 1116 68 0 105078 0 [pid=7243] vsize: 420584 Current children cumulated CPU time (s) 436.6 Current children cumulated vsize (Kb) 420584 [startup+460.03 s] Raw data (loadavg): 1.05 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 107494 0 0 0 43650 990 0 0 25 0 1 0 1840118931 439943168 105542 4294967295 134512640 134736556 3221224560 3221223072 134543198 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 107408 105542 1116 68 0 107340 0 [pid=7243] vsize: 429632 Current children cumulated CPU time (s) 446.4 Current children cumulated vsize (Kb) 429632 [startup+470.03 s] Raw data (loadavg): 1.04 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 109754 0 0 0 44616 1004 0 0 25 0 1 0 1840118931 448573440 107640 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 109515 107640 1116 68 0 109447 0 [pid=7243] vsize: 438060 Current children cumulated CPU time (s) 456.2 Current children cumulated vsize (Kb) 438060 [startup+480.031 s] Raw data (loadavg): 1.04 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 112184 0 0 0 45574 1022 0 0 25 0 1 0 1840118931 458575872 110070 4294967295 134512640 134736556 3221224560 3221223116 134544556 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 111957 110071 1116 68 0 111889 0 [pid=7243] vsize: 447828 Current children cumulated CPU time (s) 465.96 Current children cumulated vsize (Kb) 447828 [startup+490.031 s] Raw data (loadavg): 1.03 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 114270 0 0 0 46540 1037 0 0 25 0 1 0 1840118931 466800640 111994 4294967295 134512640 134736556 3221224560 3221223172 134544519 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 113965 111994 1116 68 0 113897 0 [pid=7243] vsize: 455860 Current children cumulated CPU time (s) 475.77 Current children cumulated vsize (Kb) 455860 [startup+500.032 s] Raw data (loadavg): 1.03 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 116639 0 0 0 47496 1056 0 0 20 0 1 0 1840118931 476532736 114363 4294967295 134512640 134736556 3221224560 3221223136 134543195 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 116341 114363 1116 68 0 116273 0 [pid=7243] vsize: 465364 Current children cumulated CPU time (s) 485.52 Current children cumulated vsize (Kb) 465364 [startup+510.033 s] Raw data (loadavg): 1.02 0.98 0.91 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 118679 0 0 0 48464 1068 0 0 25 0 1 0 1840118931 484487168 116317 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 118283 116317 1116 68 0 118215 0 [pid=7243] vsize: 473132 Current children cumulated CPU time (s) 495.32 Current children cumulated vsize (Kb) 473132 [startup+520.034 s] Raw data (loadavg): 1.02 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 121295 0 0 0 49422 1087 0 0 25 0 1 0 1840118931 495214592 118762 4294967295 134512640 134736556 3221224560 3221223136 134543184 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 120902 118762 1116 68 0 120834 0 [pid=7243] vsize: 483608 Current children cumulated CPU time (s) 505.09 Current children cumulated vsize (Kb) 483608 [startup+530.035 s] Raw data (loadavg): 1.01 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 123962 0 0 0 50387 1103 0 0 25 0 1 0 1840118931 505352192 120863 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 123377 120863 1116 68 0 123309 0 [pid=7243] vsize: 493508 Current children cumulated CPU time (s) 514.9 Current children cumulated vsize (Kb) 493508 [startup+540.035 s] Raw data (loadavg): 1.01 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 126116 0 0 0 51347 1122 0 0 25 0 1 0 1840118931 514142208 123017 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7243/statm): 125523 123017 1116 68 0 125455 0 [pid=7243] vsize: 502092 Current children cumulated CPU time (s) 524.69 Current children cumulated vsize (Kb) 502092 [startup+550.036 s] Raw data (loadavg): 1.01 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 128284 0 0 0 52311 1137 0 0 25 0 1 0 1840118931 522792960 125185 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 127635 125185 1116 68 0 127567 0 [pid=7243] vsize: 510540 Current children cumulated CPU time (s) 534.48 Current children cumulated vsize (Kb) 510540 [startup+560.037 s] Raw data (loadavg): 1.01 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 130294 0 0 0 53275 1152 0 0 25 0 1 0 1840118931 530903040 127195 4294967295 134512640 134736556 3221224560 3221223116 134535728 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 129615 127195 1116 68 0 129547 0 [pid=7243] vsize: 518460 Current children cumulated CPU time (s) 544.27 Current children cumulated vsize (Kb) 518460 [startup+570.037 s] Raw data (loadavg): 1.01 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 132202 0 0 0 54243 1166 0 0 25 0 1 0 1840118931 538529792 129021 4294967295 134512640 134736556 3221224560 3221223208 134544625 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 131477 129021 1116 68 0 131409 0 [pid=7243] vsize: 525908 Current children cumulated CPU time (s) 554.09 Current children cumulated vsize (Kb) 525908 [startup+580.038 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 134435 0 0 0 55206 1181 0 0 25 0 1 0 1840118931 547586048 131254 4294967295 134512640 134736556 3221224560 3221223152 134716144 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 133688 131254 1116 68 0 133620 0 [pid=7243] vsize: 534752 Current children cumulated CPU time (s) 563.87 Current children cumulated vsize (Kb) 534752 [startup+590.038 s] Raw data (loadavg): 1.00 0.98 0.91 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 136379 0 0 0 56175 1195 0 0 25 0 1 0 1840118931 555155456 133198 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 135536 133198 1116 68 0 135468 0 [pid=7243] vsize: 542144 Current children cumulated CPU time (s) 573.7 Current children cumulated vsize (Kb) 542144 [startup+600.039 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 138759 0 0 0 57135 1212 0 0 25 0 1 0 1840118931 564887552 135578 4294967295 134512640 134736556 3221224560 3221223076 134540036 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 137912 135578 1116 68 0 137844 0 [pid=7243] vsize: 551648 Current children cumulated CPU time (s) 583.47 Current children cumulated vsize (Kb) 551648 [startup+610.04 s] Raw data (loadavg): 1.00 0.98 0.91 1/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) T 7242 7243 5929 0 -1 0 140433 0 0 0 58105 1225 0 0 25 0 1 0 1840118931 571645952 137252 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7243/statm): 139562 137252 1116 68 0 139494 0 [pid=7243] vsize: 558248 Current children cumulated CPU time (s) 593.3 Current children cumulated vsize (Kb) 558248 [startup+620.04 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 7243 Raw data (/proc/7243/stat): 7243 (bsolo) R 7242 7243 5929 0 -1 0 142521 0 0 0 59068 1241 0 0 25 0 1 0 1840118931 580026368 139340 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7243/statm): 141608 139340 1116 68 0 141540 0 [pid=7243] vsize: 566432 Current children cumulated CPU time (s) 603.09 Current children cumulated vsize (Kb) 566432 One traced child (pid=7243) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 624.681 CPU time (s): 607.654 CPU user time (s): 594.919 CPU system time (s): 12.7351 CPU usage (%): 97.2742 Max. virtual memory (cumulated for all children) (Kb): 566432
ERROR: no interpretation found !