Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb |
MD5SUM | 511f20f1868f397c99d8a26ca62146c0 |
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 | 31 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04984 |
Number of variables | 1350 |
Total number of constraints | 990 |
Number of constraints which are clauses | 930 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 30 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-02 23:41:39 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=426 boxname=wulflinc31 idbench=48 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 511f20f1868f397c99d8a26ca62146c0 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_30_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_30_sat_pb.cnf.cr.opb IDLAUNCH: 426 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 925164 kB Buffers: 38968 kB Cached: 48420 kB SwapCached: 944 kB Active: 73308 kB Inactive: 16544 kB HighTotal: 131008 kB HighFree: 81536 kB LowTotal: 903652 kB LowFree: 843628 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5536 kB Slab: 14060 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-03 00:01:42 (client local time) WITH STATUS 0 IN 1175.05 SECONDS stats: 426 7 1175.05 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: No cost function. Find solution and finish. c Initial problem consists of 1350 variables and 990 constraints. c After prepocess the problem consists of 1350 variables and 990 constraints. c preprocess terminated 1.982 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.95 0.92 2/54 29352 Raw data (stat): 29352 (runsolver) R 29351 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 644157764 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.001 s] Raw data (loadavg): 0.93 0.96 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 1831 0 0 0 989 7 0 0 25 0 1 0 644157764 11153408 1806 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2723 1806 1111 63 0 2660 0 vsize: 10892 [startup+20.0014 s] Raw data (loadavg): 0.94 0.96 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2010 0 0 0 1988 8 0 0 25 0 1 0 644157764 11825152 1985 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2887 1985 1111 63 0 2824 0 vsize: 11548 [startup+30.0024 s] Raw data (loadavg): 0.95 0.96 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2122 0 0 0 2986 10 0 0 25 0 1 0 644157764 12365824 2097 4294967295 134512640 134714540 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3019 2097 1111 63 0 2956 0 vsize: 12076 [startup+40.0026 s] Raw data (loadavg): 0.96 0.96 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2207 0 0 0 3983 13 0 0 25 0 1 0 644157764 12636160 2182 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3085 2182 1111 63 0 3022 0 vsize: 12340 [startup+50.0022 s] Raw data (loadavg): 0.96 0.96 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2270 0 0 0 4982 15 0 0 25 0 1 0 644157764 12898304 2245 4294967295 134512640 134714540 3221221776 3221220416 134696151 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3149 2245 1111 63 0 3086 0 vsize: 12596 [startup+60.0022 s] Raw data (loadavg): 0.97 0.96 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2317 0 0 0 5980 16 0 0 25 0 1 0 644157764 13168640 2292 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3215 2292 1111 63 0 3152 0 vsize: 12860 [startup+70.0024 s] Raw data (loadavg): 0.97 0.96 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2366 0 0 0 6978 19 0 0 25 0 1 0 644157764 13303808 2341 4294967295 134512640 134714540 3221221776 3221220512 134558518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3248 2341 1111 63 0 3185 0 vsize: 12992 [startup+80.003 s] Raw data (loadavg): 0.98 0.96 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2595 0 0 0 7977 21 0 0 25 0 1 0 644157764 14249984 2570 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3479 2570 1111 63 0 3416 0 vsize: 13916 [startup+90.0029 s] Raw data (loadavg): 0.98 0.96 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2696 0 0 0 8975 22 0 0 25 0 1 0 644157764 14655488 2671 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3578 2671 1111 63 0 3515 0 vsize: 14312 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2702 0 0 0 9975 23 0 0 25 0 1 0 644157764 14790656 2677 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3611 2677 1111 63 0 3548 0 vsize: 14444 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2743 0 0 0 10974 24 0 0 25 0 1 0 644157764 14925824 2718 4294967295 134512640 134714540 3221221776 3221220208 134697235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3644 2718 1111 63 0 3581 0 vsize: 14576 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2785 0 0 0 11973 25 0 0 25 0 1 0 644157764 15060992 2760 4294967295 134512640 134714540 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3677 2760 1111 63 0 3614 0 vsize: 14708 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2813 0 0 0 12972 27 0 0 25 0 1 0 644157764 15196160 2788 4294967295 134512640 134714540 3221221776 3221220472 134552673 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3710 2788 1111 63 0 3647 0 vsize: 14840 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2813 0 0 0 13971 27 0 0 25 0 1 0 644157764 15196160 2788 4294967295 134512640 134714540 3221221776 3221220172 1077379846 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3710 2788 1111 63 0 3647 0 vsize: 14840 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2899 0 0 0 14970 28 0 0 25 0 1 0 644157764 15413248 2838 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3763 2838 1111 63 0 3700 0 vsize: 15052 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2913 0 0 0 15970 29 0 0 25 0 1 0 644157764 15413248 2852 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3763 2852 1111 63 0 3700 0 vsize: 15052 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2947 0 0 0 16969 30 0 0 25 0 1 0 644157764 15548416 2886 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3796 2886 1111 63 0 3733 0 vsize: 15184 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2947 0 0 0 17968 31 0 0 25 0 1 0 644157764 15548416 2886 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3796 2886 1111 63 0 3733 0 vsize: 15184 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2947 0 0 0 18967 32 0 0 25 0 1 0 644157764 15548416 2886 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3796 2886 1111 63 0 3733 0 vsize: 15184 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 2989 0 0 0 19966 33 0 0 25 0 1 0 644157764 15777792 2928 4294967295 134512640 134714540 3221221776 3221220560 134584901 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3852 2928 1111 63 0 3789 0 vsize: 15408 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 3042 0 0 0 20965 34 0 0 25 0 1 0 644157764 15912960 2981 4294967295 134512640 134714540 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3885 2981 1111 63 0 3822 0 vsize: 15540 [startup+220.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 3147 0 0 0 21963 36 0 0 25 0 1 0 644157764 16371712 3080 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3997 3080 1111 63 0 3934 0 vsize: 15988 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 3431 0 0 0 22962 38 0 0 25 0 1 0 644157764 17584128 3364 4294967295 134512640 134714540 3221221776 3221220444 134552672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4293 3364 1111 63 0 4230 0 vsize: 17172 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 3630 0 0 0 23960 40 0 0 25 0 1 0 644157764 18395136 3563 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4491 3563 1111 63 0 4428 0 vsize: 17964 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 3721 0 0 0 24958 42 0 0 25 0 1 0 644157764 18763776 3654 4294967295 134512640 134714540 3221221776 3221220400 1077377136 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4581 3654 1111 63 0 4518 0 vsize: 18324 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 3825 0 0 0 25956 44 0 0 25 0 1 0 644157764 19169280 3758 4294967295 134512640 134714540 3221221776 3221220460 134552632 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4680 3758 1111 63 0 4617 0 vsize: 18720 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4004 0 0 0 26953 47 0 0 25 0 1 0 644157764 19845120 3937 4294967295 134512640 134714540 3221221776 3221220524 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4845 3937 1111 63 0 4782 0 vsize: 19380 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4119 0 0 0 27952 49 0 0 25 0 1 0 644157764 20369408 4052 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4973 4052 1111 63 0 4910 0 vsize: 19892 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4186 0 0 0 28950 51 0 0 25 0 1 0 644157764 20639744 4119 4294967295 134512640 134714540 3221221776 3221220344 1077377239 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5039 4119 1111 63 0 4976 0 vsize: 20156 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4251 0 0 0 29948 53 0 0 25 0 1 0 644157764 20873216 4184 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5096 4184 1111 63 0 5033 0 vsize: 20384 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4353 0 0 0 30947 54 0 0 25 0 1 0 644157764 21274624 4286 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5194 4286 1111 63 0 5131 0 vsize: 20776 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4453 0 0 0 31946 55 0 0 25 0 1 0 644157764 21745664 4386 4294967295 134512640 134714540 3221221776 3221220188 1077379843 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5309 4386 1111 63 0 5246 0 vsize: 21236 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4499 0 0 0 32945 57 0 0 25 0 1 0 644157764 21880832 4432 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5342 4432 1111 63 0 5279 0 vsize: 21368 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4553 0 0 0 33943 59 0 0 25 0 1 0 644157764 22110208 4486 4294967295 134512640 134714540 3221221776 3221220608 134551450 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5398 4486 1111 63 0 5335 0 vsize: 21592 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4637 0 0 0 34941 61 0 0 25 0 1 0 644157764 22515712 4570 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5497 4570 1111 63 0 5434 0 vsize: 21988 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4699 0 0 0 35939 64 0 0 25 0 1 0 644157764 22745088 4632 4294967295 134512640 134714540 3221221776 3221220592 134588097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5553 4632 1111 63 0 5490 0 vsize: 22212 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4722 0 0 0 36937 65 0 0 25 0 1 0 644157764 22880256 4655 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5586 4655 1111 63 0 5523 0 vsize: 22344 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4766 0 0 0 37936 67 0 0 25 0 1 0 644157764 23015424 4699 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5619 4699 1111 63 0 5556 0 vsize: 22476 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4801 0 0 0 38934 68 0 0 25 0 1 0 644157764 23150592 4734 4294967295 134512640 134714540 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5652 4734 1111 63 0 5589 0 vsize: 22608 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4827 0 0 0 39933 70 0 0 25 0 1 0 644157764 23277568 4760 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5683 4760 1111 63 0 5620 0 vsize: 22732 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4862 0 0 0 40931 72 0 0 25 0 1 0 644157764 23412736 4795 4294967295 134512640 134714540 3221221776 3221220448 1077378560 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5716 4795 1111 63 0 5653 0 vsize: 22864 [startup+420.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 4971 0 0 0 41930 73 0 0 25 0 1 0 644157764 23818240 4904 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5815 4904 1111 63 0 5752 0 vsize: 23260 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5013 0 0 0 42929 75 0 0 25 0 1 0 644157764 23953408 4946 4294967295 134512640 134714540 3221221776 3221220368 134548578 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5848 4946 1111 63 0 5785 0 vsize: 23392 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5026 0 0 0 43928 76 0 0 25 0 1 0 644157764 24080384 4959 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5879 4959 1111 63 0 5816 0 vsize: 23516 [startup+450.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5039 0 0 0 44926 78 0 0 25 0 1 0 644157764 24080384 4972 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5879 4972 1111 63 0 5816 0 vsize: 23516 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5056 0 0 0 45925 79 0 0 25 0 1 0 644157764 24215552 4989 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5912 4989 1111 63 0 5849 0 vsize: 23648 [startup+470.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5073 0 0 0 46923 81 0 0 25 0 1 0 644157764 24215552 5006 4294967295 134512640 134714540 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5912 5006 1111 63 0 5849 0 vsize: 23648 [startup+480.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5117 0 0 0 47922 82 0 0 25 0 1 0 644157764 24485888 5050 4294967295 134512640 134714540 3221221776 3221220384 134548605 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5978 5050 1111 63 0 5915 0 vsize: 23912 [startup+490.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5152 0 0 0 48921 83 0 0 25 0 1 0 644157764 24621056 5085 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6011 5085 1111 63 0 5948 0 vsize: 24044 [startup+500.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5152 0 0 0 49920 84 0 0 25 0 1 0 644157764 24621056 5085 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6011 5085 1111 63 0 5948 0 vsize: 24044 [startup+510.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5195 0 0 0 50919 86 0 0 25 0 1 0 644157764 24756224 5128 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6044 5128 1111 63 0 5981 0 vsize: 24176 [startup+520.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5213 0 0 0 51918 87 0 0 25 0 1 0 644157764 24887296 5146 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6076 5146 1111 63 0 6013 0 vsize: 24304 [startup+530.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5222 0 0 0 52917 88 0 0 25 0 1 0 644157764 24887296 5155 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6076 5155 1111 63 0 6013 0 vsize: 24304 [startup+540.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5256 0 0 0 53915 90 0 0 25 0 1 0 644157764 25022464 5189 4294967295 134512640 134714540 3221221776 3221220400 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6109 5189 1111 63 0 6046 0 vsize: 24436 [startup+550.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5438 0 0 0 54912 93 0 0 25 0 1 0 644157764 25698304 5371 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6274 5371 1111 63 0 6211 0 vsize: 25096 [startup+560.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5510 0 0 0 55911 95 0 0 25 0 1 0 644157764 26075136 5443 4294967295 134512640 134714540 3221221776 3221220336 134552038 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6366 5443 1111 63 0 6303 0 vsize: 25464 [startup+570.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5579 0 0 0 56910 96 0 0 25 0 1 0 644157764 26316800 5512 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6425 5512 1111 63 0 6362 0 vsize: 25700 [startup+580.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5648 0 0 0 57909 97 0 0 25 0 1 0 644157764 26578944 5581 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6489 5581 1111 63 0 6426 0 vsize: 25956 [startup+590.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5755 0 0 0 58907 99 0 0 25 0 1 0 644157764 27119616 5688 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6621 5688 1111 63 0 6558 0 vsize: 26484 [startup+600.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5788 0 0 0 59907 99 0 0 25 0 1 0 644157764 27250688 5721 4294967295 134512640 134714540 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6653 5721 1111 63 0 6590 0 vsize: 26612 [startup+610.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5924 0 0 0 60905 101 0 0 25 0 1 0 644157764 27791360 5857 4294967295 134512640 134714540 3221221776 3221220284 134535967 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6785 5857 1111 63 0 6722 0 vsize: 27140 [startup+620.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 5976 0 0 0 61905 102 0 0 25 0 1 0 644157764 27926528 5909 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6818 5909 1111 63 0 6755 0 vsize: 27272 [startup+630.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6019 0 0 0 62903 104 0 0 25 0 1 0 644157764 28196864 5952 4294967295 134512640 134714540 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6884 5952 1111 63 0 6821 0 vsize: 27536 [startup+640.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6053 0 0 0 63902 105 0 0 25 0 1 0 644157764 28323840 5986 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6915 5986 1111 63 0 6852 0 vsize: 27660 [startup+650.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6102 0 0 0 64901 106 0 0 25 0 1 0 644157764 28459008 6035 4294967295 134512640 134714540 3221221776 3221220404 1077374180 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6948 6035 1111 63 0 6885 0 vsize: 27792 [startup+660.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6142 0 0 0 65901 107 0 0 25 0 1 0 644157764 28594176 6075 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6981 6075 1111 63 0 6918 0 vsize: 27924 [startup+670.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6294 0 0 0 66899 108 0 0 25 0 1 0 644157764 29249536 6227 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7141 6227 1111 63 0 7078 0 vsize: 28564 [startup+680.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6429 0 0 0 67898 110 0 0 25 0 1 0 644157764 29790208 6362 4294967295 134512640 134714540 3221221776 3221220344 1077377698 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7273 6362 1111 63 0 7210 0 vsize: 29092 [startup+690.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6503 0 0 0 68897 111 0 0 25 0 1 0 644157764 30150656 6436 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7361 6436 1111 63 0 7298 0 vsize: 29444 [startup+700.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6536 0 0 0 69896 112 0 0 25 0 1 0 644157764 30269440 6469 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7390 6469 1111 63 0 7327 0 vsize: 29560 [startup+710.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6584 0 0 0 70895 114 0 0 25 0 1 0 644157764 30404608 6517 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7423 6517 1111 63 0 7360 0 vsize: 29692 [startup+720.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6609 0 0 0 71893 115 0 0 25 0 1 0 644157764 30539776 6542 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7456 6542 1111 63 0 7393 0 vsize: 29824 [startup+730.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6757 0 0 0 72891 118 0 0 25 0 1 0 644157764 31215616 6690 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7621 6690 1111 63 0 7558 0 vsize: 30484 [startup+740.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6899 0 0 0 73889 120 0 0 25 0 1 0 644157764 31731712 6832 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7747 6832 1111 63 0 7684 0 vsize: 30988 [startup+750.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 6982 0 0 0 74887 122 0 0 25 0 1 0 644157764 32133120 6915 4294967295 134512640 134714540 3221221776 3221220416 134539425 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7845 6915 1111 63 0 7782 0 vsize: 31380 [startup+760.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29352 Raw data (stat): 29352 (bsolo_mis) R 29351 7876 7672 0 -1 0 7042 0 0 0 75886 123 0 0 25 0 1 0 644157764 32268288 6975 4294967295 134512640 134714540 3221221776 3221220416 134696148 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7878 6975 1111 63 0 7815 0 vsize: 31512 [startup+1202.64 s] Raw data (loadavg): 3.99 3.27 2.04 2/55 29353 Raw data (stat): 29352 (bsolo_mis) Z 29351 7876 7672 0 -1 12 8561 0 0 0 117326 177 0 0 23 0 1 0 644157764 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 [startup+1202.64 s] Raw data (loadavg): 3.99 3.27 2.04 3/55 29353 Raw data (stat): 29352 (bsolo_mis) Z 29351 7876 7672 0 -1 12 8561 0 0 0 117326 177 0 0 23 0 1 0 644157764 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Child status: 0 Real time (s): 1202.64 CPU time (s): 1175.05 CPU user time (s): 1173.27 CPU system time (s): 1.77973 CPU usage (%): 97.7059 Max. virtual memory (Kb): 31512 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####