Name | normalized-opb/submitted/een/normalized-nw04.opb |
MD5SUM | c4c13764e2ea959929790d6ef6d0273c |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
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 | 87482 |
Biggest coefficient in the objective function | 5220 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 120189580 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 42031 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 120189580 |
Number of bits of the biggest sum of numbers | 27 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 18.0483 |
Number of variables | 87482 |
Total number of constraints | 72 |
Number of constraints which are clauses | 36 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 599 |
Maximum length of a constraint | 42032 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-16 18:19:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5086 boxname=wulflinc31 idbench=392 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: c4c13764e2ea959929790d6ef6d0273c /oldhome/oroussel/tmp/wulflinc31/normalized-nw04.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-nw04.opb IDLAUNCH: 5086 /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: 763292 kB Buffers: 49636 kB Cached: 198856 kB SwapCached: 1952 kB Active: 207596 kB Inactive: 44096 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 763040 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5380 kB Slab: 13856 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-16 18:39:11 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 5086 7 1200.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### 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.86 0.97 0.98 2/55 15971 Raw data (stat): 15971 (runsolver) R 15970 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 763196399 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.88 0.97 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 636 0 0 0 993 3 0 0 25 0 1 0 763196399 15196160 613 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3710 613 1111 63 0 3647 0 vsize: 14840 [startup+20.0017 s] Raw data (loadavg): 0.90 0.97 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 691 0 0 0 1993 4 0 0 25 0 1 0 763196399 15470592 668 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3777 668 1111 63 0 3714 0 vsize: 15108 [startup+30.0024 s] Raw data (loadavg): 0.91 0.97 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 743 0 0 0 2993 4 0 0 25 0 1 0 763196399 15740928 720 4294967295 134512640 134714540 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3843 720 1111 63 0 3780 0 vsize: 15372 [startup+40.0036 s] Raw data (loadavg): 0.93 0.97 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 800 0 0 0 3993 4 0 0 25 0 1 0 763196399 15876096 777 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3876 777 1111 63 0 3813 0 vsize: 15504 [startup+50.0035 s] Raw data (loadavg): 0.94 0.97 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 854 0 0 0 4993 4 0 0 25 0 1 0 763196399 16146432 831 4294967295 134512640 134714540 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3942 831 1111 63 0 3879 0 vsize: 15768 [startup+60.0041 s] Raw data (loadavg): 0.95 0.97 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 908 0 0 0 5993 4 0 0 25 0 1 0 763196399 16416768 885 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4008 885 1111 63 0 3945 0 vsize: 16032 [startup+70.0044 s] Raw data (loadavg): 0.95 0.97 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 969 0 0 0 6993 5 0 0 25 0 1 0 763196399 16551936 946 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4041 946 1111 63 0 3978 0 vsize: 16164 [startup+80.0053 s] Raw data (loadavg): 0.96 0.97 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1022 0 0 0 7993 5 0 0 25 0 1 0 763196399 16822272 999 4294967295 134512640 134714540 3221221792 3221220020 1077414372 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4107 999 1111 63 0 4044 0 vsize: 16428 [startup+90.0053 s] Raw data (loadavg): 0.97 0.97 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1076 0 0 0 8993 5 0 0 25 0 1 0 763196399 17092608 1053 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4173 1053 1111 63 0 4110 0 vsize: 16692 [startup+100.005 s] Raw data (loadavg): 1.05 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1129 0 0 0 9993 5 0 0 25 0 1 0 763196399 17227776 1106 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4206 1106 1111 63 0 4143 0 vsize: 16824 [startup+110.006 s] Raw data (loadavg): 1.04 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1202 0 0 0 10993 5 0 0 25 0 1 0 763196399 17571840 1179 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4290 1179 1111 63 0 4227 0 vsize: 17160 [startup+120.007 s] Raw data (loadavg): 1.04 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1259 0 0 0 11993 5 0 0 25 0 1 0 763196399 17735680 1236 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4330 1236 1111 63 0 4267 0 vsize: 17320 [startup+130.008 s] Raw data (loadavg): 1.03 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1312 0 0 0 12994 5 0 0 25 0 1 0 763196399 18010112 1289 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4397 1289 1111 63 0 4334 0 vsize: 17588 [startup+140.008 s] Raw data (loadavg): 1.02 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1379 0 0 0 13994 6 0 0 25 0 1 0 763196399 18300928 1356 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4468 1356 1111 63 0 4405 0 vsize: 17872 [startup+150.008 s] Raw data (loadavg): 1.02 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1435 0 0 0 14994 6 0 0 25 0 1 0 763196399 18513920 1412 4294967295 134512640 134714540 3221221792 3221220020 1077414370 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4520 1412 1111 63 0 4457 0 vsize: 18080 [startup+160.009 s] Raw data (loadavg): 1.02 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1493 0 0 0 15994 6 0 0 25 0 1 0 763196399 18739200 1470 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4575 1470 1111 63 0 4512 0 vsize: 18300 [startup+170.009 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1546 0 0 0 16994 6 0 0 25 0 1 0 763196399 18984960 1523 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4635 1523 1111 63 0 4572 0 vsize: 18540 [startup+180.009 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1602 0 0 0 17994 6 0 0 25 0 1 0 763196399 19206144 1579 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4689 1579 1111 63 0 4626 0 vsize: 18756 [startup+190.011 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1659 0 0 0 18994 7 0 0 25 0 1 0 763196399 19431424 1636 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4744 1636 1111 63 0 4681 0 vsize: 18976 [startup+200.011 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1719 0 0 0 19994 7 0 0 25 0 1 0 763196399 19668992 1696 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4802 1696 1111 63 0 4739 0 vsize: 19208 [startup+210.011 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1771 0 0 0 20994 7 0 0 25 0 1 0 763196399 19869696 1748 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4851 1748 1111 63 0 4788 0 vsize: 19404 [startup+220.012 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1824 0 0 0 21994 7 0 0 25 0 1 0 763196399 20078592 1801 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4902 1801 1111 63 0 4839 0 vsize: 19608 [startup+230.013 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1880 0 0 0 22994 7 0 0 25 0 1 0 763196399 20295680 1857 4294967295 134512640 134714540 3221221792 3221220020 1077414432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4955 1857 1111 63 0 4892 0 vsize: 19820 [startup+240.013 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1937 0 0 0 23994 8 0 0 25 0 1 0 763196399 20520960 1914 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5010 1914 1111 63 0 4947 0 vsize: 20040 [startup+250.013 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1997 0 0 0 24994 8 0 0 25 0 1 0 763196399 20758528 1974 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5068 1974 1111 63 0 5005 0 vsize: 20272 [startup+260.014 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2044 0 0 0 25994 8 0 0 25 0 1 0 763196399 20946944 2021 4294967295 134512640 134714540 3221221792 3221220144 134568040 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5114 2021 1111 63 0 5051 0 vsize: 20456 [startup+270.014 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2125 0 0 0 26994 8 0 0 25 0 1 0 763196399 21458944 2102 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5239 2102 1111 63 0 5176 0 vsize: 20956 [startup+280.015 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2209 0 0 0 27993 9 0 0 25 0 1 0 763196399 21590016 2152 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5271 2152 1111 63 0 5208 0 vsize: 21084 [startup+290.016 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2465 0 0 0 28991 11 0 0 25 0 1 0 763196399 21798912 2204 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5322 2204 1111 63 0 5259 0 vsize: 21288 [startup+300.016 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 3001 0 0 0 29990 13 0 0 25 0 1 0 763196399 22159360 2261 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5410 2261 1111 63 0 5347 0 vsize: 21640 [startup+310.016 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 3738 0 0 0 30987 16 0 0 25 0 1 0 763196399 22237184 2313 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5429 2313 1111 63 0 5366 0 vsize: 21716 [startup+320.017 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 4742 0 0 0 31984 19 0 0 25 0 1 0 763196399 22618112 2376 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5522 2376 1111 63 0 5459 0 vsize: 22088 [startup+330.018 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 5955 0 0 0 32980 23 0 0 25 0 1 0 763196399 22859776 2435 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5581 2435 1111 63 0 5518 0 vsize: 22324 [startup+340.018 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 7438 0 0 0 33977 26 0 0 25 0 1 0 763196399 22945792 2490 4294967295 134512640 134714540 3221221792 3221220020 1077414407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5602 2490 1111 63 0 5539 0 vsize: 22408 [startup+350.018 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 9102 0 0 0 34973 30 0 0 25 0 1 0 763196399 23113728 2532 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5643 2532 1111 63 0 5580 0 vsize: 22572 [startup+360.018 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 11132 0 0 0 35967 37 0 0 25 0 1 0 763196399 23543808 2606 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5748 2606 1111 63 0 5685 0 vsize: 22992 [startup+370.018 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 13528 0 0 0 36959 45 0 0 25 0 1 0 763196399 23638016 2663 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5771 2663 1111 63 0 5708 0 vsize: 23084 [startup+380.019 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 16263 0 0 0 37952 52 0 0 25 0 1 0 763196399 23912448 2731 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5838 2731 1111 63 0 5775 0 vsize: 23352 [startup+390.02 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 19197 0 0 0 38947 58 0 0 25 0 1 0 763196399 24100864 2778 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5884 2778 1111 63 0 5821 0 vsize: 23536 [startup+400.02 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 22292 0 0 0 39941 64 0 0 25 0 1 0 763196399 24584192 2866 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6002 2866 1111 63 0 5939 0 vsize: 24008 [startup+410.021 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 25445 0 0 0 40934 70 0 0 25 0 1 0 763196399 24592384 2900 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6004 2900 1111 63 0 5941 0 vsize: 24016 [startup+420.021 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 28871 0 0 0 41928 77 0 0 25 0 1 0 763196399 24797184 2952 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6054 2952 1111 63 0 5991 0 vsize: 24216 [startup+430.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 32868 0 0 0 42919 86 0 0 25 0 1 0 763196399 25006080 3004 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6105 3004 1111 63 0 6042 0 vsize: 24420 [startup+440.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 37118 0 0 0 43910 95 0 0 25 0 1 0 763196399 25329664 3084 4294967295 134512640 134714540 3221221792 3221220020 1077414336 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6184 3084 1111 63 0 6121 0 vsize: 24736 [startup+450.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 41271 0 0 0 44902 103 0 0 25 0 1 0 763196399 25767936 3161 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6291 3161 1111 63 0 6228 0 vsize: 25164 [startup+460.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 46009 0 0 0 45893 113 0 0 25 0 1 0 763196399 25997312 3218 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6347 3218 1111 63 0 6284 0 vsize: 25388 [startup+470.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 50697 0 0 0 46884 122 0 0 25 0 1 0 763196399 26230784 3276 4294967295 134512640 134714540 3221221792 3221220020 1077414397 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6404 3276 1111 63 0 6341 0 vsize: 25616 [startup+480.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 55638 0 0 0 47876 130 0 0 25 0 1 0 763196399 26238976 3312 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6406 3312 1111 63 0 6343 0 vsize: 25624 [startup+490.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 60600 0 0 0 48865 141 0 0 25 0 1 0 763196399 26357760 3341 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6435 3341 1111 63 0 6372 0 vsize: 25740 [startup+500.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 65749 0 0 0 49853 153 0 0 25 0 1 0 763196399 26845184 3410 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6554 3415 1111 63 0 6491 0 vsize: 26216 [startup+510.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 71188 0 0 0 50842 164 0 0 25 0 1 0 763196399 27095040 3491 4294967295 134512640 134714540 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6615 3491 1111 63 0 6552 0 vsize: 26460 [startup+520.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 77058 0 0 0 51830 176 0 0 25 0 1 0 763196399 27353088 3555 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6678 3555 1111 63 0 6615 0 vsize: 26712 [startup+530.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 83246 0 0 0 52817 190 0 0 25 0 1 0 763196399 27746304 3622 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6774 3622 1111 63 0 6711 0 vsize: 27096 [startup+540.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 89641 0 0 0 53806 201 0 0 25 0 1 0 763196399 28143616 3687 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6871 3687 1111 63 0 6808 0 vsize: 27484 [startup+550.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 102118 0 0 0 54781 226 0 0 25 0 1 0 763196399 28016640 3690 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6840 3690 1111 63 0 6777 0 vsize: 27360 [startup+560.024 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 122571 0 0 0 55742 266 0 0 25 0 1 0 763196399 28291072 3730 4294967295 134512640 134714540 3221221792 3221220020 1077414424 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6907 3730 1111 63 0 6844 0 vsize: 27628 [startup+570.024 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 144058 0 0 0 56701 306 0 0 25 0 1 0 763196399 28565504 3797 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6974 3802 1111 63 0 6911 0 vsize: 27896 [startup+580.024 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 165143 0 0 0 57660 348 0 0 25 0 1 0 763196399 28700672 3843 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7007 3843 1111 63 0 6944 0 vsize: 28028 [startup+590.024 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 187286 0 0 0 58617 391 0 0 25 0 1 0 763196399 28971008 3901 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7073 3901 1111 63 0 7010 0 vsize: 28292 [startup+600.024 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 210614 0 0 0 59572 436 0 0 25 0 1 0 763196399 29110272 3961 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7107 3961 1111 63 0 7044 0 vsize: 28428 [startup+610.025 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 231233 0 0 0 60532 476 0 0 25 0 1 0 763196399 29536256 4037 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7211 4042 1111 63 0 7148 0 vsize: 28844 [startup+620.025 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 252610 0 0 0 61493 515 0 0 25 0 1 0 763196399 29519872 4065 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7207 4065 1111 63 0 7144 0 vsize: 28828 [startup+630.025 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 279224 0 0 0 62442 567 0 0 25 0 1 0 763196399 29949952 4167 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7274 4130 1111 63 0 7211 0 vsize: 29248 [startup+640.026 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 304160 0 0 0 63394 614 0 0 25 0 1 0 763196399 30068736 4192 4294967295 134512640 134714540 3221221792 3221220448 134527948 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7341 4192 1111 63 0 7278 0 vsize: 29364 [startup+650.026 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 329998 0 0 0 64345 664 0 0 25 0 1 0 763196399 30339072 4251 4294967295 134512640 134714540 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7407 4251 1111 63 0 7344 0 vsize: 29628 [startup+660.027 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 355476 0 0 0 65297 713 0 0 25 0 1 0 763196399 30613504 4311 4294967295 134512640 134714540 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7474 4311 1111 63 0 7411 0 vsize: 29896 [startup+670.028 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 382537 0 0 0 66242 767 0 0 25 0 1 0 763196399 30883840 4372 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7540 4372 1111 63 0 7477 0 vsize: 30160 [startup+680.027 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 408625 0 0 0 67192 817 0 0 25 0 1 0 763196399 31023104 4431 4294967295 134512640 134714540 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7574 4431 1111 63 0 7511 0 vsize: 30296 [startup+690.028 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 434792 0 0 0 68144 866 0 0 25 0 1 0 763196399 31297536 4489 4294967295 134512640 134714540 3221221792 3221220448 134527935 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7641 4489 1111 63 0 7578 0 vsize: 30564 [startup+700.027 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 458824 0 0 0 69094 915 0 0 25 0 1 0 763196399 31432704 4539 4294967295 134512640 134714540 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7674 4539 1111 63 0 7611 0 vsize: 30696 [startup+710.028 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 485932 0 0 0 70043 967 0 0 25 0 1 0 763196399 31707136 4598 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7741 4598 1111 63 0 7678 0 vsize: 30964 [startup+720.028 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 513382 0 0 0 70990 1020 0 0 25 0 1 0 763196399 31977472 4657 4294967295 134512640 134714540 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7807 4657 1111 63 0 7744 0 vsize: 31228 [startup+730.028 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 538903 0 0 0 71942 1069 0 0 25 0 1 0 763196399 32116736 4710 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7841 4710 1111 63 0 7778 0 vsize: 31364 [startup+740.029 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 565236 0 0 0 72893 1117 0 0 25 0 1 0 763196399 32391168 4766 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7908 4766 1111 63 0 7845 0 vsize: 31632 [startup+750.029 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 591162 0 0 0 73843 1168 0 0 25 0 1 0 763196399 32661504 4817 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7974 4817 1111 63 0 7911 0 vsize: 31896 [startup+760.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 618510 0 0 0 74792 1219 0 0 25 0 1 0 763196399 32800768 4873 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8008 4873 1111 63 0 7945 0 vsize: 32032 [startup+770.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 645887 0 0 0 75740 1271 0 0 25 0 1 0 763196399 33071104 4926 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8074 4926 1111 63 0 8011 0 vsize: 32296 [startup+780.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 672028 0 0 0 76689 1322 0 0 25 0 1 0 763196399 33210368 4979 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8108 4979 1111 63 0 8045 0 vsize: 32432 [startup+790.031 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 699247 0 0 0 77637 1374 0 0 25 0 1 0 763196399 33480704 5032 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8174 5032 1111 63 0 8111 0 vsize: 32696 [startup+800.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 728788 0 0 0 78580 1432 0 0 25 0 1 0 763196399 33951744 5127 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8289 5132 1111 63 0 8226 0 vsize: 33156 [startup+810.032 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 757474 0 0 0 79524 1488 0 0 25 0 1 0 763196399 33894400 5143 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8275 5143 1111 63 0 8212 0 vsize: 33100 [startup+820.032 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 788057 0 0 0 80465 1547 0 0 25 0 1 0 763196399 34164736 5199 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8341 5199 1111 63 0 8278 0 vsize: 33364 [startup+830.032 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 820876 0 0 0 81401 1611 0 0 25 0 1 0 763196399 34443264 5261 4294967295 134512640 134714540 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8409 5261 1111 63 0 8346 0 vsize: 33636 [startup+840.032 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 852407 0 0 0 82339 1674 0 0 25 0 1 0 763196399 34582528 5320 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8443 5320 1111 63 0 8380 0 vsize: 33772 [startup+850.032 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 881119 0 0 0 83283 1730 0 0 25 0 1 0 763196399 34852864 5370 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8509 5370 1111 63 0 8446 0 vsize: 34036 [startup+860.033 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 911935 0 0 0 84223 1790 0 0 25 0 1 0 763196399 34992128 5426 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8543 5426 1111 63 0 8480 0 vsize: 34172 [startup+870.034 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 943188 0 0 0 85164 1849 0 0 25 0 1 0 763196399 35262464 5479 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8609 5479 1111 63 0 8546 0 vsize: 34436 [startup+880.034 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 977169 0 0 0 86101 1913 0 0 25 0 1 0 763196399 35536896 5539 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8676 5539 1111 63 0 8613 0 vsize: 34704 [startup+890.035 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1012986 0 0 0 87032 1982 0 0 25 0 1 0 763196399 35811328 5603 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8743 5603 1111 63 0 8680 0 vsize: 34972 [startup+900.035 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1050036 0 0 0 87963 2051 0 0 25 0 1 0 763196399 35950592 5663 4294967295 134512640 134714540 3221221792 3221220020 1077414370 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8831 5666 1111 63 0 8768 0 vsize: 35108 [startup+910.036 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1086475 0 0 0 88896 2118 0 0 25 0 1 0 763196399 36225024 5725 4294967295 134512640 134714540 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8844 5725 1111 63 0 8781 0 vsize: 35376 [startup+920.037 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1119806 0 0 0 89834 2180 0 0 25 0 1 0 763196399 36495360 5781 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8910 5781 1111 63 0 8847 0 vsize: 35640 [startup+930.037 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1150218 0 0 0 90775 2239 0 0 25 0 1 0 763196399 36864000 5845 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9000 5849 1111 63 0 8937 0 vsize: 36000 [startup+940.038 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1183576 0 0 0 91715 2300 0 0 25 0 1 0 763196399 36909056 5886 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9011 5886 1111 63 0 8948 0 vsize: 36044 [startup+950.039 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1215774 0 0 0 92650 2365 0 0 25 0 1 0 763196399 37044224 5936 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9044 5936 1111 63 0 8981 0 vsize: 36176 [startup+960.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1247739 0 0 0 93587 2428 0 0 25 0 1 0 763196399 37556224 6003 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9169 6007 1111 63 0 9106 0 vsize: 36676 [startup+970.041 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1278979 0 0 0 94530 2485 0 0 25 0 1 0 763196399 37457920 6038 4294967295 134512640 134714540 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9145 6038 1111 63 0 9082 0 vsize: 36580 [startup+980.041 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1311557 0 0 0 95472 2543 0 0 25 0 1 0 763196399 37732352 6089 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9212 6089 1111 63 0 9149 0 vsize: 36848 [startup+990.042 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1343959 0 0 0 96412 2604 0 0 25 0 1 0 763196399 38109184 6159 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9304 6164 1111 63 0 9241 0 vsize: 37216 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1376494 0 0 0 97352 2664 0 0 25 0 1 0 763196399 38141952 6189 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9312 6189 1111 63 0 9249 0 vsize: 37248 [startup+1010.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1407681 0 0 0 98288 2728 0 0 25 0 1 0 763196399 38277120 6236 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9345 6236 1111 63 0 9282 0 vsize: 37380 [startup+1020.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1442228 0 0 0 99222 2794 0 0 25 0 1 0 763196399 38551552 6288 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9412 6288 1111 63 0 9349 0 vsize: 37648 [startup+1030.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1477483 0 0 0 100155 2862 0 0 25 0 1 0 763196399 38936576 6346 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9506 6351 1111 63 0 9443 0 vsize: 38024 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1520293 0 0 0 101077 2940 0 0 25 0 1 0 763196399 38965248 6406 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9513 6406 1111 63 0 9450 0 vsize: 38052 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1563464 0 0 0 101995 3022 0 0 25 0 1 0 763196399 39239680 6469 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9580 6469 1111 63 0 9517 0 vsize: 38320 [startup+1060.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1605762 0 0 0 102917 3100 0 0 25 0 1 0 763196399 40407040 6557 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9865 6557 1111 63 0 9802 0 vsize: 39460 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1644488 0 0 0 103844 3174 0 0 25 0 1 0 763196399 40411136 6589 4294967295 134512640 134714540 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9866 6589 1111 63 0 9803 0 vsize: 39464 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1691359 0 0 0 104750 3267 0 0 25 0 1 0 763196399 40951808 6713 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9998 6718 1111 63 0 9935 0 vsize: 39992 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1732179 0 0 0 105667 3351 0 0 25 0 1 0 763196399 40955904 6713 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9999 6713 1111 63 0 9936 0 vsize: 39996 [startup+1100.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1769740 0 0 0 106593 3425 0 0 25 0 1 0 763196399 41230336 6765 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10066 6765 1111 63 0 10003 0 vsize: 40264 [startup+1110.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1802853 0 0 0 107528 3490 0 0 25 0 1 0 763196399 41365504 6812 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10099 6812 1111 63 0 10036 0 vsize: 40396 [startup+1120.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1841305 0 0 0 108453 3566 0 0 25 0 1 0 763196399 41639936 6868 4294967295 134512640 134714540 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10166 6868 1111 63 0 10103 0 vsize: 40664 [startup+1130.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1878472 0 0 0 109380 3639 0 0 25 0 1 0 763196399 41775104 6917 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10199 6917 1111 63 0 10136 0 vsize: 40796 [startup+1140.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1917263 0 0 0 110303 3716 0 0 25 0 1 0 763196399 42049536 6972 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10266 6972 1111 63 0 10203 0 vsize: 41064 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1952091 0 0 0 111235 3784 0 0 25 0 1 0 763196399 42192896 7019 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10301 7019 1111 63 0 10238 0 vsize: 41204 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 1991681 0 0 0 112159 3860 0 0 25 0 1 0 763196399 42328064 7072 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10334 7072 1111 63 0 10271 0 vsize: 41336 [startup+1170.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2028722 0 0 0 113088 3932 0 0 25 0 1 0 763196399 42889216 7151 4294967295 134512640 134714540 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10471 7156 1111 63 0 10408 0 vsize: 41884 [startup+1180.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2064580 0 0 0 114014 4006 0 0 25 0 1 0 763196399 42737664 7169 4294967295 134512640 134714540 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10434 7169 1111 63 0 10371 0 vsize: 41736 [startup+1190.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2098380 0 0 0 114949 4070 0 0 25 0 1 0 763196399 43012096 7214 4294967295 134512640 134714540 3221221792 3221220020 1077414385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10501 7214 1111 63 0 10438 0 vsize: 42004 [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 15971 Raw data (stat): 15971 (bsolo_mis) R 15970 7876 7672 0 -1 0 2129235 0 0 0 115888 4131 0 0 25 0 1 0 763196399 43147264 7255 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10534 7255 1111 63 0 10471 0 vsize: 42136 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.98 1/55 15971 Raw data (stat): 15971 (bsolo_mis) Z 15970 7876 7672 0 -1 1036 2129235 0 0 0 115888 4133 0 0 25 0 1 0 763196399 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 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.07 CPU time (s): 1200.22 CPU user time (s): 1158.89 CPU system time (s): 41.3337 CPU usage (%): 100.013 Max. virtual memory (Kb): 42136 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####