Name | submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb |
MD5SUM | 159220fb0573bb17ad11cefe6a440cec |
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 | 11 |
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.051991 |
Number of variables | 120 |
Total number of constraints | 106 |
Number of constraints which are clauses | 88 |
Number of constraints which are cardinality constraints (but not clauses) | 18 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 10 |
LAUNCH ON wulflinc4 THE 2005-09-18 07:59:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20 boxname=wulflinc4 idbench=20 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 159220fb0573bb17ad11cefe6a440cec /oldhome/oroussel/tmp/wulflinc4/normalized-fpga10_8_sat_pb.cnf.cr.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc4/normalized-fpga10_8_sat_pb.cnf.cr.opb IDLAUNCH: 20 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 956000 kB Buffers: 33568 kB Cached: 21504 kB SwapCached: 960 kB Active: 51260 kB Inactive: 6416 kB HighTotal: 131008 kB HighFree: 107156 kB LowTotal: 903652 kB LowFree: 848844 kB SwapTotal: 2097136 kB SwapFree: 2095628 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5692 kB Slab: 15272 kB Committed_AS: 72360 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 08:11:10 (client local time) WITH STATUS 10 IN 673.815 SECONDS stats: 20 0 673.815 10
c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 120 variables and 106 constraints. c Using non-optimization problem switches. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.056 c After prepocess the problem consists of 120 variables and 106 constraints. c Restart #1 #Var: 120 #Dec: 234 LB: 0 @ 0.16 c Restart #2 #Var: 120 #Dec: 691 LB: 0 @ 0.389 c Restart #3 #Var: 120 #Dec: 1439 LB: 0 @ 0.83 c Restart #4 #Var: 120 #Dec: 2314 LB: 0 @ 1.46 c Restart #5 #Var: 120 #Dec: 3335 LB: 0 @ 2.628 c Restart #6 #Var: 120 #Dec: 4671 LB: 0 @ 4.384 c Restart #7 #Var: 120 #Dec: 6117 LB: 0 @ 7.074 c Restart #8 #Var: 120 #Dec: 7870 LB: 0 @ 9.887 c Restart #9 #Var: 120 #Dec: 9870 LB: 0 @ 13.058 c Restart #10 #Var: 120 #Dec: 11993 LB: 0 @ 17.809 c Restart #11 #Var: 120 #Dec: 14541 LB: 0 @ 23.429 c Restart #12 #Var: 120 #Dec: 17305 LB: 0 @ 28.843 c Restart #13 #Var: 120 #Dec: 20704 LB: 0 @ 37.559 c Restart #14 #Var: 120 #Dec: 23688 LB: 0 @ 46.654 c Restart #15 #Var: 120 #Dec: 27024 LB: 0 @ 56.867 c Restart #16 #Var: 120 #Dec: 30475 LB: 0 @ 72.073 c Restart #17 #Var: 120 #Dec: 34638 LB: 0 @ 89.376 c Restart #18 #Var: 120 #Dec: 38693 LB: 0 @ 104.76 c Restart #19 #Var: 120 #Dec: 43204 LB: 0 @ 127.83 c Restart #20 #Var: 120 #Dec: 47953 LB: 0 @ 162.5 c Restart #21 #Var: 120 #Dec: 52743 LB: 0 @ 187.39 c Restart #22 #Var: 120 #Dec: 57671 LB: 0 @ 247.64 c Restart #23 #Var: 120 #Dec: 63224 LB: 0 @ 274.75 c Restart #24 #Var: 120 #Dec: 68918 LB: 0 @ 321.48 c Restart #25 #Var: 120 #Dec: 74706 LB: 0 @ 360 c Restart #26 #Var: 120 #Dec: 80251 LB: 0 @ 400.4 c Restart #27 #Var: 120 #Dec: 86088 LB: 0 @ 464.35 c Restart #28 #Var: 120 #Dec: 92472 LB: 0 @ 521.99 c Restart #29 #Var: 120 #Dec: 98950 LB: 0 @ 595.39 c CHANGE Heuristic... c Restart #0 #Var: 120 #Dec: 105780 LB: 0 @ 671.67 c NEW SOLUTION FOUND: 0 @ 673.75 @ #Dec. 105949 s SATISFIABLE v v27 v105 -v106 -v107 -v108 -v20 -v117 -v118 v119 -v120 -v13 -v89 -v90 -v91 -v92 -v69 -v113 -v114 -v115 -v116 -v24 -v93 -v94 -v95 v96 -v68 -v109 -v110 -v111 v112 -v15 v97 -v98 -v99 -v100 -v1 -v81 -v82 v83 -v84 -v46 -v101 v102 -v103 -v104 -v61 -v29 -v35 -v16 -v63 v64 -v77 -v39 -v34 -v53 -v49 -v79 -v55 -v54 -v65 -v62 -v66 -v67 -v70 -v74 -v2 -v3 -v4 -v5 v6 -v7 -v8 -v9 -v10 -v42 -v85 v86 -v87 -v88 -v40 -v41 -v33 v31 -v32 -v36 -v37 -v38 -v56 -v71 -v28 -v72 -v73 -v75 -v76 -v78 v80 -v12 -v21 -v22 -v23 -v25 -v26 -v30 -v44 -v14 -v51 -v19 -v11 -v58 -v43 -v50 -v57 -v59 v52 -v17 v18 v45 -v60 -v48 -v47 c Cost: 0 c Exit Code: 10 c Total time: 673.75 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/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1781402778 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 107 3 90 68 0 39 0 [pid=7089] 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/wulflinc4/normalized-fpga10_8_sat_pb.cnf.cr.opb [startup+10.0044 s] Raw data (loadavg): 1.09 1.00 0.74 1/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) T 7088 7089 6847 0 -1 0 2491 0 0 0 945 23 0 0 25 0 1 0 1781402778 13336576 2402 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7089/statm): 3256 2402 1116 68 0 3188 0 [pid=7089] vsize: 13024 Current children cumulated CPU time (s) 9.68 Current children cumulated vsize (Kb) 13024 [startup+20.0053 s] Raw data (loadavg): 1.08 1.00 0.74 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 3800 0 0 0 1913 37 0 0 25 0 1 0 1781402778 18608128 3711 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 4543 3711 1116 68 0 4475 0 [pid=7089] vsize: 18172 Current children cumulated CPU time (s) 19.5 Current children cumulated vsize (Kb) 18172 [startup+30.0061 s] Raw data (loadavg): 1.06 1.00 0.74 1/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) T 7088 7089 6847 0 -1 0 4901 0 0 0 2879 52 0 0 25 0 1 0 1781402778 23203840 4812 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7089/statm): 5665 4812 1116 68 0 5597 0 [pid=7089] vsize: 22660 Current children cumulated CPU time (s) 29.31 Current children cumulated vsize (Kb) 22660 [startup+40.007 s] Raw data (loadavg): 1.05 1.00 0.74 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 5747 0 0 0 3855 61 0 0 25 0 1 0 1781402778 26591232 5658 4294967295 134512640 134736556 3221224560 3221223032 134634650 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 6492 5658 1116 68 0 6424 0 [pid=7089] vsize: 25968 Current children cumulated CPU time (s) 39.16 Current children cumulated vsize (Kb) 25968 [startup+50.0078 s] Raw data (loadavg): 1.04 1.00 0.74 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 6575 0 0 0 4834 71 0 0 25 0 1 0 1781402778 29978624 6486 4294967295 134512640 134736556 3221224560 3221223084 134536672 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 7319 6486 1116 68 0 7251 0 [pid=7089] vsize: 29276 Current children cumulated CPU time (s) 49.05 Current children cumulated vsize (Kb) 29276 [startup+60.0086 s] Raw data (loadavg): 1.04 1.00 0.75 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 7484 0 0 0 5810 82 0 0 25 0 1 0 1781402778 33763328 7394 4294967295 134512640 134736556 3221224560 3221223144 134716414 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 8243 7394 1116 68 0 8175 0 [pid=7089] vsize: 32972 Current children cumulated CPU time (s) 58.92 Current children cumulated vsize (Kb) 32972 [startup+70.0085 s] Raw data (loadavg): 1.03 1.00 0.75 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 8176 0 0 0 6791 90 0 0 25 0 1 0 1781402778 36618240 8086 4294967295 134512640 134736556 3221224560 3221223232 134528711 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 8940 8086 1116 68 0 8872 0 [pid=7089] vsize: 35760 Current children cumulated CPU time (s) 68.81 Current children cumulated vsize (Kb) 35760 [startup+80.0083 s] Raw data (loadavg): 1.03 1.00 0.75 1/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) T 7088 7089 6847 0 -1 0 8743 0 0 0 7776 98 0 0 25 0 1 0 1781402778 38952960 8650 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7089/statm): 9510 8650 1116 68 0 9442 0 [pid=7089] vsize: 38040 Current children cumulated CPU time (s) 78.74 Current children cumulated vsize (Kb) 38040 [startup+90.0092 s] Raw data (loadavg): 1.02 1.00 0.75 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 9296 0 0 0 8758 106 0 0 25 0 1 0 1781402778 41259008 9202 4294967295 134512640 134736556 3221224560 3221223164 134537548 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 10073 9202 1116 68 0 10005 0 [pid=7089] vsize: 40292 Current children cumulated CPU time (s) 88.64 Current children cumulated vsize (Kb) 40292 [startup+100.009 s] Raw data (loadavg): 1.02 1.00 0.75 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 9939 0 0 0 9741 113 0 0 25 0 1 0 1781402778 43978752 9843 4294967295 134512640 134736556 3221224560 3221223136 134716332 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 10737 9843 1116 68 0 10669 0 [pid=7089] vsize: 42948 Current children cumulated CPU time (s) 98.54 Current children cumulated vsize (Kb) 42948 [startup+110.01 s] Raw data (loadavg): 1.01 1.00 0.76 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 10500 0 0 0 10726 120 0 0 25 0 1 0 1781402778 46280704 10404 4294967295 134512640 134736556 3221224560 3221223120 134551105 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 11299 10404 1116 68 0 11231 0 [pid=7089] vsize: 45196 Current children cumulated CPU time (s) 108.46 Current children cumulated vsize (Kb) 45196 [startup+120.011 s] Raw data (loadavg): 1.01 1.00 0.76 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 10917 0 0 0 11714 124 0 0 25 0 1 0 1781402778 48050176 10819 4294967295 134512640 134736556 3221224560 3221223100 134536596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 11731 10819 1116 68 0 11663 0 [pid=7089] vsize: 46924 Current children cumulated CPU time (s) 118.38 Current children cumulated vsize (Kb) 46924 [startup+130.011 s] Raw data (loadavg): 1.01 1.00 0.76 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 11542 0 0 0 12695 134 0 0 25 0 1 0 1781402778 50622464 11443 4294967295 134512640 134736556 3221224560 3221223260 134553984 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 12359 11443 1116 68 0 12291 0 [pid=7089] vsize: 49436 Current children cumulated CPU time (s) 128.29 Current children cumulated vsize (Kb) 49436 [startup+140.01 s] Raw data (loadavg): 1.01 1.00 0.76 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 12194 0 0 0 13678 140 0 0 25 0 1 0 1781402778 53329920 12094 4294967295 134512640 134736556 3221224560 3221223152 134716146 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 13020 12094 1116 68 0 12952 0 [pid=7089] vsize: 52080 Current children cumulated CPU time (s) 138.18 Current children cumulated vsize (Kb) 52080 [startup+150.011 s] Raw data (loadavg): 1.01 1.00 0.76 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 12397 0 0 0 14671 142 0 0 25 0 1 0 1781402778 54169600 12295 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 13225 12295 1116 68 0 13157 0 [pid=7089] vsize: 52900 Current children cumulated CPU time (s) 148.13 Current children cumulated vsize (Kb) 52900 [startup+160.012 s] Raw data (loadavg): 1.00 1.00 0.77 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 12601 0 0 0 15661 147 0 0 25 0 1 0 1781402778 54980608 12499 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 13423 12499 1116 68 0 13355 0 [pid=7089] vsize: 53692 Current children cumulated CPU time (s) 158.08 Current children cumulated vsize (Kb) 53692 [startup+170.013 s] Raw data (loadavg): 1.00 1.00 0.77 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 12936 0 0 0 16648 153 0 0 25 0 1 0 1781402778 56348672 12834 4294967295 134512640 134736556 3221224560 3221223280 134529480 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 13757 12834 1116 68 0 13689 0 [pid=7089] vsize: 55028 Current children cumulated CPU time (s) 168.01 Current children cumulated vsize (Kb) 55028 [startup+180.013 s] Raw data (loadavg): 1.00 1.00 0.77 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 13455 0 0 0 17633 158 0 0 25 0 1 0 1781402778 58511360 13353 4294967295 134512640 134736556 3221224560 3221223148 134551267 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 14285 13353 1116 68 0 14217 0 [pid=7089] vsize: 57140 Current children cumulated CPU time (s) 177.91 Current children cumulated vsize (Kb) 57140 [startup+190.014 s] Raw data (loadavg): 1.00 1.00 0.77 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 13949 0 0 0 18617 165 0 0 25 0 1 0 1781402778 60538880 13847 4294967295 134512640 134736556 3221224560 3221223160 134554101 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 14780 13847 1116 68 0 14712 0 [pid=7089] vsize: 59120 Current children cumulated CPU time (s) 187.82 Current children cumulated vsize (Kb) 59120 [startup+200.013 s] Raw data (loadavg): 1.00 1.00 0.77 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 14216 0 0 0 19608 169 0 0 25 0 1 0 1781402778 61755392 14112 4294967295 134512640 134736556 3221224560 3221223072 134535752 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 15077 14112 1116 68 0 15009 0 [pid=7089] vsize: 60308 Current children cumulated CPU time (s) 197.77 Current children cumulated vsize (Kb) 60308 [startup+210.014 s] Raw data (loadavg): 1.00 1.00 0.77 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 14477 0 0 0 20601 172 0 0 25 0 1 0 1781402778 62836736 14373 4294967295 134512640 134736556 3221224560 3221223232 134528804 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 15341 14373 1116 68 0 15273 0 [pid=7089] vsize: 61364 Current children cumulated CPU time (s) 207.73 Current children cumulated vsize (Kb) 61364 [startup+220.015 s] Raw data (loadavg): 1.00 1.00 0.78 1/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) T 7088 7089 6847 0 -1 0 14746 0 0 0 21593 175 0 0 25 0 1 0 1781402778 63930368 14642 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7089/statm): 15608 14642 1116 68 0 15540 0 [pid=7089] vsize: 62432 Current children cumulated CPU time (s) 217.68 Current children cumulated vsize (Kb) 62432 [startup+230.015 s] Raw data (loadavg): 1.00 1.00 0.78 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 14936 0 0 0 22588 177 0 0 25 0 1 0 1781402778 64606208 14832 4294967295 134512640 134736556 3221224560 3221223248 134536470 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 15773 14832 1116 68 0 15705 0 [pid=7089] vsize: 63092 Current children cumulated CPU time (s) 227.65 Current children cumulated vsize (Kb) 63092 [startup+240.016 s] Raw data (loadavg): 1.00 1.00 0.78 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 15112 0 0 0 23582 179 0 0 25 0 1 0 1781402778 65482752 15006 4294967295 134512640 134736556 3221224560 3221223296 134529337 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 15987 15006 1116 68 0 15919 0 [pid=7089] vsize: 63948 Current children cumulated CPU time (s) 237.61 Current children cumulated vsize (Kb) 63948 [startup+250.016 s] Raw data (loadavg): 1.00 1.00 0.78 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 15301 0 0 0 24577 181 0 0 25 0 1 0 1781402778 66158592 15195 4294967295 134512640 134736556 3221224560 3221223268 134529474 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 16152 15195 1116 68 0 16084 0 [pid=7089] vsize: 64608 Current children cumulated CPU time (s) 247.58 Current children cumulated vsize (Kb) 64608 [startup+260.017 s] Raw data (loadavg): 1.00 1.00 0.78 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 15860 0 0 0 25562 188 0 0 25 0 1 0 1781402778 68464640 15754 4294967295 134512640 134736556 3221224560 3221223184 134524549 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 16715 15754 1116 68 0 16647 0 [pid=7089] vsize: 66860 Current children cumulated CPU time (s) 257.5 Current children cumulated vsize (Kb) 66860 [startup+270.017 s] Raw data (loadavg): 1.00 1.00 0.79 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 16279 0 0 0 26550 194 0 0 25 0 1 0 1781402778 70221824 16173 4294967295 134512640 134736556 3221224560 3221223220 134524881 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 17144 16173 1116 68 0 17076 0 [pid=7089] vsize: 68576 Current children cumulated CPU time (s) 267.44 Current children cumulated vsize (Kb) 68576 [startup+280.017 s] Raw data (loadavg): 1.00 1.00 0.79 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 16687 0 0 0 27536 200 0 0 25 0 1 0 1781402778 71843840 16581 4294967295 134512640 134736556 3221224560 3221223084 134536687 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 17540 16581 1116 68 0 17472 0 [pid=7089] vsize: 70160 Current children cumulated CPU time (s) 277.36 Current children cumulated vsize (Kb) 70160 [startup+290.018 s] Raw data (loadavg): 1.00 1.00 0.79 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 17021 0 0 0 28523 206 0 0 25 0 1 0 1781402778 73195520 16915 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 17870 16915 1116 68 0 17802 0 [pid=7089] vsize: 71480 Current children cumulated CPU time (s) 287.29 Current children cumulated vsize (Kb) 71480 [startup+300.018 s] Raw data (loadavg): 1.00 1.00 0.79 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 17330 0 0 0 29511 211 0 0 25 0 1 0 1781402778 74547200 17224 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 18200 17224 1116 68 0 18132 0 [pid=7089] vsize: 72800 Current children cumulated CPU time (s) 297.22 Current children cumulated vsize (Kb) 72800 [startup+310.019 s] Raw data (loadavg): 1.00 1.00 0.79 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 17688 0 0 0 30500 216 0 0 25 0 1 0 1781402778 75898880 17582 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 18530 17582 1116 68 0 18462 0 [pid=7089] vsize: 74120 Current children cumulated CPU time (s) 307.16 Current children cumulated vsize (Kb) 74120 [startup+320.02 s] Raw data (loadavg): 1.00 1.00 0.80 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 17899 0 0 0 31493 218 0 0 25 0 1 0 1781402778 76857344 17792 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 18764 17792 1116 68 0 18696 0 [pid=7089] vsize: 75056 Current children cumulated CPU time (s) 317.11 Current children cumulated vsize (Kb) 75056 [startup+330.02 s] Raw data (loadavg): 1.00 1.00 0.80 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 18232 0 0 0 32483 223 0 0 25 0 1 0 1781402778 78233600 18120 4294967295 134512640 134736556 3221224560 3221223164 134537545 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 19100 18120 1116 68 0 19032 0 [pid=7089] vsize: 76400 Current children cumulated CPU time (s) 327.06 Current children cumulated vsize (Kb) 76400 [startup+340.02 s] Raw data (loadavg): 1.00 1.00 0.80 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 18729 0 0 0 33469 228 0 0 25 0 1 0 1781402778 80302080 18616 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 19605 18616 1116 68 0 19537 0 [pid=7089] vsize: 78420 Current children cumulated CPU time (s) 336.97 Current children cumulated vsize (Kb) 78420 [startup+350.019 s] Raw data (loadavg): 1.00 1.00 0.80 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 19113 0 0 0 34458 233 0 0 25 0 1 0 1781402778 81924096 19000 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 20001 19000 1116 68 0 19933 0 [pid=7089] vsize: 80004 Current children cumulated CPU time (s) 346.91 Current children cumulated vsize (Kb) 80004 [startup+360.021 s] Raw data (loadavg): 1.00 1.00 0.80 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 19378 0 0 0 35448 238 0 0 25 0 1 0 1781402778 83005440 19265 4294967295 134512640 134736556 3221224560 3221223164 134554100 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 20265 19265 1116 68 0 20197 0 [pid=7089] vsize: 81060 Current children cumulated CPU time (s) 356.86 Current children cumulated vsize (Kb) 81060 [startup+370.021 s] Raw data (loadavg): 1.00 1.00 0.81 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 19737 0 0 0 36437 242 0 0 25 0 1 0 1781402778 84570112 19623 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 20647 19623 1116 68 0 20579 0 [pid=7089] vsize: 82588 Current children cumulated CPU time (s) 366.79 Current children cumulated vsize (Kb) 82588 [startup+380.021 s] Raw data (loadavg): 1.00 1.00 0.81 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 20144 0 0 0 37425 247 0 0 25 0 1 0 1781402778 86208512 20030 4294967295 134512640 134736556 3221224560 3221222932 134717260 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 21047 20030 1116 68 0 20979 0 [pid=7089] vsize: 84188 Current children cumulated CPU time (s) 376.72 Current children cumulated vsize (Kb) 84188 [startup+390.022 s] Raw data (loadavg): 1.00 1.00 0.81 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 20607 0 0 0 38412 252 0 0 25 0 1 0 1781402778 88100864 20493 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 21509 20493 1116 68 0 21441 0 [pid=7089] vsize: 86036 Current children cumulated CPU time (s) 386.64 Current children cumulated vsize (Kb) 86036 [startup+400.022 s] Raw data (loadavg): 1.00 1.00 0.81 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 20951 0 0 0 39402 257 0 0 25 0 1 0 1781402778 89464832 20837 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 21842 20837 1116 68 0 21774 0 [pid=7089] vsize: 87368 Current children cumulated CPU time (s) 396.59 Current children cumulated vsize (Kb) 87368 [startup+410.023 s] Raw data (loadavg): 1.00 1.00 0.81 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 21280 0 0 0 40393 261 0 0 25 0 1 0 1781402778 90894336 21165 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 22191 21165 1116 68 0 22123 0 [pid=7089] vsize: 88764 Current children cumulated CPU time (s) 406.54 Current children cumulated vsize (Kb) 88764 [startup+420.024 s] Raw data (loadavg): 1.00 1.00 0.82 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 21714 0 0 0 41380 267 0 0 25 0 1 0 1781402778 92667904 21599 4294967295 134512640 134736556 3221224560 3221223208 134554061 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 22624 21599 1116 68 0 22556 0 [pid=7089] vsize: 90496 Current children cumulated CPU time (s) 416.47 Current children cumulated vsize (Kb) 90496 [startup+430.025 s] Raw data (loadavg): 1.00 1.00 0.82 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 22049 0 0 0 42372 270 0 0 25 0 1 0 1781402778 94253056 21930 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 23011 21930 1116 68 0 22943 0 [pid=7089] vsize: 92044 Current children cumulated CPU time (s) 426.42 Current children cumulated vsize (Kb) 92044 [startup+440.025 s] Raw data (loadavg): 1.00 1.00 0.82 1/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) T 7088 7089 6847 0 -1 0 22315 0 0 0 43364 274 0 0 25 0 1 0 1781402778 95334400 22196 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7089/statm): 23275 22196 1116 68 0 23207 0 [pid=7089] vsize: 93100 Current children cumulated CPU time (s) 436.38 Current children cumulated vsize (Kb) 93100 [startup+450.026 s] Raw data (loadavg): 1.00 1.00 0.82 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 22567 0 0 0 44356 277 0 0 25 0 1 0 1781402778 96378880 22444 4294967295 134512640 134736556 3221224560 3221223284 134529471 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 23530 22444 1116 68 0 23462 0 [pid=7089] vsize: 94120 Current children cumulated CPU time (s) 446.33 Current children cumulated vsize (Kb) 94120 [startup+460.027 s] Raw data (loadavg): 1.00 1.00 0.82 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 22740 0 0 0 45351 279 0 0 25 0 1 0 1781402778 97087488 22616 4294967295 134512640 134736556 3221224560 3221223092 134716943 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 23703 22616 1116 68 0 23635 0 [pid=7089] vsize: 94812 Current children cumulated CPU time (s) 456.3 Current children cumulated vsize (Kb) 94812 [startup+470.028 s] Raw data (loadavg): 1.00 1.00 0.82 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 22944 0 0 0 46346 281 0 0 25 0 1 0 1781402778 97931264 22819 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 23909 22819 1116 68 0 23841 0 [pid=7089] vsize: 95636 Current children cumulated CPU time (s) 466.27 Current children cumulated vsize (Kb) 95636 [startup+480.028 s] Raw data (loadavg): 1.00 1.00 0.82 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 23356 0 0 0 47334 288 0 0 25 0 1 0 1781402778 99688448 23231 4294967295 134512640 134736556 3221224560 3221223300 134597411 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 24338 23231 1116 68 0 24270 0 [pid=7089] vsize: 97352 Current children cumulated CPU time (s) 476.22 Current children cumulated vsize (Kb) 97352 [startup+490.029 s] Raw data (loadavg): 1.00 1.00 0.82 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 23690 0 0 0 48326 291 0 0 25 0 1 0 1781402778 101126144 23563 4294967295 134512640 134736556 3221224560 3221223136 134551210 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 24689 23563 1116 68 0 24621 0 [pid=7089] vsize: 98756 Current children cumulated CPU time (s) 486.17 Current children cumulated vsize (Kb) 98756 [startup+500.03 s] Raw data (loadavg): 1.07 1.02 0.83 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 24054 0 0 0 49316 295 0 0 25 0 1 0 1781402778 102653952 23926 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 25062 23926 1116 68 0 24994 0 [pid=7089] vsize: 100248 Current children cumulated CPU time (s) 496.11 Current children cumulated vsize (Kb) 100248 [startup+510.031 s] Raw data (loadavg): 1.06 1.02 0.83 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 24372 0 0 0 50305 301 0 0 25 0 1 0 1781402778 104050688 24239 4294967295 134512640 134736556 3221224560 3221223204 134524344 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 25403 24239 1116 68 0 25335 0 [pid=7089] vsize: 101612 Current children cumulated CPU time (s) 506.06 Current children cumulated vsize (Kb) 101612 [startup+520.031 s] Raw data (loadavg): 1.05 1.01 0.83 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 24550 0 0 0 51301 302 0 0 25 0 1 0 1781402778 104738816 24417 4294967295 134512640 134736556 3221224560 3221223228 134553304 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 25571 24417 1116 68 0 25503 0 [pid=7089] vsize: 102284 Current children cumulated CPU time (s) 516.03 Current children cumulated vsize (Kb) 102284 [startup+530.032 s] Raw data (loadavg): 1.04 1.01 0.83 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 24833 0 0 0 52293 306 0 0 25 0 1 0 1781402778 105820160 24700 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7089/statm): 25835 24700 1116 68 0 25767 0 [pid=7089] vsize: 103340 Current children cumulated CPU time (s) 525.99 Current children cumulated vsize (Kb) 103340 [startup+540.032 s] Raw data (loadavg): 1.04 1.01 0.83 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 25187 0 0 0 53283 310 0 0 25 0 1 0 1781402778 107307008 25054 4294967295 134512640 134736556 3221224560 3221223076 134535736 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 26198 25054 1116 68 0 26130 0 [pid=7089] vsize: 104792 Current children cumulated CPU time (s) 535.93 Current children cumulated vsize (Kb) 104792 [startup+550.032 s] Raw data (loadavg): 1.03 1.01 0.84 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 25514 0 0 0 54274 315 0 0 25 0 1 0 1781402778 108658688 25381 4294967295 134512640 134736556 3221224560 3221223276 134554112 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 26528 25381 1116 68 0 26460 0 [pid=7089] vsize: 106112 Current children cumulated CPU time (s) 545.89 Current children cumulated vsize (Kb) 106112 [startup+560.033 s] Raw data (loadavg): 1.02 1.01 0.84 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 25799 0 0 0 55267 318 0 0 25 0 1 0 1781402778 109740032 25666 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 26792 25666 1116 68 0 26724 0 [pid=7089] vsize: 107168 Current children cumulated CPU time (s) 555.85 Current children cumulated vsize (Kb) 107168 [startup+570.034 s] Raw data (loadavg): 1.02 1.01 0.84 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26009 0 0 0 56259 322 0 0 25 0 1 0 1781402778 110555136 25876 4294967295 134512640 134736556 3221224560 3221223192 134554109 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 26991 25876 1116 68 0 26923 0 [pid=7089] vsize: 107964 Current children cumulated CPU time (s) 565.81 Current children cumulated vsize (Kb) 107964 [startup+580.034 s] Raw data (loadavg): 1.02 1.01 0.84 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26261 0 0 0 57251 326 0 0 25 0 1 0 1781402778 111669248 26125 4294967295 134512640 134736556 3221224560 3221223232 134528744 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 27263 26125 1116 68 0 27195 0 [pid=7089] vsize: 109052 Current children cumulated CPU time (s) 575.77 Current children cumulated vsize (Kb) 109052 [startup+590.035 s] Raw data (loadavg): 1.01 1.01 0.84 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26430 0 0 0 58246 328 0 0 25 0 1 0 1781402778 112345088 26293 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 27428 26293 1116 68 0 27360 0 [pid=7089] vsize: 109712 Current children cumulated CPU time (s) 585.74 Current children cumulated vsize (Kb) 109712 [startup+600.036 s] Raw data (loadavg): 1.01 1.01 0.84 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26613 0 0 0 59240 331 0 0 25 0 1 0 1781402778 113160192 26476 4294967295 134512640 134736556 3221224560 3221223120 134551150 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 27627 26476 1116 68 0 27559 0 [pid=7089] vsize: 110508 Current children cumulated CPU time (s) 595.71 Current children cumulated vsize (Kb) 110508 [startup+610.037 s] Raw data (loadavg): 1.01 1.01 0.84 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26797 0 0 0 60236 334 0 0 25 0 1 0 1781402778 113836032 26660 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 27792 26660 1116 68 0 27724 0 [pid=7089] vsize: 111168 Current children cumulated CPU time (s) 605.7 Current children cumulated vsize (Kb) 111168 [startup+620.037 s] Raw data (loadavg): 1.01 1.00 0.84 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 26974 0 0 0 61230 336 0 0 25 0 1 0 1781402778 114511872 26837 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 27957 26837 1116 68 0 27889 0 [pid=7089] vsize: 111828 Current children cumulated CPU time (s) 615.66 Current children cumulated vsize (Kb) 111828 [startup+630.037 s] Raw data (loadavg): 1.01 1.00 0.84 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 27127 0 0 0 62226 338 0 0 25 0 1 0 1781402778 115187712 26990 4294967295 134512640 134736556 3221224560 3221223164 134554110 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 28122 26990 1116 68 0 28054 0 [pid=7089] vsize: 112488 Current children cumulated CPU time (s) 625.64 Current children cumulated vsize (Kb) 112488 [startup+640.038 s] Raw data (loadavg): 1.00 1.00 0.84 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 27405 0 0 0 63219 341 0 0 25 0 1 0 1781402778 116350976 27265 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 28406 27265 1116 68 0 28338 0 [pid=7089] vsize: 113624 Current children cumulated CPU time (s) 635.6 Current children cumulated vsize (Kb) 113624 [startup+650.038 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 27535 0 0 0 64215 344 0 0 25 0 1 0 1781402778 116899840 27395 4294967295 134512640 134736556 3221224560 3221223120 134551056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 28540 27395 1116 68 0 28472 0 [pid=7089] vsize: 114160 Current children cumulated CPU time (s) 645.59 Current children cumulated vsize (Kb) 114160 [startup+660.039 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 27913 0 0 0 65202 349 0 0 25 0 1 0 1781402778 118525952 27773 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 28937 27773 1116 68 0 28869 0 [pid=7089] vsize: 115748 Current children cumulated CPU time (s) 655.51 Current children cumulated vsize (Kb) 115748 [startup+670.04 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 7089 Raw data (/proc/7089/stat): 7089 (bsolo) R 7088 7089 6847 0 -1 0 28241 0 0 0 66192 354 0 0 25 0 1 0 1781402778 119877632 28101 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7089/statm): 29267 28101 1116 68 0 29199 0 [pid=7089] vsize: 117068 Current children cumulated CPU time (s) 665.46 Current children cumulated vsize (Kb) 117068 One traced child (pid=7089) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 678.435 CPU time (s): 673.815 CPU user time (s): 670.187 CPU system time (s): 3.62745 CPU usage (%): 99.3189 Max. virtual memory (cumulated for all children) (Kb): 117068
Verifier: OK 0