Name | submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb |
MD5SUM | 6137fb5f5f5e9a4f9b09d34c8e843809 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
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 | 13 |
Number of bits of the biggest sum of numbers | 4 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.039993 |
Number of variables | 216 |
Total number of constraints | 180 |
Number of constraints which are clauses | 156 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 12 |
LAUNCH ON wulflinc9 THE 2005-09-18 07:59:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27 boxname=wulflinc9 idbench=27 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 6137fb5f5f5e9a4f9b09d34c8e843809 /oldhome/oroussel/tmp/wulflinc9/normalized-fpga12_12_sat_pb.cnf.cr.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc9/normalized-fpga12_12_sat_pb.cnf.cr.opb IDLAUNCH: 27 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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: 951604 kB Buffers: 33288 kB Cached: 23944 kB SwapCached: 1044 kB Active: 52424 kB Inactive: 7508 kB HighTotal: 131008 kB HighFree: 103488 kB LowTotal: 903652 kB LowFree: 848116 kB SwapTotal: 2097136 kB SwapFree: 2095568 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5656 kB Slab: 17376 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 08:13:54 (client local time) WITH STATUS 10 IN 832.782 SECONDS stats: 27 0 832.782 10
c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 216 variables and 180 constraints. c Using non-optimization problem switches. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.096 c After prepocess the problem consists of 216 variables and 180 constraints. c Restart #1 #Var: 216 #Dec: 277 LB: 0 @ 0.253 c Restart #2 #Var: 216 #Dec: 690 LB: 0 @ 0.64 c Restart #3 #Var: 216 #Dec: 1314 LB: 0 @ 1.499 c Restart #4 #Var: 216 #Dec: 2132 LB: 0 @ 2.832 c Restart #5 #Var: 216 #Dec: 3155 LB: 0 @ 4.981 c Restart #6 #Var: 216 #Dec: 4376 LB: 0 @ 7.278 c Restart #7 #Var: 216 #Dec: 6620 LB: 0 @ 10.355 c Restart #8 #Var: 216 #Dec: 8302 LB: 0 @ 14.093 c Restart #9 #Var: 216 #Dec: 10127 LB: 0 @ 20.222 c Restart #10 #Var: 216 #Dec: 12185 LB: 0 @ 29.352 c Restart #11 #Var: 216 #Dec: 14412 LB: 0 @ 40.665 c Restart #12 #Var: 216 #Dec: 16860 LB: 0 @ 55.315 c Restart #13 #Var: 216 #Dec: 19492 LB: 0 @ 73.271 c Restart #14 #Var: 216 #Dec: 22357 LB: 0 @ 92.378 c Restart #15 #Var: 216 #Dec: 25476 LB: 0 @ 119.83 c Restart #16 #Var: 216 #Dec: 28786 LB: 0 @ 151.97 c Restart #17 #Var: 216 #Dec: 32306 LB: 0 @ 173.92 c Restart #18 #Var: 216 #Dec: 36040 LB: 0 @ 210.25 c Restart #19 #Var: 216 #Dec: 39952 LB: 0 @ 250.84 c Restart #20 #Var: 216 #Dec: 44020 LB: 0 @ 334.68 c Restart #21 #Var: 216 #Dec: 48300 LB: 0 @ 390.01 c Restart #22 #Var: 216 #Dec: 52838 LB: 0 @ 440.23 c Restart #23 #Var: 216 #Dec: 57589 LB: 0 @ 539.6 c CHANGE Heuristic... c Restart #0 #Var: 216 #Dec: 62532 LB: 0 @ 659.22 c Restart #1 #Var: 216 #Dec: 62751 LB: 0 @ 669.44 c Restart #2 #Var: 216 #Dec: 63162 LB: 0 @ 694.29 c Restart #3 #Var: 216 #Dec: 63779 LB: 0 @ 712 c Restart #4 #Var: 216 #Dec: 64632 LB: 0 @ 731.83 c Restart #5 #Var: 216 #Dec: 65805 LB: 0 @ 746.66 c Restart #6 #Var: 216 #Dec: 67310 LB: 0 @ 777.92 c Restart #7 #Var: 216 #Dec: 68763 LB: 0 @ 805.77 c NEW SOLUTION FOUND: 0 @ 832.71 @ #Dec. 69425 s SATISFIABLE v -v82 -v199 -v200 -v201 -v202 v203 -v204 -v104 -v187 -v188 v189 -v190 -v191 -v192 -v62 v151 -v152 -v153 -v154 -v155 -v156 -v124 -v163 -v164 v165 -v166 -v167 -v168 v59 -v205 -v206 -v207 v208 -v209 -v210 -v125 -v169 -v170 -v171 -v172 v173 -v174 -v61 -v145 -v146 -v147 -v148 -v149 v150 -v132 -v211 v212 -v213 -v214 -v215 -v216 -v34 -v141 -v193 -v194 -v195 -v196 -v197 v198 v67 v181 -v182 -v183 -v184 -v185 -v186 -v114 -v175 v176 -v177 -v178 -v179 -v180 v37 -v75 -v157 -v158 -v159 v160 -v161 -v162 -v89 -v118 -v77 -v143 -v121 -v7 -v110 -v129 -v1 -v10 -v63 -v64 -v65 -v66 -v68 -v69 -v70 -v71 -v72 -v6 -v22 -v87 -v139 -v113 -v76 -v85 -v86 -v88 -v90 -v91 -v92 -v93 v94 -v95 -v96 -v50 -v83 -v18 -v117 -v38 -v39 -v40 -v41 -v42 -v43 -v44 -v45 -v46 -v47 -v48 -v131 -v14 -v36 -v142 -v111 -v35 -v15 -v106 -v17 -v73 -v103 -v138 v101 -v126 v144 -v136 -v13 -v127 -v49 -v51 -v52 -v53 -v54 -v55 -v56 -v57 -v58 -v60 -v19 -v109 v78 -v8 v128 -v25 v26 -v27 -v28 -v29 -v30 -v31 -v32 -v33 -v108 -v74 -v79 -v80 -v81 -v84 -v102 -v133 -v134 -v135 -v137 -v140 -v11 -v20 -v100 -v12 -v97 -v98 -v99 -v105 -v107 v21 -v122 -v123 -v130 v112 -v115 -v116 -v119 -v120 -v2 -v4 v3 -v5 -v9 -v16 -v23 -v24 c Cost: 0 c Exit Code: 10 c Total time: 832.72 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/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 1781417544 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 107 3 90 68 0 39 0 [pid=30982] 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/wulflinc9/normalized-fpga12_12_sat_pb.cnf.cr.opb [startup+10.0044 s] Raw data (loadavg): 0.93 0.96 0.73 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 3242 0 0 0 947 23 0 0 25 0 1 0 1781417544 16310272 3153 4294967295 134512640 134736556 3221224560 3221223160 134554106 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 3982 3153 1116 68 0 3914 0 [pid=30982] vsize: 15928 Current children cumulated CPU time (s) 9.7 Current children cumulated vsize (Kb) 15928 [startup+20.0052 s] Raw data (loadavg): 0.94 0.96 0.73 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 4895 0 0 0 1918 36 0 0 25 0 1 0 1781417544 23068672 4806 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 5632 4806 1116 68 0 5564 0 [pid=30982] vsize: 22528 Current children cumulated CPU time (s) 19.54 Current children cumulated vsize (Kb) 22528 [startup+30.005 s] Raw data (loadavg): 0.95 0.96 0.73 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 5911 0 0 0 2900 45 0 0 25 0 1 0 1781417544 27303936 5822 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 6666 5822 1116 68 0 6598 0 [pid=30982] vsize: 26664 Current children cumulated CPU time (s) 29.45 Current children cumulated vsize (Kb) 26664 [startup+40.0057 s] Raw data (loadavg): 0.96 0.96 0.74 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) T 30981 30982 30740 0 -1 0 6744 0 0 0 3885 52 0 0 25 0 1 0 1781417544 30818304 6655 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/30982/statm): 7524 6655 1116 68 0 7456 0 [pid=30982] vsize: 30096 Current children cumulated CPU time (s) 39.37 Current children cumulated vsize (Kb) 30096 [startup+50.0064 s] Raw data (loadavg): 0.96 0.96 0.74 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 7518 0 0 0 4867 59 0 0 25 0 1 0 1781417544 33939456 7429 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 8286 7429 1116 68 0 8218 0 [pid=30982] vsize: 33144 Current children cumulated CPU time (s) 49.26 Current children cumulated vsize (Kb) 33144 [startup+60.0072 s] Raw data (loadavg): 0.97 0.96 0.74 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 8138 0 0 0 5856 65 0 0 25 0 1 0 1781417544 36528128 8047 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 8918 8047 1116 68 0 8850 0 [pid=30982] vsize: 35672 Current children cumulated CPU time (s) 59.21 Current children cumulated vsize (Kb) 35672 [startup+70.008 s] Raw data (loadavg): 0.97 0.96 0.74 1/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) T 30981 30982 30740 0 -1 0 8850 0 0 0 6842 71 0 0 25 0 1 0 1781417544 39526400 8755 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30982/statm): 9650 8755 1116 68 0 9582 0 [pid=30982] vsize: 38600 Current children cumulated CPU time (s) 69.13 Current children cumulated vsize (Kb) 38600 [startup+80.0088 s] Raw data (loadavg): 0.98 0.96 0.74 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 9444 0 0 0 7829 77 0 0 25 0 1 0 1781417544 41984000 9347 4294967295 134512640 134736556 3221224560 3221223164 134537548 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 10250 9347 1116 68 0 10182 0 [pid=30982] vsize: 41000 Current children cumulated CPU time (s) 79.06 Current children cumulated vsize (Kb) 41000 [startup+90.0095 s] Raw data (loadavg): 0.98 0.97 0.75 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 10073 0 0 0 8816 84 0 0 25 0 1 0 1781417544 44699648 9976 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 10913 9976 1116 68 0 10845 0 [pid=30982] vsize: 43652 Current children cumulated CPU time (s) 89 Current children cumulated vsize (Kb) 43652 [startup+100.01 s] Raw data (loadavg): 0.98 0.97 0.75 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 10551 0 0 0 9807 88 0 0 25 0 1 0 1781417544 46608384 10453 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 11379 10453 1116 68 0 11311 0 [pid=30982] vsize: 45516 Current children cumulated CPU time (s) 98.95 Current children cumulated vsize (Kb) 45516 [startup+110.012 s] Raw data (loadavg): 0.98 0.97 0.75 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 10998 0 0 0 10797 93 0 0 25 0 1 0 1781417544 48402432 10899 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 11817 10899 1116 68 0 11749 0 [pid=30982] vsize: 47268 Current children cumulated CPU time (s) 108.9 Current children cumulated vsize (Kb) 47268 [startup+120.013 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 11429 0 0 0 11789 97 0 0 25 0 1 0 1781417544 50319360 11327 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 12285 11327 1116 68 0 12217 0 [pid=30982] vsize: 49140 Current children cumulated CPU time (s) 118.86 Current children cumulated vsize (Kb) 49140 [startup+130.014 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 11939 0 0 0 12779 100 0 0 25 0 1 0 1781417544 52445184 11833 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 12804 11833 1116 68 0 12736 0 [pid=30982] vsize: 51216 Current children cumulated CPU time (s) 128.79 Current children cumulated vsize (Kb) 51216 [startup+140.014 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 12246 0 0 0 13772 105 0 0 25 0 1 0 1781417544 53678080 12139 4294967295 134512640 134736556 3221224560 3221223212 134554100 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 13105 12139 1116 68 0 13037 0 [pid=30982] vsize: 52420 Current children cumulated CPU time (s) 138.77 Current children cumulated vsize (Kb) 52420 [startup+150.015 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 12738 0 0 0 14762 109 0 0 25 0 1 0 1781417544 55726080 12631 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 13605 12631 1116 68 0 13537 0 [pid=30982] vsize: 54420 Current children cumulated CPU time (s) 148.71 Current children cumulated vsize (Kb) 54420 [startup+160.016 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 13144 0 0 0 15752 114 0 0 25 0 1 0 1781417544 57491456 13037 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 14036 13037 1116 68 0 13968 0 [pid=30982] vsize: 56144 Current children cumulated CPU time (s) 158.66 Current children cumulated vsize (Kb) 56144 [startup+170.017 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 13861 0 0 0 16737 121 0 0 25 0 1 0 1781417544 60469248 13754 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 14763 13754 1116 68 0 14695 0 [pid=30982] vsize: 59052 Current children cumulated CPU time (s) 168.58 Current children cumulated vsize (Kb) 59052 [startup+180.016 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 14511 0 0 0 17724 126 0 0 25 0 1 0 1781417544 63094784 14400 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 15404 14400 1116 68 0 15336 0 [pid=30982] vsize: 61616 Current children cumulated CPU time (s) 178.5 Current children cumulated vsize (Kb) 61616 [startup+190.017 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 14846 0 0 0 18717 130 0 0 25 0 1 0 1781417544 64495616 14733 4294967295 134512640 134736556 3221224560 3221223232 134528714 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 15746 14733 1116 68 0 15678 0 [pid=30982] vsize: 62984 Current children cumulated CPU time (s) 188.47 Current children cumulated vsize (Kb) 62984 [startup+200.018 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 15065 0 0 0 19713 132 0 0 25 0 1 0 1781417544 65470464 14951 4294967295 134512640 134736556 3221224560 3221223164 134537486 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 15984 14951 1116 68 0 15916 0 [pid=30982] vsize: 63936 Current children cumulated CPU time (s) 198.45 Current children cumulated vsize (Kb) 63936 [startup+210.019 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 15849 0 0 0 20697 139 0 0 25 0 1 0 1781417544 68722688 15735 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 16778 15735 1116 68 0 16710 0 [pid=30982] vsize: 67112 Current children cumulated CPU time (s) 208.36 Current children cumulated vsize (Kb) 67112 [startup+220.02 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 16167 0 0 0 21691 142 0 0 25 0 1 0 1781417544 69939200 16053 4294967295 134512640 134736556 3221224560 3221223084 134535728 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 17075 16053 1116 68 0 17007 0 [pid=30982] vsize: 68300 Current children cumulated CPU time (s) 218.33 Current children cumulated vsize (Kb) 68300 [startup+230.02 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 16682 0 0 0 22678 148 0 0 25 0 1 0 1781417544 72130560 16566 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 17610 16566 1116 68 0 17542 0 [pid=30982] vsize: 70440 Current children cumulated CPU time (s) 228.26 Current children cumulated vsize (Kb) 70440 [startup+240.021 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 17065 0 0 0 23671 151 0 0 25 0 1 0 1781417544 73625600 16949 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 17975 16949 1116 68 0 17907 0 [pid=30982] vsize: 71900 Current children cumulated CPU time (s) 238.22 Current children cumulated vsize (Kb) 71900 [startup+250.021 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 17356 0 0 0 24665 154 0 0 25 0 1 0 1781417544 74842112 17240 4294967295 134512640 134736556 3221224560 3221223248 134524459 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 18272 17240 1116 68 0 18204 0 [pid=30982] vsize: 73088 Current children cumulated CPU time (s) 248.19 Current children cumulated vsize (Kb) 73088 [startup+260.022 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 17697 0 0 0 25658 156 0 0 25 0 1 0 1781417544 76193792 17578 4294967295 134512640 134736556 3221224560 3221223196 1076647536 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 18602 17578 1116 68 0 18534 0 [pid=30982] vsize: 74408 Current children cumulated CPU time (s) 258.14 Current children cumulated vsize (Kb) 74408 [startup+270.023 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 17974 0 0 0 26652 159 0 0 25 0 1 0 1781417544 77520896 17852 4294967295 134512640 134736556 3221224560 3221223164 134537483 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 18926 17852 1116 68 0 18858 0 [pid=30982] vsize: 75704 Current children cumulated CPU time (s) 268.11 Current children cumulated vsize (Kb) 75704 [startup+280.023 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 18295 0 0 0 27645 163 0 0 25 0 1 0 1781417544 78737408 18173 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 19223 18173 1116 68 0 19155 0 [pid=30982] vsize: 76892 Current children cumulated CPU time (s) 278.08 Current children cumulated vsize (Kb) 76892 [startup+290.024 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 18535 0 0 0 28638 166 0 0 25 0 1 0 1781417544 79683584 18413 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 19454 18413 1116 68 0 19386 0 [pid=30982] vsize: 77816 Current children cumulated CPU time (s) 288.04 Current children cumulated vsize (Kb) 77816 [startup+300.025 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 18744 0 0 0 29634 168 0 0 25 0 1 0 1781417544 80564224 18621 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 19669 18621 1116 68 0 19601 0 [pid=30982] vsize: 78676 Current children cumulated CPU time (s) 298.02 Current children cumulated vsize (Kb) 78676 [startup+310.026 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 18938 0 0 0 30629 170 0 0 25 0 1 0 1781417544 81375232 18815 4294967295 134512640 134736556 3221224560 3221223028 134536046 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 19867 18815 1116 68 0 19799 0 [pid=30982] vsize: 79468 Current children cumulated CPU time (s) 307.99 Current children cumulated vsize (Kb) 79468 [startup+320.027 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 19097 0 0 0 31626 171 0 0 25 0 1 0 1781417544 82055168 18974 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 20033 18974 1116 68 0 19965 0 [pid=30982] vsize: 80132 Current children cumulated CPU time (s) 317.97 Current children cumulated vsize (Kb) 80132 [startup+330.027 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 19252 0 0 0 32624 172 0 0 25 0 1 0 1781417544 82821120 19125 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 20220 19125 1116 68 0 20152 0 [pid=30982] vsize: 80880 Current children cumulated CPU time (s) 327.96 Current children cumulated vsize (Kb) 80880 [startup+340.028 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 19456 0 0 0 33618 174 0 0 25 0 1 0 1781417544 83517440 19326 4294967295 134512640 134736556 3221224560 3221223208 134524325 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 20390 19326 1116 68 0 20322 0 [pid=30982] vsize: 81560 Current children cumulated CPU time (s) 337.92 Current children cumulated vsize (Kb) 81560 [startup+350.029 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 19835 0 0 0 34610 178 0 0 25 0 1 0 1781417544 85168128 19704 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 20793 19704 1116 68 0 20725 0 [pid=30982] vsize: 83172 Current children cumulated CPU time (s) 347.88 Current children cumulated vsize (Kb) 83172 [startup+360.031 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 20237 0 0 0 35601 182 0 0 25 0 1 0 1781417544 86790144 20106 4294967295 134512640 134736556 3221224560 3221223028 134536046 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 21189 20106 1116 68 0 21121 0 [pid=30982] vsize: 84756 Current children cumulated CPU time (s) 357.83 Current children cumulated vsize (Kb) 84756 [startup+370.032 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 20522 0 0 0 36594 184 0 0 25 0 1 0 1781417544 88018944 20389 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 21489 20389 1116 68 0 21421 0 [pid=30982] vsize: 85956 Current children cumulated CPU time (s) 367.78 Current children cumulated vsize (Kb) 85956 [startup+380.033 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 20872 0 0 0 37586 188 0 0 25 0 1 0 1781417544 89509888 20739 4294967295 134512640 134736556 3221224560 3221223120 134551217 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 21853 20739 1116 68 0 21785 0 [pid=30982] vsize: 87412 Current children cumulated CPU time (s) 377.74 Current children cumulated vsize (Kb) 87412 [startup+390.033 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 21125 0 0 0 38581 190 0 0 25 0 1 0 1781417544 90505216 20988 4294967295 134512640 134736556 3221224560 3221223024 134536103 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 22096 20988 1116 68 0 22028 0 [pid=30982] vsize: 88384 Current children cumulated CPU time (s) 387.71 Current children cumulated vsize (Kb) 88384 [startup+400.034 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 21647 0 0 0 39569 195 0 0 25 0 1 0 1781417544 92856320 21510 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 22670 21510 1116 68 0 22602 0 [pid=30982] vsize: 90680 Current children cumulated CPU time (s) 397.64 Current children cumulated vsize (Kb) 90680 [startup+410.035 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 22080 0 0 0 40559 199 0 0 25 0 1 0 1781417544 94613504 21942 4294967295 134512640 134736556 3221224560 3221223296 134529346 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 23099 21942 1116 68 0 23031 0 [pid=30982] vsize: 92396 Current children cumulated CPU time (s) 407.58 Current children cumulated vsize (Kb) 92396 [startup+420.036 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 22433 0 0 0 41551 203 0 0 25 0 1 0 1781417544 95965184 22293 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 23429 22293 1116 68 0 23361 0 [pid=30982] vsize: 93716 Current children cumulated CPU time (s) 417.54 Current children cumulated vsize (Kb) 93716 [startup+430.037 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 22698 0 0 0 42544 208 0 0 25 0 1 0 1781417544 97193984 22558 4294967295 134512640 134736556 3221224560 3221223120 134551094 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 23729 22558 1116 68 0 23661 0 [pid=30982] vsize: 94916 Current children cumulated CPU time (s) 427.52 Current children cumulated vsize (Kb) 94916 [startup+440.038 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 22951 0 0 0 43536 211 0 0 25 0 1 0 1781417544 98197504 22810 4294967295 134512640 134736556 3221224560 3221223164 134537548 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 23974 22810 1116 68 0 23906 0 [pid=30982] vsize: 95896 Current children cumulated CPU time (s) 437.47 Current children cumulated vsize (Kb) 95896 [startup+450.038 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 23188 0 0 0 44530 214 0 0 25 0 1 0 1781417544 99078144 23047 4294967295 134512640 134736556 3221224560 3221223220 134536523 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 24189 23047 1116 68 0 24121 0 [pid=30982] vsize: 96756 Current children cumulated CPU time (s) 447.44 Current children cumulated vsize (Kb) 96756 [startup+460.039 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 23468 0 0 0 45525 216 0 0 25 0 1 0 1781417544 100241408 23326 4294967295 134512640 134736556 3221224560 3221223120 134550956 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 24473 23326 1116 68 0 24405 0 [pid=30982] vsize: 97892 Current children cumulated CPU time (s) 457.41 Current children cumulated vsize (Kb) 97892 [startup+470.04 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 23728 0 0 0 46518 220 0 0 25 0 1 0 1781417544 101400576 23576 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 24756 23576 1116 68 0 24688 0 [pid=30982] vsize: 99024 Current children cumulated CPU time (s) 467.38 Current children cumulated vsize (Kb) 99024 [startup+480.04 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 23885 0 0 0 47514 221 0 0 25 0 1 0 1781417544 102109184 23732 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 24929 23732 1116 68 0 24861 0 [pid=30982] vsize: 99716 Current children cumulated CPU time (s) 477.35 Current children cumulated vsize (Kb) 99716 [startup+490.041 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 24176 0 0 0 48508 223 0 0 25 0 1 0 1781417544 103243776 24019 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 25206 24019 1116 68 0 25138 0 [pid=30982] vsize: 100824 Current children cumulated CPU time (s) 487.31 Current children cumulated vsize (Kb) 100824 [startup+500.042 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 24428 0 0 0 49503 226 0 0 25 0 1 0 1781417544 104325120 24271 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 25470 24271 1116 68 0 25402 0 [pid=30982] vsize: 101880 Current children cumulated CPU time (s) 497.29 Current children cumulated vsize (Kb) 101880 [startup+510.043 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 24626 0 0 0 50498 228 0 0 25 0 1 0 1781417544 105136128 24469 4294967295 134512640 134736556 3221224560 3221223152 134551094 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 25668 24469 1116 68 0 25600 0 [pid=30982] vsize: 102672 Current children cumulated CPU time (s) 507.26 Current children cumulated vsize (Kb) 102672 [startup+520.043 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 24809 0 0 0 51494 230 0 0 25 0 1 0 1781417544 105959424 24652 4294967295 134512640 134736556 3221224560 3221223284 134529471 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 25869 24652 1116 68 0 25801 0 [pid=30982] vsize: 103476 Current children cumulated CPU time (s) 517.24 Current children cumulated vsize (Kb) 103476 [startup+530.043 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 24973 0 0 0 52490 231 0 0 25 0 1 0 1781417544 106639360 24816 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 26035 24816 1116 68 0 25967 0 [pid=30982] vsize: 104140 Current children cumulated CPU time (s) 527.21 Current children cumulated vsize (Kb) 104140 [startup+540.044 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 25165 0 0 0 53486 234 0 0 25 0 1 0 1781417544 107479040 25006 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 26240 25006 1116 68 0 26172 0 [pid=30982] vsize: 104960 Current children cumulated CPU time (s) 537.2 Current children cumulated vsize (Kb) 104960 [startup+550.044 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 25322 0 0 0 54482 236 0 0 25 0 1 0 1781417544 108171264 25162 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 26409 25162 1116 68 0 26341 0 [pid=30982] vsize: 105636 Current children cumulated CPU time (s) 547.18 Current children cumulated vsize (Kb) 105636 [startup+560.045 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 25624 0 0 0 55476 239 0 0 25 0 1 0 1781417544 109387776 25458 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 26706 25458 1116 68 0 26638 0 [pid=30982] vsize: 106824 Current children cumulated CPU time (s) 557.15 Current children cumulated vsize (Kb) 106824 [startup+570.045 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 25809 0 0 0 56473 239 0 0 25 0 1 0 1781417544 110252032 25642 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 26917 25642 1116 68 0 26849 0 [pid=30982] vsize: 107668 Current children cumulated CPU time (s) 567.12 Current children cumulated vsize (Kb) 107668 [startup+580.045 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 25970 0 0 0 57469 242 0 0 25 0 1 0 1781417544 110792704 25803 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 27049 25803 1116 68 0 26981 0 [pid=30982] vsize: 108196 Current children cumulated CPU time (s) 577.11 Current children cumulated vsize (Kb) 108196 [startup+590.046 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 26216 0 0 0 58464 244 0 0 25 0 1 0 1781417544 111951872 26048 4294967295 134512640 134736556 3221224560 3221223024 134536188 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 27332 26048 1116 68 0 27264 0 [pid=30982] vsize: 109328 Current children cumulated CPU time (s) 587.08 Current children cumulated vsize (Kb) 109328 [startup+600.047 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 26370 0 0 0 59459 247 0 0 25 0 1 0 1781417544 112492544 26202 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 27464 26202 1116 68 0 27396 0 [pid=30982] vsize: 109856 Current children cumulated CPU time (s) 597.06 Current children cumulated vsize (Kb) 109856 [startup+610.048 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 26545 0 0 0 60455 249 0 0 25 0 1 0 1781417544 113168384 26377 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 27629 26377 1116 68 0 27561 0 [pid=30982] vsize: 110516 Current children cumulated CPU time (s) 607.04 Current children cumulated vsize (Kb) 110516 [startup+620.049 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 26765 0 0 0 61450 251 0 0 25 0 1 0 1781417544 114114560 26597 4294967295 134512640 134736556 3221224560 3221223024 134536162 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 27860 26597 1116 68 0 27792 0 [pid=30982] vsize: 111440 Current children cumulated CPU time (s) 617.01 Current children cumulated vsize (Kb) 111440 [startup+630.048 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 26945 0 0 0 62445 253 0 0 25 0 1 0 1781417544 114790400 26773 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 28025 26773 1116 68 0 27957 0 [pid=30982] vsize: 112100 Current children cumulated CPU time (s) 626.98 Current children cumulated vsize (Kb) 112100 [startup+640.049 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 27098 0 0 0 63441 254 0 0 25 0 1 0 1781417544 115331072 26926 4294967295 134512640 134736556 3221224560 3221223152 134716183 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 28157 26926 1116 68 0 28089 0 [pid=30982] vsize: 112628 Current children cumulated CPU time (s) 636.95 Current children cumulated vsize (Kb) 112628 [startup+650.049 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 27248 0 0 0 64437 256 0 0 25 0 1 0 1781417544 115871744 27076 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 28289 27076 1116 68 0 28221 0 [pid=30982] vsize: 113156 Current children cumulated CPU time (s) 646.93 Current children cumulated vsize (Kb) 113156 [startup+660.05 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 27388 0 0 0 65435 257 0 0 25 0 1 0 1781417544 116486144 27213 4294967295 134512640 134736556 3221224560 3221223120 134551105 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 28439 27213 1116 68 0 28371 0 [pid=30982] vsize: 113756 Current children cumulated CPU time (s) 656.92 Current children cumulated vsize (Kb) 113756 [startup+670.051 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 27467 0 0 0 66432 259 0 0 25 0 1 0 1781417544 116756480 27292 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 28505 27292 1116 68 0 28437 0 [pid=30982] vsize: 114020 Current children cumulated CPU time (s) 666.91 Current children cumulated vsize (Kb) 114020 [startup+680.051 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 27535 0 0 0 67431 259 0 0 25 0 1 0 1781417544 117026816 27360 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 28571 27360 1116 68 0 28503 0 [pid=30982] vsize: 114284 Current children cumulated CPU time (s) 676.9 Current children cumulated vsize (Kb) 114284 [startup+690.051 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 27608 0 0 0 68430 260 0 0 25 0 1 0 1781417544 117297152 27433 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 28637 27433 1116 68 0 28569 0 [pid=30982] vsize: 114548 Current children cumulated CPU time (s) 686.9 Current children cumulated vsize (Kb) 114548 [startup+700.051 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 27693 0 0 0 69428 261 0 0 25 0 1 0 1781417544 117702656 27518 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 28736 27518 1116 68 0 28668 0 [pid=30982] vsize: 114944 Current children cumulated CPU time (s) 696.89 Current children cumulated vsize (Kb) 114944 [startup+710.052 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 27864 0 0 0 70424 263 0 0 25 0 1 0 1781417544 118382592 27689 4294967295 134512640 134736556 3221224560 3221223264 134528659 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 28902 27689 1116 68 0 28834 0 [pid=30982] vsize: 115608 Current children cumulated CPU time (s) 706.87 Current children cumulated vsize (Kb) 115608 [startup+720.053 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 28014 0 0 0 71421 264 0 0 25 0 1 0 1781417544 118923264 27839 4294967295 134512640 134736556 3221224560 3221223116 134537548 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 29034 27839 1116 68 0 28966 0 [pid=30982] vsize: 116136 Current children cumulated CPU time (s) 716.85 Current children cumulated vsize (Kb) 116136 [startup+730.053 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 28218 0 0 0 72417 266 0 0 25 0 1 0 1781417544 119869440 28043 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 29265 28043 1116 68 0 29197 0 [pid=30982] vsize: 117060 Current children cumulated CPU time (s) 726.83 Current children cumulated vsize (Kb) 117060 [startup+740.053 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 28410 0 0 0 73413 267 0 0 25 0 1 0 1781417544 120545280 28235 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30982/statm): 29430 28235 1116 68 0 29362 0 [pid=30982] vsize: 117720 Current children cumulated CPU time (s) 736.8 Current children cumulated vsize (Kb) 117720 [startup+750.054 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 28881 0 0 0 74403 273 0 0 25 0 1 0 1781417544 122437632 28706 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 29892 28706 1116 68 0 29824 0 [pid=30982] vsize: 119568 Current children cumulated CPU time (s) 746.76 Current children cumulated vsize (Kb) 119568 [startup+760.056 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 29038 0 0 0 75400 274 0 0 25 0 1 0 1781417544 123232256 28854 4294967295 134512640 134736556 3221224560 3221223096 134536597 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 30086 28854 1116 68 0 30018 0 [pid=30982] vsize: 120344 Current children cumulated CPU time (s) 756.74 Current children cumulated vsize (Kb) 120344 [startup+770.057 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 29245 0 0 0 76394 277 0 0 25 0 1 0 1781417544 124116992 29061 4294967295 134512640 134736556 3221224560 3221223152 134716075 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 30302 29061 1116 68 0 30234 0 [pid=30982] vsize: 121208 Current children cumulated CPU time (s) 766.71 Current children cumulated vsize (Kb) 121208 [startup+780.058 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 29515 0 0 0 77389 279 0 0 25 0 1 0 1781417544 125288448 29322 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 30588 29322 1116 68 0 30520 0 [pid=30982] vsize: 122352 Current children cumulated CPU time (s) 776.68 Current children cumulated vsize (Kb) 122352 [startup+790.058 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 29727 0 0 0 78385 281 0 0 25 0 1 0 1781417544 126226432 29520 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 30817 29520 1116 68 0 30749 0 [pid=30982] vsize: 123268 Current children cumulated CPU time (s) 786.66 Current children cumulated vsize (Kb) 123268 [startup+800.059 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 30009 0 0 0 79377 285 0 0 25 0 1 0 1781417544 127516672 29801 4294967295 134512640 134736556 3221224560 3221223216 134537458 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 31132 29801 1116 68 0 31064 0 [pid=30982] vsize: 124528 Current children cumulated CPU time (s) 796.62 Current children cumulated vsize (Kb) 124528 [startup+810.06 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 30212 0 0 0 80372 288 0 0 25 0 1 0 1781417544 128327680 30004 4294967295 134512640 134736556 3221224560 3221223232 134528714 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 31330 30004 1116 68 0 31262 0 [pid=30982] vsize: 125320 Current children cumulated CPU time (s) 806.6 Current children cumulated vsize (Kb) 125320 [startup+820.061 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 30337 0 0 0 81369 289 0 0 25 0 1 0 1781417544 128929792 30129 4294967295 134512640 134736556 3221224560 3221223024 134536188 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 31477 30129 1116 68 0 31409 0 [pid=30982] vsize: 125908 Current children cumulated CPU time (s) 816.58 Current children cumulated vsize (Kb) 125908 [startup+830.062 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 30982 Raw data (/proc/30982/stat): 30982 (bsolo) R 30981 30982 30740 0 -1 0 30413 0 0 0 82366 291 0 0 25 0 1 0 1781417544 129200128 30205 4294967295 134512640 134736556 3221224560 3221223120 134551105 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30982/statm): 31543 30205 1116 68 0 31475 0 [pid=30982] vsize: 126172 Current children cumulated CPU time (s) 826.57 Current children cumulated vsize (Kb) 126172 One traced child (pid=30982) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 836.282 CPU time (s): 832.782 CPU user time (s): 829.799 CPU system time (s): 2.98355 CPU usage (%): 99.5815 Max. virtual memory (cumulated for all children) (Kb): 126172
Verifier: OK 0